Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog.
Keehang KwonGopalan NadathurDebra Sue WilsonPublished in: ELP (1992)
Keyphrases
- logic programming language
- logic programming
- constraint logic programming
- inference rules
- declarative semantics
- situation calculus
- logic programs
- knowledge base
- knowledge representation
- first order logic
- answer set programming
- temporal reasoning
- constraint solving
- nonmonotonic reasoning
- modal logic
- partial order
- constraint programming
- database systems