[newbye3]

in prolog the definition of path is something like: path(x,y) := edge(x,y). path(x,z) := edge(x,y),path(y,z).

So to me it seems a little strange the definition of path in datalog from a prolog user point of view.