我目前正在课堂上研究Datalog的报告,我只需要讨论基本语法和一个基本的例子 .
我知道Datalog通常用作查询语言,通常只用于其他语言,如Java,Lua,C等,但是只能单独教授Datalog,或者我是否需要使用另一种语言来实现它展示一个简单的工作程序?
您可以使用一些在线演示:
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
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