Keyphrases
- horn clauses
- control structures
- control structure
- first order logic
- inference rules
- logic programs
- inductive logic programming
- database queries
- database
- image analysis
- general purpose
- function symbols
- probabilistic model
- object detection
- image understanding
- image interpretation
- computer vision
- learning algorithm
- databases