Banc d'essai pour les principales versions de Prolog. Réalisation et mesures de performances.
Brice LepapeM. SellamiJ. P. AubertPublished in: SPLT (1987)
Keyphrases
- logic programming
- prolog programs
- expert systems
- theorem proving
- programming language
- constraint logic programming
- logic programs
- knowledge representation
- programming paradigms
- database
- inference engine
- data model
- lower bound
- digital libraries
- search algorithm
- decision making
- feature selection
- neural network
- multiple versions
- real time