Login / Signup
Operational semantics of Standard Prolog: an axiomatic approach.
Jean-Paul Delahaye
François Denis
Published in:
SPLT (1990)
Keyphrases
</>
operational semantics
formal semantics
logic programming
databases
expert systems
software engineering
model theoretic
logic programming language