FOIL 6.4   [January 1996]
--------

Relation member

Relation *components

----------
member:

State (22/41, 47.5 bits available)

	Save clause ending with components(B,A,C) (cover 14, accuracy 100%)

Determinate literals
	components(B,C,D)

State (22/39, 47.5 bits available)

	Save clause ending with member(A,D) (cover 16, accuracy 100%)

Determinate literals
	components(E,A,D)

State (22/39, 47.5 bits available)

	Save A=C (14,14 value 12.2)
	Save B=E (14,14 value 12.2)
	Save components(B,A,D) (14,14 value 12.2)
	Save components(E,C,D) (14,14 value 12.2)

Best literal member(A,D) (4.6 bits)

[Replace by saved clause]

Clause 0: member(A,B) :- components(B,C,D), member(A,D).

State (6/25, 30.2 bits available)

	Save clause ending with components(B,A,C) (cover 6, accuracy 100%)

Best literal components(B,A,C) (3.6 bits)

Clause 1: member(A,B) :- components(B,A,C).

member(A,B) :- components(B,A,C).
member(A,B) :- components(B,C,D), member(A,D).

Time 0.0 secs

Test relation member
    (+)	3,[232]
Summary: 1 error in 4 trials