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