A Multiple-Valued Logical Semantics for Prolog
R. Barbuti and Paolo Mancarella
Abstract:
The coincidence of the declarative and procedural interpretations of
logic programs does not apply to Prolog programs, due to the
depth-first left-to-right evaluation strategy of Prolog
interpreters. We propose a new semantics for Prolog programs based
on a new four-valued logic.
The semantics is based on a new concept of completion analogous to
Clark's and it enjoys the nice properties of the declarative
semantics of logic programming: existence of the minimal Herbrand
model, equivalence of the model-theoretic and operational semantics.
Paolo Mancarella (paolo@di.unipi.it)