NLOG: une extension de Prolog qui donne une solution constructive à l'échec d'un programme Prolog.
A. MarquezPublished in: SPLT (1988)
Keyphrases
- real time
- logic programming
- expert systems
- knowledge representation
- programming language
- prolog programs
- functional programming
- logic programming language
- optimization method
- linear equations
- closed form
- databases
- backward chaining
- theorem proving
- artificial neural networks
- computer vision
- logic programs
- general purpose
- higher education
- distance learning
- special case
- integer programming
- multiscale
- image sequences
- constraint logic programming
- database systems
- image segmentation
- information retrieval
- semantically equivalent
- programming paradigms