LOO: An Object Oriented Logic Programming Language.
Paolo MancarellaAlessandra RaffaetàFranco TuriniPublished in: GULP-PRODE (1995)
Keyphrases
- logic programming language
- logic programming
- constraint logic programming
- inference rules
- object oriented
- situation calculus
- declarative semantics
- user interface
- logic programs
- machine learning
- image sequences
- high level
- deductive databases
- nonmonotonic reasoning
- objective function
- relational databases
- knowledge base
- artificial intelligence
- default logic
- data mining
- databases