Keyphrases
- recursive programs
- recursive functions
- inductive inference
- inductive learning
- program synthesis
- high level
- rule learning
- logic programs
- factor analysis
- higher level
- image processing
- databases
- mobile robot
- recursive algorithm
- data structure
- chronological backtracking
- raster images
- functional programs
- artificial intelligence