B-Prolog

Roussel等人于60年代末研究开发。1972年被公认为是Prolog语言正式诞生的年份，自1972年以后，分支出多种Prolog的方言。最主要的两种方言为爱丁堡和艾克斯-马赛。最早的Prolog解释器由Roussel建造，而第一个Prolog编译器则是David Warren编写的。 Prolog

Prolog（英语：λProlog），因为高阶模式具有表现力，但它们相关的合一过程保留了更接近一阶合一的理论属性。 例如，对于多项式 X2 和 Y3 可以通过采纳 X = Z3 和 Y = Z2 而合一到 Z6。 合一概念是在 Prolog

Prolog。 在逻辑中，否定的标准解释是公式的否定为真，当且仅当这个公式为假。如果这个公式非真非假，它的否定被当作是未知。反过来，依据否定为失败的解释，这个公式的否定被当作为真。 在 Prolog 中用的否定被解释器按否定为失败处理。假如程序执行期间，解释器必须求值 NOT a(b)，它尝试证明

是否是这个无否定为失败的程序的回答集。 一个回答集程序可以有零个、一个或多个回答集。一个程序蕴涵一个文字，如果它的所有的回答集都包含这个文字。 与 Prolog 相反，回答集程序的语义不依赖于规则的求值和原子在每个规则中的特定次序。 检查一个程序的回答集的存在性的复杂性，和检查一个程序是否蕴涵一个文字复杂性，范围是从

shrinking lemma for indexed languages. Theoretical Computer Science. 1996, 163 (1-2): 277–281.  "NLP in Prolog" chapter on indexed grammars and languages