Demonstration of LogicLib: An Expressive Multi-Language Interface over Scalable Datalog System.
Mingda LiJin WangGuorui XiaoYoufu LiCarlo ZanioloPublished in: CoRR (2022)
Keyphrases
- programming language
- highly expressive
- expressive power
- logic programming
- deductive databases
- natural language
- database languages
- highly scalable
- query language
- relational calculus
- integrity constraints
- query answering
- query interface
- java platform
- natural language interface
- language learning
- web scale
- specification language
- visual query language
- database
- object oriented programming
- visualization tool
- datalog programs
- first order logic
- model theoretic
- lightweight
- logic programs
- open source
- script language
- user interface
- function free horn