  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).
