Prolog
Prolog（的缩写）是一种逻辑编程语言。它建立在逻辑学的理论基础之上， 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中，它可以用来建造专家系统、自然语言理解、智能知识库等。 历史 Prolog语言的理论基础建立于爱丁堡大学的罗伯特·科瓦尔斯基对霍恩子句（Horn Clause）的程序性解释，最早由艾克斯-马赛大学的Alain Colmerauer与Phillipe Roussel等人于60年代末研究开发。1972…
标签：#Prolog
共 2 篇文章
Visual Prolog
Turbo Prolog 是一個以Prolog(即：Programming in Logic) 語言的軟體，該系統只適用於MS-DOS, 亦可以使用Windows內的Console介面來編輯使用。 版本資訊 Turbo Prolog 1.0 版本是Borland公司於 1986年面世，但隨後於同年再出版 1.1 版本，於1988年推出 Turbo Prolog 2.0版本後即未再有更新的商業版本。 而最新的版本是視窗化，可視覺化版本Vi…