Demonstration of LogicLib: An Expressive Multi-Language Interface over Scalable Datalog System.
Mingda LiJin WangGuorui XiaoYoufu LiCarlo ZanioloPublished in: CIKM (2022)
Keyphrases
- programming language
- expressive power
- database languages
- query language
- query answering
- deductive databases
- highly expressive
- user interface
- natural language
- language learning
- predicate invention
- visual query language
- relational query languages
- function free horn
- java platform
- logic programming
- direct manipulation
- specification language
- visualization tool
- knowledge representation languages
- transitive closure
- target language
- user friendly
- integrity constraints