论文标题
用于分布式逻辑编程的低级索引
A Low-Level Index for Distributed Logic Programming
论文作者
论文摘要
一种分布式的逻辑编程语言，并支持元编程和流处理提供了各种有趣的研究问题，例如：如何通过简单的低级数据结构来实现多功能和稳定的数据结构，以实现大量表达式的索引？低级编程能否有助于减少鲁滨逊统一算法中发生的检查数量？本文给出了答案。
A distributed logic programming language with support for meta-programming and stream processing offers a variety of interesting research problems, such as: How can a versatile and stable data structure for the indexing of a large number of expressions be implemented with simple low-level data structures? Can low-level programming help to reduce the number of occur checks in Robinson's unification algorithm? This article gives the answers.
