Turbo Prolog 是一个以Prolog 语言的软件，该系统只适用于MS-DOS, 亦可以使用Windows内的Console界面来编辑使用。
Turbo Prolog 是一个以Prolog 语言的软件，该系统只适用于MS-DOS, 亦可以使用Windows内的Console界面来编辑使用。
P#是一款以Common Language Infrastructure撰写的Prolog语言直译器。
P#是一款以Common Language Infrastructure撰写的Prolog语言直译器。
Datalog是一种数据查询语言，专门设计与大型关系数据库交互，语法与Prolog相似。正如SQL只是一个规范，Transact-SQL、PL-SQL是其具体实现一样；Datalog也是一个规范，bddbddb、 DES、OverLog、Deals等都按照Datalog的语法实现了自己的语言，所以Datalog没有特定的执行环境。
罗伯特·安东尼·科瓦尔斯基是一位美籍英籍逻辑和电脑科学家，他的研究涉及开发面向人类的计算模型和人类思维的计算模型。他的大部分职业生涯都在英国度过。科瓦尔斯基长期任教爱丁堡大学和伦敦帝国学院，是Prolog的主要开发者之一，逻辑编程先驱。
否定为失败是对逻辑否定做的释义，依据公式的否定为真，当且仅当这个公式不能被证明为真。否定为失败用于逻辑编程语言比如 Prolog。
否定为失败是对逻辑否定做的释义，依据公式的否定为真，当且仅当这个公式不能被证明为真。否定为失败用于逻辑编程语言比如 Prolog。
Prolog编程中的cut操作，用!表示，该操作总能够成功，但是不能够回溯位于该操作左边的子句。Cut操作被广泛的用于减掉不希望回溯的分支，例如，避免找到程序不需要的额外的答案和避免额外的计算。
Mini wiki
