Sémantique Logique Et Dénotationnelle Des Interpréteurs Prolog.
Jean-Paul DelahayePublished in: RAIRO Theor. Informatics Appl. (1988)
Keyphrases
- logic programming
- prolog programs
- expert systems
- logic programming language
- logic programs
- knowledge representation
- programming language
- abstract machine
- knowledge base
- constraint logic programming
- decision trees
- theorem proving
- explanation based generalization
- inference engine
- horn clauses
- neural network
- databases
- programming paradigms
- data sets