Stream-Based Compilation of Ground I/O PROLOG into Committed-Choice Languages.
Hisao TamakiPublished in: ICLP (1987)
Keyphrases
- programs written
- data streams
- input output
- programming paradigms
- expressive power
- functional programming
- programming language
- expert systems
- logic programming
- logic programming language
- target language
- language independent
- knowledge compilation
- text summarization
- theorem proving
- file system
- prolog programs
- database
- abstract machine
- constraint logic programming
- stream data
- main memory
- knowledge representation
- knowledge base
- databases
- real time