作为逻辑编程中答案隐式表示的存在量词方程组
计算机科学中的逻辑
2022-07-20 v1 编程语言
摘要
在本文中，我们提出一种形式化逻辑编程理论的替代方法。在该形式化中，我们允许查询中存在存在量词变量和方程。与标准方法相反，答案的作用将由存在量词方程组扮演。这使我们能够在处理替换时避免问题。特别地，当新变量由输入子句引入时，我们不需要“全局”变量分离条件。此外，该形式化可视为并发逻辑语言理论的基础，因为它还包含广泛的并行计算方法。而且，答案的并行组合可直接定义为答案的一致合取。
引用
@article{arxiv.2207.09142,
title = {Existentially Quantified Systems of Equations as an Implicit Representation of Answers in Logic Programming},
author = {Ján Komara},
journal= {arXiv preprint arXiv:2207.09142},
year = {2022}
}
备注
26 pages; reprint of the technical report TR mff-ii-11-1992, September 1992. arXiv admin note: substantial text overlap with arXiv:2207.08572