Improving Prolog Performance by Inductive Proof Generalizations.
Milind GandheG. VenkateshPublished in: KBCS (1989)
Keyphrases
- theorem proving
- logic programming
- knowledge representation
- inductive learning
- expert systems
- theorem prover
- machine learning
- computer vision
- programming language
- geometry theorem proving
- decision making
- real world
- general purpose
- similarity measure
- genetic algorithm
- neural network
- linear logic
- prolog programs
- database