Datalog — starter example — DedSec Project
parent("Ada", "Grace"). ancestor(X, Y) :- parent(X, Y).
Source reference
parent("Ada", "Grace").
ancestor(X, Y) :- parent(X, Y).
parent("Ada", "Grace"). ancestor(X, Y) :- parent(X, Y).
parent("Ada", "Grace").
ancestor(X, Y) :- parent(X, Y).