一种分布式逻辑程序设计的低级索引
A Low-Level Index for Distributed Logic Programming
摘要：
支持元编程和流处理的分布式逻辑程序设计语言提供了各种有趣的研究问题，例如：如何用简单的低级数据结构实现用于索引大量表达式的通用且稳定的数据结构？低级编程是否有助于减少Robinson统一算法中的发生检查次数？本文给出了答案。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
