Prolog et les langages fonctionnels: comparaison de la sémantique et des interpréteurs.
Jean RohmerPublished in: SPLT (1982)
Keyphrases
- logic programming
- prolog programs
- knowledge representation
- abstract machine
- expert systems
- programming language
- logic programming language
- constraint logic programming
- inference engine
- artificial intelligence
- logic programs
- database
- knowledge base
- optimal solution
- domain knowledge
- relational databases
- high level
- multi agent systems
- databases
- semantically equivalent
- explanation based generalization
- support vector