Keyphrases
- logic programming
- deductive databases
- expert systems
- programming language
- prolog programs
- complex objects
- neural network
- knowledge representation
- hidden markov models
- support vector
- computer vision
- inference engine
- transitive closure
- line search
- logic programs
- real world
- theorem proving
- iterative process
- iterative algorithms
- constraint logic programming
- data sets
- programming paradigms