DedSec Project

Datalog — αρχικό παράδειγμα — DedSec Project

parent("Ada", "Grace"). ancestor(X, Y) :- parent(X, Y).

Αναφορά πηγαίου κώδικα

parent("Ada", "Grace").
ancestor(X, Y) :- parent(X, Y).