Data-Driven Execution of Logic Languages.
Jean-Luc GaudiotHiecheol KimRobert E. StumbergerPublished in: ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems (1993)
Keyphrases
- data driven
- expressive power
- active rules
- execution model
- language independent
- computational properties
- logic programming
- formal language
- programs written
- highly expressive
- constraint language
- databases
- multi valued
- classical logic
- automated reasoning
- cross lingual
- information retrieval
- text summarization
- modal logic
- relational databases