Sign in

A Basis for a Multi-Level Meta-Logic Programming Language.

Jonas BarklundKatrin BobergPierangelo Dell'Acqua
Published in: META (1994)
Keyphrases
  • logic programming language
  • logic programming
  • constraint logic programming
  • inference rules
  • declarative semantics
  • situation calculus
  • logic programs
  • databases
  • special case