欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Prolog
来自开放百科 - 灰狐
(版本间的差异)
小 (→实现) |
小 (→图书) |
||
第9行: | 第9行: | ||
==图书== | ==图书== | ||
*[http://en.wikibooks.org/wiki/Prolog Prolog Wikibooks] | *[http://en.wikibooks.org/wiki/Prolog Prolog Wikibooks] | ||
+ | |||
+ | ==链接== | ||
+ | *[http://www.vaikan.com/why-learning-prolog-can-make-you-a-better-programmer/ 为什么说学习Prolog语言能让你成为更好的程序员] | ||
[[category:artificial intelligence]] | [[category:artificial intelligence]] |
2015年3月26日 (四) 09:42的版本
您可以在Wikipedia上了解到此条目的英文信息 Prolog Thanks, Wikipedia. |
Prolog(Programming in Logic的缩写)是一种逻辑编程语言。它创建在逻辑学的理论基础之上, 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中,它可以用来建造专家系统、自然语言理解、智能知识库等。
实现
图书
链接
分享您的观点