An introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations.
Hassan Aït-KaciPublished in: ILPS (1993)
Keyphrases
- multi valued
- object oriented
- programming language
- knowledge representation
- logic programming
- modal logic
- predicate logic
- object oriented programming
- proof theory
- mathematical model
- differential equations
- automated reasoning
- object oriented databases
- functional language
- multiple inheritance
- programming course
- programming environment
- database
- multi agent systems
- knowledge base
- databases