An Operational Algebraic Semantics of Prolog Programs.

Pierre Deransart

Published in: Logic Programming Workshop (1983)

Keyphrases

prolog programs
logic programs
logic programming
algebraic structure
formal semantics
control flow
semantic information
decision making
model theoretic
answer set programming
argumentation semantics
database
default reasoning
data sources
data model
high level
data sets