首页 >
Prolog
✍ dations ◷ 2024-11-06 00:48:54 #Prolog
Prolog(Programming in Logic的缩写)是一种逻辑编程语言。它创建在逻辑学的理论基础之上, 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中,它可以用来建造专家系统、自然语言理解、智能知识库等。Prolog语言最早由Aix-Marseille大学的Alain Colmerauer与Phillipe Roussel等人于60年代末研究开发。1972年被公认为是Prolog语言正式诞生的年份,自1972年以后,分支出多种Prolog的方言。最主要的两种方言为Edinburgh和Aix-Marseille。最早的Prolog解释器由Roussel建造,而第一个Prolog编译器则是David Warren编写的。Prolog一直在北美和欧洲被广泛使用。日本政府曾经为了建造智能计算机而用Prolog来开发ICOT第五代计算机系统。在早期的机器智能研究领域,Prolog曾经是主要的开发工具。80年代Borland开发的Turbo Prolog,进一步普及了Prolog的使用。1995年确定了ISO Prolog标准。有别于一般的函数式语言,prolog的程序是基于谓词逻辑的理论。最基本的写法是定义对象与对象之间的关系,之后可以用询问目标的方式来查询各种对象之间的关系。系统会自动进行匹配及回溯,找出所询问的答案。Prolog代码中以大写字母开头的元素是变量,字符串、数字或以小写字母开头的元素是常量。下划线(_)被称为匿名变量。表示事实:表示kate和bill是人(human),kate喜欢bill,而表示规则:表示对于两个对象XY,如果X喜欢Y,且Y喜欢X,那么他们是朋友。示例如下:快速排序示例(对list作排序):下面简洁的排序示例可以体会到为什么AI领域喜用Prolog:示范罗素悖论在Prolog下会导致Stack Overflow:
相关
- 眼蕈蚊总科眼蕈蚊总科(学名:Sciaroidea),又名黑翅蕈蚋总科,华南及海外华人社区俗称其物种作蚊滋或蚊滋仔,是双翅目长角亚目毛蚋下目一个昆虫的总科。这些物种的体型都很细小、深色、而且寿命
- 镀锌镀锌,是指在铁或钢表面上铺上金属锌的防锈(英语:Rustproofing)方法。锌是一种抗腐蚀性颇高的金属,能够把铁隔绝于氧气和水,令铁不能发生生锈所需的的化学反应;由于锌的金属活动性比
- 美尔奎宁美尔奎宁(Mefloquine),常见商品名疟宁(Lariam),为一种治疗及预防疟疾的药物。当用于预防时,需在暴露疟原虫前一至二周开始用药,每周一次。暴露后则须维持四周,每周一次。本品可用于治
- D07(Antifungals for dermatological use)(Emollients and protectives)(Preparations for treatment of wounds and ulcers)(Antipruritics, including antihistamines, anesthetics,
- 说文解字《说文解字》简称《说文》,是中国东汉时期由学者许慎编著的一部文字工具书,全书共分540个(俄语:Список ключей Шовэнь цзецзы)部首,收字9,353个,另有“重
- 温度计温度计是一种运用不同原理来测量物体温度或温度梯度(Temperature Gradient)的仪器。温度计有各式各样的类型。温度计运利用一系列的物理反应去测量温度的。而多数的温度计最初
- 前苏联苏联的加盟共和国(俄语:Сою́зные Респу́блики,转写:Soyúznye Respúbliki)是苏维埃社会主义共和国联盟的构成国,亦可视为苏联的一级行政区划。1991年苏联解体
- 公差公差是机械和建筑工程行业基础标准中所规定的一系列数值范围即规定了误差的允许范围,给出了与标定值相偏差的极限容许量。国家标准将加工精度标准化即规定了标准公差数值。尺
- 奇事超自然(Supernatural)又称灵异现象,包含了超自然现象和超自然力量,即无科学根据而所谓在自然界的力量或现象。一旦超自然能够被证实,则它就不再是超自然了。超自然超出科学的范畴
- 湖首大学湖头大学(英语: Lakehead University)是坐落在加拿大安大略省雷湾的一座小型公立研究型大学。除了雷湾的主校区外,还在安大略的Orillia有一分校区。学校始建于1946年,建校初以湖