From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language.
Adil KabbajMartin Janta-PolczynskiPublished in: ICCS (2000)
Keyphrases
- logic programming language
- logic programming
- constraint logic programming
- object oriented
- inference rules
- object oriented concepts
- situation calculus
- programming language
- declarative semantics
- logic programs
- data model
- nonmonotonic reasoning
- relational databases
- expert systems
- search algorithm
- knowledge representation
- database design
- default logic
- database