Quelques résultats de mesures d'une implémentation de Prolog sur un processeur Mips.
Gilles Berger-SabbatelAbderrazak JemaiMohamed BenothmanPublished in: JFPL (1992)
Keyphrases
- logic programming
- expert systems
- programming language
- abstract machine
- knowledge representation
- prolog programs
- knowledge base
- constraint logic programming
- logic programs
- logic programming language
- data structure
- data sets
- preprocessing
- real world
- neural network
- inference rules
- theorem proving
- semantically equivalent
- explanation based generalization
- programming paradigms