La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli.
Roberto BarbutiE. BellugiMauro GaspariRoberto GiacobazziPublished in: GULP (1993)
Keyphrases
- logic programming
- programming language
- prolog programs
- knowledge representation
- expert systems
- knowledge base
- logic programming language
- abstract machine
- theorem proving
- pattern recognition
- constraint logic programming
- image processing
- programming paradigms
- search space
- lower bound
- general purpose
- video sequences
- situation calculus
- similarity measure
- feature selection
- data sets