Login / Signup
S-SLD-resolution - An Operational Semantics for Logic Programs with External Procedures.
Johan Boye
Published in:
PLILP (1991)
Keyphrases
</>
semantics for logic programs
open world
logic programs
answer sets
logic programming
machine learning
stable models
artificial intelligence
database systems
fixpoint