Experiments

Intro ] ackermann-long ] ackermann-short ]
crx-long ] crx-short ] member-long ]
[ member-short ] ncm-long ] ncm-short ]
qs44-long ] qs44-short ] sort-long ]
sort-short ]

data ] [ Up: Report ]

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
 

by: Keith A. Pray
Last Modified: July 4, 2004 9:03 AM
© 2004 - 1975 Keith A. Pray.
All rights reserved.