This note presents a historical survey of informal semantics that are associated with logic programming under answer set semantics. We review these in uniform terms and align them with two paradigms: Answer Set Programming and ASP-Prolog -- two prominent Knowledge Representation and Reasoning Paradigms in Artificial Intelligence. Under consideration in Theory and Practice of Logic Programming (TPLP).

翻译：本文对与回答集语义下的逻辑程序设计相关的非形式语义进行了历史性综述。我们以统一的术语回顾这些语义，并将其与两个范式——回答集程序设计（Answer Set Programming）与ASP-Prolog——这两个人工智能领域中重要的知识表示与推理范式进行关联。本文已被《逻辑程序设计的理论与实践》（TPLP）期刊录用审议。