Notes for Datalog

interpreter

$ ant compile
$ ant build-gui
$ java -jar abcdatalog-gui.jar
% Program:
name(alice).
name(bob).
name(world).
hello(X) :- name(X).

% Query:
hello(X)?

% Results:
hello(alice)
hello(bob)
hello(world)

material or tutorial