是否可以自行使用Datalog？

Question

我目前正在为课堂上的报告学习Datalog，我只需要讨论基本语法和一个基本示例。

我知道Datalog通常被用作一种查询语言，通常只用于其他语言，如Java、Lua、C等，但是否可以单独教授Datalog，还是需要我使用另一种语言来实现它以显示一个简单的工作程序？

Answer 1

您可以使用以下几个在线演示：

• http://iris-reasoner.org/demo
• http://ysangkok.github.io/mitre-datalog.js/wrapper.html
• https://repl.logicblox.com/ (这里的文档：https://developer.logicblox.com/content/docs4/tutorial/repl/section/split.html )

我还没有亲自尝试过，但是http://abcdatalog.seas.harvard.edu看起来也很不错，而且运行起来也很容易。

一个完整的概述是在维基百科：https://en.wikipedia.org/wiki/Datalog