Using Datalog by itself, is it possible?

Question

I am currently studying Datalog for my report in class, I only need to discuss basic syntax and a basic example.

I know Datalog is usually used as a query language and is usually only implemented to other languages such as Java, Lua, C, etc. but is it possible to teach Datalog only by itself, or am I required to use another language implementing it to show a simple working program?

Answer 1

In case people are still looking: Mangle datalog is a standalone datalog - with extensions as usual, but plain datalog is contained as a fragment https://github.com/google/mangle

Answer 2

There are a few online demos you can use:

• http://iris-reasoner.org/demo
• http://ysangkok.github.io/mitre-datalog.js/wrapper.html
• https://repl.logicblox.com/ (docs here: https://developer.logicblox.com/content/docs4/tutorial/repl/section/split.html )

I haven't tried it myself yet, but http://abcdatalog.seas.harvard.edu also looks nice and easy to run.

A complete overview is on Wikipedia: https://en.wikipedia.org/wiki/Datalog