...
机译:XSB:使用表逻辑编程扩展Prolog
CENTRIA, Faculdade de Ciencias e Tecnologia, Univ. Nova de Lisboa, 2825-516 Caparica, Portugal;
Department of Computer Science, SUNY Stony Brook, Stony Brook, New York, USA;
prolog; tabling; implementation; non-monotonic reasoning;
机译:lambdaProlog(QS):高阶逻辑编程中的功能空间推理(简短论文)
机译:使用Prolog进行逻辑编程(第二版)
机译:ALPprolog-用于动态域的新逻辑编程方法
机译:关于在XSB中处理否定(以及以逻辑否定形式扩展XSB编程,及其与逻辑编程现有品种的关系)
机译:基于需求的表逻辑程序评估
机译:通过链接到书目搜索来扩展诊断决策支持程序的功能:在快速医学参考(QMR)程序中添加罐装MeSH逻辑以与Grateful Med一起使用。
机译:XSB:用绘制逻辑编程扩展Prolog
机译:用于逻辑和纯prolog程序的模块化终止证明