当前位置:
X-MOL 学术
›
arXiv.cs.SC
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
A Low-Level Index for Distributed Logic Programming
arXiv - CS - Symbolic Computation Pub Date : 2020-09-22 , DOI: arxiv-2009.10255 Thomas Prokosch (Institute for Informatics, Ludwig-Maximilian University of Munich, Germany)
arXiv - CS - Symbolic Computation Pub Date : 2020-09-22 , DOI: arxiv-2009.10255 Thomas Prokosch (Institute for Informatics, Ludwig-Maximilian University of Munich, Germany)
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.
中文翻译:
分布式逻辑编程的低级索引
支持元编程和流处理的分布式逻辑编程语言提供了各种有趣的研究问题,例如: 如何用简单的低级数据实现用于索引大量表达式的通用且稳定的数据结构结构?低级编程是否有助于减少 Robinson 统一算法中出现的检查次数?这篇文章给出了答案。
更新日期:2020-09-23
中文翻译:
分布式逻辑编程的低级索引
支持元编程和流处理的分布式逻辑编程语言提供了各种有趣的研究问题,例如: 如何用简单的低级数据实现用于索引大量表达式的通用且稳定的数据结构结构?低级编程是否有助于减少 Robinson 统一算法中出现的检查次数?这篇文章给出了答案。