Applications industrielles de PROLOG III et présentation de PROLOG IV.
TouraïvanePublished in: JFPLC (1995)
Keyphrases
- logic programming
- expert systems
- knowledge representation
- prolog programs
- programming language
- logic programming language
- constraint logic programming
- inference engine
- knowledge base
- semantically equivalent
- abstract machine
- real time
- explanation based generalization
- theorem proving
- answer set programming
- logic programs
- data streams
- image processing
- genetic algorithm