机译:lambdaProlog(QS):高阶逻辑编程中的功能空间推理(简短论文)
机译:使用Prolog进行逻辑编程(第二版)
机译:XSB:使用表逻辑编程扩展Prolog
机译:λProlog中基于模式的逻辑程序转换
机译:将Prolog编译为逻辑推理虚拟机。
机译:通过链接到书目搜索来扩展诊断决策支持程序的功能:在快速医学参考(QMR)程序中添加罐装MeSH逻辑以与Grateful Med一起使用。
机译:语言学逻辑编程:对Prolog介绍的简要介绍,以及带有约束的逻辑语法作为语法和语义的简单方法
机译:用于逻辑和纯prolog程序的模块化终止证明