LOGIC: un environnement de programmation Prolog mêlant interprétation et compilation.
Thierry GandilhonB. OuazanD. SciammaPublished in: SPLT (1986)
Keyphrases
- logic programming
- programs written
- logic programs
- expert systems
- programming language
- nonmonotonic reasoning
- classical logic
- knowledge representation
- modal logic
- prolog programs
- predicate logic
- constraint logic programming
- logic programming language
- neural network
- asynchronous circuits
- databases
- abstract machine
- computational properties
- logical framework
- horn clauses
- automated reasoning
- high level
- search engine