Guard Compilation in Logic Shared Dataspace Languages.
Mauro GaspariPublished in: ICLP Workshop on Blackboard-Based Logic Programming (1993)
Keyphrases
- programs written
- language independent
- cross lingual
- expressive power
- management system
- logic programming
- highly expressive
- programming language
- formal language
- modal logic
- data integration
- constraint language
- classical logic
- automated reasoning
- source code
- computational properties
- grammatical inference
- multi lingual
- proof theory
- database
- multi valued
- query translation
- object oriented
- language identification
- information management