YAP Prolog系统

基于代码内省的高效Prolog系统

Towards an Efficient Prolog System by Code Introspection

逻辑程序设计理论与实践（Theory and Practice of Logic Programming，TPLP）一些Prolog解释器是基于Warren抽象机（WAM），一个优雅的模型来编译Prolog程序。为了提高性能，提出了优化子句选择、专门化统一、全局分析、本地代码生成和制表等策略。本文提出了一种不同的策略来实现一个高效的Prolog系统，在飞行中创建专门的仿真器。该策略在YAP Prolog系统上进行了实现和评估，实验评估显示了有趣的结果。

XSB：用表格逻辑程序设计扩展Prolog

XSB: Extending Prolog with Tabled Logic Programming

表逻辑编程（TLP）的范例现在由许多Prolog系统支持，包括XSB，YAP Prolog，B-Prolog，Mercury，ALS和Ciao。这样做的原因部分是理论上的：制表确保终止和最佳已知的复杂性查询的一大类程序。然而，压倒一切的原因是实际的。TLP允许简洁高效地编写复杂的程序，特别是当支持表否定和调用和应答包含等机制时。因此，TLP现在已经被用于从程序分析到语义Web查询的各种应用中。本文提供了一个调查的TLP及其应用程序实现XSB Prolog，以及讨论如何XSB支持制表与动态变化的代码，并在多线程环境。

Indexing dif/2

Many Prolog programs are unnecessarily impure because of inadequate means to express syntactic inequality. While the frequently provided built-in `dif/2` is able to correctly describe expected answers, its direct use in programs often leads to overly complex and inefficient definitions --- mainly due to the lack of adequate indexing mechanisms. We propose to overcome these problems by using a new predicate that subsumes both equality and inequality via reification. Code complexity is reduced with a monotonic, higher-order if-then-else construct based on `call/N`. For comparable correct uses of…

制表，理性术语和共归纳终于在一起了！

Tabling, Rational Terms, and Coinduction Finally Together!

逻辑程序设计理论与实践（Theory and Practice of Logic Programming，TPLP）列表是逻辑编程中常用的技术，用于避免逻辑程序的循环行为并实现更多的声明性程序定义。此外，制表通常可以提高计算性能。有理项是指具有一个或多个无穷子项但具有有限表示的项。在Prolog中，当统一两个术语时，可以通过省略发生检查来生成有理术语。有理项的应用包括确定子句文法、约束处理系统和共归纳。在本文中，我们报告我们的扩展YAP的Prolog制表机制，以支持合理的条款。我们描述了表空间中有理项的内部表示，并证明了它的正确性。然后，我们使用这个扩展来实现一个基于表格的方法coinduction。我们比较我们的方法与当前的共归纳变换，并描述了实现。此外，我们提出了一个算法，确保一个规范的表示为合理的条款。

论或-表法在逻辑程序中的应用

On Applying Or-Parallelism and Tabling to Logic Programs

在过去的几年里，人们在增加Prolog的声明性和表达性方面做出了越来越大的努力。表已被证明是一种可行的技术，有效地克服SLD的无限循环和冗余的子计算的敏感性。我们的研究表明，隐式或并行是一个自然的适合逻辑程序与制表。为了证实这一信念，我们已经设计并实现了一个或并行制表引擎- OPTYap -我们使用共享内存并行机来评估其性能。据我们所知，OPTYap是逻辑编程系统的并行制表引擎的第一个实现。OPTYap建立在Yap高效的顺序Prolog引擎之上。它的执行模型是基于SLG-WAM的制表，和环境复制或并行。初步结果表明，提出的机制，并行搜索的上下文中的SLD决议确实可以有效地和自然地推广到并行表计算，并由此产生的系统可以实现良好的性能共享内存并行机。更重要的是，它强调了我们的信念，通过应用或并行和制表逻辑程序的应用范围可以增加逻辑程序设计。

概率逻辑程序设计语言ProbLog的实现

On the Implementation of the Probabilistic Logic Programming Language ProbLog

在过去的几年里，人们对概率逻辑学习和统计关系学习领域的兴趣激增。在这一努力中，许多概率逻辑被开发出来。ProbLog是Prolog最近的一个概率扩展，其动机是挖掘大型生物网络。在ProbLog中，事实可以用概率来标记。这些事实被视为相互独立的随机变量，表明这些事实是否属于随机抽样程序。可以向ProbLog程序提出不同类型的查询。我们介绍的算法，使这些查询的有效执行，讨论他们的实施上的YAP-Prolog系统，并评估其性能的背景下，大型网络的生物实体。