Outils pour l'implémentation des interprètes Prolog.
Vincenzo LoiaMichel QuaggettoFrançois-Xavier Testard-VaillantPublished in: SPLT (1988)
Keyphrases
- logic programming
- programming language
- expert systems
- abstract machine
- knowledge base
- theorem proving
- knowledge representation
- prolog programs
- general purpose
- domain knowledge
- support vector
- real time
- bayesian networks
- logic programs
- knowledge based systems
- decision trees
- information systems
- inference engine
- logic programming language
- backward chaining
- genetic algorithm
- explanation based generalization
- machine learning