Declarative versus procedural semantics
Logic is an excellent vehicle for reasoning about the
state of affairs in a particular world.
The advantage of logic is that it offers
a natural formalism to express the facts and rules that pertain
to that world.
We will explain how such facts and rules can be stated in a logic program.
Our treatment is based on [Ll84].
\prologindex{declarative semantics}
.so programs formulas
.so models
.so procedural