本文深入研究了Krom逻辑程序的代数性质，Krom逻辑程序仅限于事实和具有单个体原子的规则。研究表明，这些程序在顺序组合下构成一个幺半群，可以扩展到半环和quemiring等各种代数结构。该研究还提供了显式的生成集、规范分解，并使用图论概念刻画了Kleene星，将逻辑编程与代数自动机和图论联系起来。 AI
排序理由 学术论文发表在arXiv上，详细介绍了理论计算机科学研究。[lever_c_demoted from research: ic=1 ai=0.4]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
arXiv:2606.15719v1 Announce Type: cross Abstract: This paper investigates the algebraic structure of Krom logic programs, consisting only of facts and rules with at most one body atom. We show that sequential composition endows the class of Krom programs with a natural monoid str…