FOIL 6.4 [January 1996]
--------
Options:
verbosity level 0
Relation member
Relation *components
----------
member:
member(A,B) :- components(B,A,C).
member(A,B) :- components(B,C,D), member(A,D).
Time 0.0 secs
Test relation member
Summary: 1 error in 4 trials
|