函数式逻辑编程

相关

• Crsub2/subSsub3/sub硫化铬是一种无机化合物，化学式为Cr2S3。硫化铬可以由单质化合而成：也可通过硫化氢气体和无水氯化铬反应得到：
• 波本威士忌波本威士忌（英语：Bourbon Whiskey）是多种美式威士忌的一种，使用比例占总原料51%以上的玉米作为原料（通常是70%，至于其他的原料则包括小麦、裸麦或其他谷物），蒸馏后酒精度不超过160°
• 右心耳心房（拉丁语：Atrium）旧称䆝，是构成心脏腔室的一种。心脏分心房与心室，分别负责接收 左心房则可根据胚胎来源被分为左心耳和左心房窦。和原始静脉窦右角发展而来的腔静脉窦。在右
• 留里克王朝留里克王朝（俄语：Рюриковичи）是统治东斯拉夫人的古罗斯国家（大致相当于今日俄罗斯东欧部分地区、乌克兰、白俄罗斯部分地区）的第一个王朝。留里克王朝的实际始祖为基辅
• 合成孔径雷达合成孔径雷达（英语：synthetic aperture radar, SAR），又译成合成口径雷达，属于一种微波成像雷达，也是一种可以产生高分辨率图像的（航空）机载雷达或（太空）星载雷达。它在早期系使用透镜
• 孟执中孟执中（1934年12月16日－2019年12月14日），浙江诸暨人，中国气象卫星专家，中国工程院院士，“风云一号”和“风云三号”总设计师。
• 苟秀英苟秀英（1920年2月－2014年1月31日），四川省通江县人，中华人民共和国政治人物。早年参加中国工农红军、参加长征。之后供职于延安兵工厂。1961年1月，进入重庆造纸厂，1978年1月任重庆造纸厂工会主席。2014年去世。
• 卡罗莱纳箱龟见文内卡罗莱纳箱龟（学名：）是箱龟属的模式种，有6个亚种，从美国东部到加拿大及墨西哥都有分布，其最典型的特征就是它“箱子”状的壳。卡罗莱纳箱龟基本是陆生的，食性很杂，极其长寿。由于人类活动导致的破坏，其数量在不断下降。同时它也是美国三个州的州爬行动物。是由卡尔·林奈在1758年首次描述的。它是箱龟属的模式种，其亚种数量是该属下最多的，而其中最常见的则是东部箱龟，亦是由林奈描述。直到19世纪时，其他5个亚种才被分到该种下。此外还有一个灭绝种。^ 注解1：用括号标记的分类者最初将该亚种分在了其他的属下卡罗莱
• 札特瓜札特瓜（英语：Tsathoggua），亦被称为佐特瓜、撒托古亚。克苏鲁神话中的邪神。栖息于恩该的黑色河口处，以“无形的婴灵”为食。1929年，Clark Ashton Smith的短篇小说The Tale of Satampra Zeiros介绍了札特瓜。然而，首次出现在印刷物中是在霍华德·菲利普斯·洛夫克拉夫特的故事《暗夜呢喃》中，该故事写于1930年。它的外型如同覆者毛皮、肥胖、拟人化的癞虾蟆，还有一对似蝙蝠的大耳。眼睛时刻处于半闭之态。
• 古鲁·格兰特·萨希卜《古鲁·格兰特·萨希卜》（旁遮普语：ਗੁਰੂ ਗਰੰਥ ਸਾਹਿਬ，读音）简称《锡克圣经》，是锡克教最重要的经典，被锡克教徒视为最终的、最高的、永存的古鲁，也是锡克教古鲁中的第11任（最后一任）古鲁。锡克教第3任古鲁·阿马尔·达斯（Amar Das）、第4任古鲁·拉姆·达斯（Ram Das）已很重视保存及推广前几任古鲁的作品，这为后来编定《阿迪·格兰特》（Adi Granth，意思是“最初的典籍”或“原典”）奠定了基础。《阿迪・格兰特》最初是在第5任古鲁·阿尔琼（Arjun）主持下进行的，阿尔琼邀请他的舅