当前大家对于逻辑编程语言都是颇为感兴趣的，大家都想要了解一下逻辑编程语言，那么小美也是在网络上收集了一些关于逻辑编程语言的一些信息来分享给大家，希望能够帮到大家哦。

1、Prolog(Programming in logic)是一种面向演绎推理的逻辑型程序设计语言，最早于1972年由柯尔麦伦纳(Colmeraner)及其研究小组在法国马赛大学提出。

2、 ^{高济，何钦铭著,人工智能基础 （第二版）,高等教育出版社,2008.10,第67页。}

本文到此结束，希望对大家有所帮助。