LAIOS: une exécution parallèle de Prolog par recopie des données.
Jean DupratPublished in: SPLT (1988)
Keyphrases
- logic programming
- expert systems
- prolog programs
- programming language
- knowledge representation
- inference engine
- constraint logic programming
- logic programming language
- knowledge base
- logic programs
- abstract machine
- semantically equivalent
- information retrieval
- backward chaining
- knowledge based systems
- programming paradigms
- search space
- feature extraction
- information systems