Prolog IV ou la programmation par contraintes selon PrologIA.
Stéphane N'DongPublished in: JFPLC (1997)
Keyphrases
- logic programming
- abstract machine
- expert systems
- programming language
- knowledge representation
- prolog programs
- backward chaining
- knowledge base
- programming paradigms
- feature selection
- decision making
- functional programming
- data sets
- logic programming language
- constraint logic programming
- databases
- forward chaining
- inference engine
- theorem proving
- neural network
- general purpose
- software engineering
- domain knowledge