Tim Finin (firstname.lastname@example.org)
Wed, 05 Mar 2003 16:58:05 -0500
The examples I used in class, which are from
the xsb documentation, can be found in
The example using closure to define ancestor
:- hilog parent.
closure(R)(X,Y) :- R(X,Y).
closure(R)(X,Y) :- R(X,Z), closure(R)(Z,Y).
ancestor(X,Y) :- closure(parent)(X,Y).
works for me.
This archive was generated by hypermail 2.0b3 on Wed Mar 05 2003 - 16:58:12 EST