The History of Datalog. Origins Failure Resurrection. An Odd Encounter. Several years ago, I met a colleague, Monica Lam, in the hallway at Stanford. “I hear you were involved in the early work on Datalog.”
path(X,Y) :- arc(X,Y).
path(X,Y) :- arc(X,Z),
you run the risk of multiple minimal models.
reach(@n, m) :- arc(@n, h),