A Vectorization Technique for Prolog without Explosion.
Yasusi KanadaMasahiro SugayaPublished in: IJCAI (1989)
Keyphrases
- logic programming
- prolog programs
- line segments
- expert systems
- inference engine
- knowledge representation
- programming language
- line drawings
- knowledge base
- neural network
- abstract machine
- backward chaining
- logic programming language
- machine learning
- theorem proving
- case study
- hough transform
- relational databases
- pairwise
- information systems
- functional programming
- explanation based generalization
- programming paradigms
- information retrieval