Eager and Lazy Enumerations in Concurrent Prolog.
Hideki HirakawaTakashi ChikayamaKoichi FurukawaPublished in: ICLP (1984)
Keyphrases
- logic programming
- programming language
- abstract machine
- expert systems
- lazy learning
- information systems
- knowledge representation
- artificial intelligence
- database
- explanation based generalization
- mutual exclusion
- logic programming language
- inference engine
- logic programs
- knowledge base
- feature selection
- heuristic search
- greedy search
- computer vision
- natural language
- database systems
- backward chaining
- case study