CProgol Version 4.4 |- yes [:- set(verbose,2)? - Time taken 0.00s] |- [:- set(h,10000)? - Time taken 0.00s] [:- set(r,1000000)? - Time taken 0.00s] [:- set(i,5)? - Time taken 0.00s] [:- set(c,5)? - Time taken 0.00s] [:- modeh(100,play([+int,+int,+int]))? - Time taken 0.00s] [:- modeh(100,play([+int,+int,+int,+int]))? - Time taken 0.00s] [:- modeh(100,play([+int,+int,+int,+int,+int]))? - Time taken 0.00s] [:- modeb(1,and(+int,+int,-int))? - Time taken 0.00s] [:- modeb(1,or(+int,+int,-int))? - Time taken 0.00s] [:- modeb(1,xor(+int,+int,-int))? - Time taken 0.00s] [Testing for contradictions] [No contradictions found] yes [:- [b]? - Time taken 0.00s] |- [Testing for contradictions] [No contradictions found] yes [:- [example/ex_sampleSize204.pl]? - Time taken 0.00s] |- [Generalising play([1,14,15]).] [Most specific clause is] play([A,B,C]) :- and(A,A,A), and(A,B,D), and(A,C,A), and(B,A, D), and(B,B,B), and(B,C,B), and(C,A,A), and(C,B,B), and(C, C,C), or(A,A,A), or(A,B,C), or(A,C,C), or(B,A,C), or(B, B,B), or(B,C,C), or(C,A,C), or(C,B,C), or(C,C,C), xor(A, A,D), xor(A,B,C), xor(A,C,B), xor(B,A,C), xor(B,B,D), xor(B,C,A), xor(C,A,B), xor(C,B,A), xor(C,C,D), and(A, D,D), and(B,D,D), and(C,D,D), and(D,A,D), and(D,B,D), and(D,C,D), and(D,D,D), or(A,D,A), or(B,D,B), or(C,D, C), or(D,A,A), or(D,B,B), or(D,C,C), or(D,D,D), xor(A, D,A), xor(B,D,B), xor(C,D,C), xor(D,A,A), xor(D,B,B), xor(D,C,C), xor(D,D,D). [C:-3,3,3,0 play([A,B,C]).] [C:-7,3,3,0 play([A,B,C]) :- and(A,A,A).] [C:-7,3,3,0 play([A,B,C]) :- and(A,A,D).] [C:-7,3,3,0 play([A,B,C]) :- and(A,B,D).] [C:-3,3,2,0 play([A,B,C]) :- and(A,C,A).] [C:-7,3,3,0 play([A,B,C]) :- and(A,C,D).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), and(B,A,D).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), and(B,B,B).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), and(B,B,D).] [C:-3,3,1,0 play([A,B,C]) :- and(A,C,A), and(B,C,B).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), and(B,C,D).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), and(C,A,A).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), and(C,A,D).] [C:-3,3,1,0 play([A,B,C]) :- and(A,C,A), and(C,B,B).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), and(C,B,D).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), and(C,C,C).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), and(C,C,D).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), or(A,A,A).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), or(A,A,D).] [C:0,3,0,0 play([A,B,C]) :- and(A,C,A), or(A,B,C).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), or(A,B,D).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), or(A,C,C).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), or(A,C,D).] [C:0,3,0,0 play([A,B,C]) :- and(A,C,A), or(B,A,C).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), or(B,A,D).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), or(B,B,B).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), or(B,B,D).] [C:-3,3,1,0 play([A,B,C]) :- and(A,C,A), or(B,C,C).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), or(B,C,D).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), or(C,A,C).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), or(C,A,D).] [C:-3,3,1,0 play([A,B,C]) :- and(A,C,A), or(C,B,C).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), or(C,B,D).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), or(C,C,C).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), or(C,C,D).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), xor(A,A,D).] [C:0,3,0,0 play([A,B,C]) :- and(A,C,A), xor(A,B,C).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), xor(A,B,D).] [C:0,3,0,0 play([A,B,C]) :- and(A,C,A), xor(A,C,B).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), xor(A,C,D).] [C:0,3,0,0 play([A,B,C]) :- and(A,C,A), xor(B,A,C).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), xor(B,A,D).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), xor(B,B,D).] [C:0,3,0,0 play([A,B,C]) :- and(A,C,A), xor(B,C,A).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), xor(B,C,D).] [C:0,3,0,0 play([A,B,C]) :- and(A,C,A), xor(C,A,B).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), xor(C,A,D).] [C:0,3,0,0 play([A,B,C]) :- and(A,C,A), xor(C,B,A).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), xor(C,B,D).] [C:-7,3,2,0 play([A,B,C]) :- and(A,C,A), xor(C,C,D).] [C:-7,3,3,0 play([A,B,C]) :- and(B,A,D).] [C:-7,3,3,0 play([A,B,C]) :- and(B,B,B).] [C:-7,3,3,0 play([A,B,C]) :- and(B,B,D).] [C:0,3,1,0 play([A,B,C]) :- and(B,C,B).] [C:-7,3,3,0 play([A,B,C]) :- and(B,C,D).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), and(C,A,A).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), and(C,A,D).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), and(C,B,B).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), and(C,B,D).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), and(C,C,C).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), and(C,C,D).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), or(A,A,A).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), or(A,A,D).] [C:0,3,0,0 play([A,B,C]) :- and(B,C,B), or(A,B,C).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), or(A,B,D).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), or(A,C,C).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), or(A,C,D).] [C:0,3,0,0 play([A,B,C]) :- and(B,C,B), or(B,A,C).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), or(B,A,D).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), or(B,B,B).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), or(B,B,D).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), or(B,C,C).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), or(B,C,D).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), or(C,A,C).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), or(C,A,D).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), or(C,B,C).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), or(C,B,D).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), or(C,C,C).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), or(C,C,D).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), xor(A,A,D).] [C:0,3,0,0 play([A,B,C]) :- and(B,C,B), xor(A,B,C).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), xor(A,B,D).] [C:0,3,0,0 play([A,B,C]) :- and(B,C,B), xor(A,C,B).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), xor(A,C,D).] [C:0,3,0,0 play([A,B,C]) :- and(B,C,B), xor(B,A,C).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), xor(B,A,D).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), xor(B,B,D).] [C:0,3,0,0 play([A,B,C]) :- and(B,C,B), xor(B,C,A).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), xor(B,C,D).] [C:0,3,0,0 play([A,B,C]) :- and(B,C,B), xor(C,A,B).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), xor(C,A,D).] [C:0,3,0,0 play([A,B,C]) :- and(B,C,B), xor(C,B,A).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), xor(C,B,D).] [C:-3,3,1,0 play([A,B,C]) :- and(B,C,B), xor(C,C,D).] [C:-3,3,2,0 play([A,B,C]) :- and(C,A,A).] [C:-7,3,3,0 play([A,B,C]) :- and(C,A,D).] [C:-3,3,1,0 play([A,B,C]) :- and(C,A,A), and(C,B,B).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), and(C,B,D).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), and(C,C,C).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), and(C,C,D).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), or(A,A,A).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), or(A,A,D).] [C:0,3,0,0 play([A,B,C]) :- and(C,A,A), or(A,B,C).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), or(A,B,D).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), or(A,C,C).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), or(A,C,D).] [C:0,3,0,0 play([A,B,C]) :- and(C,A,A), or(B,A,C).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), or(B,A,D).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), or(B,B,B).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), or(B,B,D).] [C:-3,3,1,0 play([A,B,C]) :- and(C,A,A), or(B,C,C).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), or(B,C,D).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), or(C,A,C).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), or(C,A,D).] [C:-3,3,1,0 play([A,B,C]) :- and(C,A,A), or(C,B,C).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), or(C,B,D).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), or(C,C,C).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), or(C,C,D).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), xor(A,A,D).] [C:0,3,0,0 play([A,B,C]) :- and(C,A,A), xor(A,B,C).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), xor(A,B,D).] [C:0,3,0,0 play([A,B,C]) :- and(C,A,A), xor(A,C,B).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), xor(A,C,D).] [C:0,3,0,0 play([A,B,C]) :- and(C,A,A), xor(B,A,C).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), xor(B,A,D).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), xor(B,B,D).] [C:0,3,0,0 play([A,B,C]) :- and(C,A,A), xor(B,C,A).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), xor(B,C,D).] [C:0,3,0,0 play([A,B,C]) :- and(C,A,A), xor(C,A,B).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), xor(C,A,D).] [C:0,3,0,0 play([A,B,C]) :- and(C,A,A), xor(C,B,A).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), xor(C,B,D).] [C:-7,3,2,0 play([A,B,C]) :- and(C,A,A), xor(C,C,D).] [C:0,3,1,0 play([A,B,C]) :- and(C,B,B).] [C:-7,3,3,0 play([A,B,C]) :- and(C,B,D).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), and(C,C,C).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), and(C,C,D).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), or(A,A,A).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), or(A,A,D).] [C:0,3,0,0 play([A,B,C]) :- and(C,B,B), or(A,B,C).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), or(A,B,D).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), or(A,C,C).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), or(A,C,D).] [C:0,3,0,0 play([A,B,C]) :- and(C,B,B), or(B,A,C).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), or(B,A,D).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), or(B,B,B).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), or(B,B,D).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), or(B,C,C).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), or(B,C,D).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), or(C,A,C).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), or(C,A,D).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), or(C,B,C).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), or(C,B,D).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), or(C,C,C).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), or(C,C,D).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), xor(A,A,D).] [C:0,3,0,0 play([A,B,C]) :- and(C,B,B), xor(A,B,C).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), xor(A,B,D).] [C:0,3,0,0 play([A,B,C]) :- and(C,B,B), xor(A,C,B).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), xor(A,C,D).] [C:0,3,0,0 play([A,B,C]) :- and(C,B,B), xor(B,A,C).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), xor(B,A,D).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), xor(B,B,D).] [C:0,3,0,0 play([A,B,C]) :- and(C,B,B), xor(B,C,A).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), xor(B,C,D).] [C:0,3,0,0 play([A,B,C]) :- and(C,B,B), xor(C,A,B).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), xor(C,A,D).] [C:0,3,0,0 play([A,B,C]) :- and(C,B,B), xor(C,B,A).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), xor(C,B,D).] [C:-3,3,1,0 play([A,B,C]) :- and(C,B,B), xor(C,C,D).] [C:-7,3,3,0 play([A,B,C]) :- and(C,C,C).] [C:-7,3,3,0 play([A,B,C]) :- and(C,C,D).] [C:-7,3,3,0 play([A,B,C]) :- or(A,A,A).] [C:-7,3,3,0 play([A,B,C]) :- or(A,A,D).] [C:3,3,0,0 play([A,B,C]) :- or(A,B,C).] [C:-7,3,3,0 play([A,B,C]) :- or(A,B,D).] [C:-3,3,2,0 play([A,B,C]) :- or(A,C,C).] [C:-7,3,3,0 play([A,B,C]) :- or(A,C,D).] [C:0,3,0,0 play([A,B,C]) :- or(A,C,C), or(B,A,C).] [C:-7,3,2,0 play([A,B,C]) :- or(A,C,C), or(B,A,D).] [C:-7,3,2,0 play([A,B,C]) :- or(A,C,C), or(B,B,B).] [C:-7,3,2,0 play([A,B,C]) :- or(A,C,C), or(B,B,D).] [C:-3,3,1,0 play([A,B,C]) :- or(A,C,C), or(B,C,C).] [C:-7,3,2,0 play([A,B,C]) :- or(A,C,C), or(B,C,D).] [C:-7,3,2,0 play([A,B,C]) :- or(A,C,C), or(C,A,C).] [C:-7,3,2,0 play([A,B,C]) :- or(A,C,C), or(C,A,D).] [C:-3,3,1,0 play([A,B,C]) :- or(A,C,C), or(C,B,C).] [C:-7,3,2,0 play([A,B,C]) :- or(A,C,C), or(C,B,D).] [C:-7,3,2,0 play([A,B,C]) :- or(A,C,C), or(C,C,C).] [C:-7,3,2,0 play([A,B,C]) :- or(A,C,C), or(C,C,D).] [C:-7,3,2,0 play([A,B,C]) :- or(A,C,C), xor(A,A,D).] [C:0,3,0,0 play([A,B,C]) :- or(A,C,C), xor(A,B,C).] [C:-7,3,2,0 play([A,B,C]) :- or(A,C,C), xor(A,B,D).] [C:0,3,0,0 play([A,B,C]) :- or(A,C,C), xor(A,C,B).] [C:-7,3,2,0 play([A,B,C]) :- or(A,C,C), xor(A,C,D).] [C:0,3,0,0 play([A,B,C]) :- or(A,C,C), xor(B,A,C).] [C:-7,3,2,0 play([A,B,C]) :- or(A,C,C), xor(B,A,D).] [C:-7,3,2,0 play([A,B,C]) :- or(A,C,C), xor(B,B,D).] [C:0,3,0,0 play([A,B,C]) :- or(A,C,C), xor(B,C,A).] [C:-7,3,2,0 play([A,B,C]) :- or(A,C,C), xor(B,C,D).] Resource limit exceeded [200 explored search nodes] f=3,p=3,n=0,h=0 [Result of search is] play([A,B,C]) :- or(A,B,C). [3 redundant clauses retracted] [Generalising play([1,4,3,6]).] [Most specific clause is] play([A,B,C,D]) :- and(A,A,A), and(A,B,E), and(A,C,A), and(A, D,E), and(B,A,E), and(B,B,B), and(B,C,E), and(B,D,B), and(C,A,A), and(C,B,E), and(C,C,C), and(C,D,F), and(D, A,E), and(D,B,B), and(D,C,F), and(D,D,D), or(A,A,A), or(A,B,G), or(A,C,C), or(A,D,H), or(B,A,G), or(B,B,B), or(B,C,H), or(B,D,D), or(C,A,C), or(C,B,H), or(C,C,C), or(C,D,H), or(D,A,H), or(D,B,D), or(D,C,H), or(D,D,D), xor(A,A,E), xor(A,B,G), xor(A,C,F), xor(A,D,H), xor(B, A,G), xor(B,B,E), xor(B,C,H), xor(B,D,F), xor(C,A,F), xor(C,B,H), xor(C,C,E), xor(C,D,G), xor(D,A,H), xor(D, B,F), xor(D,C,G), xor(D,D,E), and(A,E,E), and(A,F,E), and(A,G,A), and(A,H,A), and(B,E,E), and(B,F,E), and(B, G,B), and(B,H,B), and(C,E,E), and(C,F,F), and(C,G,A), and(C,H,C), and(D,E,E), and(D,F,F), and(D,G,B), and(D, H,D), and(E,A,E), and(E,B,E), and(E,C,E), and(E,D,E), and(E,E,E), and(E,F,E), and(E,G,E), and(E,H,E), and(F, A,E), and(F,B,E), and(F,C,F), and(F,D,F), and(F,E,E), and(F,F,F), and(F,G,E), and(F,H,F), and(G,A,A), and(G, B,B), and(G,C,A), and(G,D,B), and(G,E,E), and(G,F,E), and(G,G,G), and(G,H,G), and(H,A,A), and(H,B,B), and(H, C,C), and(H,D,D), and(H,E,E), and(H,F,F), and(H,G,G), and(H,H,H), or(A,E,A), or(A,F,C), or(A,G,G), or(A,H, H), or(B,E,B), or(B,F,D), or(B,G,G), or(B,H,H), or(C, E,C), or(C,F,C), or(C,G,H), or(C,H,H), or(D,E,D), or(D, F,D), or(D,G,H), or(D,H,H), or(E,A,A), or(E,B,B), or(E, C,C), or(E,D,D), or(E,E,E), or(E,F,F), or(E,G,G), or(E, H,H), or(F,A,C), or(F,B,D), or(F,C,C), or(F,D,D), or(F, E,F), or(F,F,F), or(F,G,H), or(F,H,H), or(G,A,G), or(G, B,G), or(G,C,H), or(G,D,H), or(G,E,G), or(G,F,H), or(G, G,G), or(G,H,H), or(H,A,H), or(H,B,H), or(H,C,H), or(H, D,H), or(H,E,H), or(H,F,H), or(H,G,H), or(H,H,H), xor(A, E,A), xor(A,F,C), xor(A,G,B), xor(A,H,D), xor(B,E,B), xor(B,F,D), xor(B,G,A), xor(B,H,C), xor(C,E,C), xor(C, F,A), xor(C,G,D), xor(C,H,B), xor(D,E,D), xor(D,F,B), xor(D,G,C), xor(D,H,A), xor(E,A,A), xor(E,B,B), xor(E, C,C), xor(E,D,D), xor(E,E,E), xor(E,F,F), xor(E,G,G), xor(E,H,H), xor(F,A,C), xor(F,B,D), xor(F,C,A), xor(F, D,B), xor(F,E,F), xor(F,F,E), xor(F,G,H), xor(F,H,G), xor(G,A,B), xor(G,B,A), xor(G,C,D), xor(G,D,C), xor(G, E,G), xor(G,F,H), xor(G,G,E), xor(G,H,F), xor(H,A,D), xor(H,B,C), xor(H,C,B), xor(H,D,A), xor(H,E,H), xor(H, F,G), xor(H,G,F), xor(H,H,E). [C:0,4,3,0 play([A,B,C,D]).] [C:-2,4,3,0 play([A,B,C,D]) :- and(A,A,A).] [C:-2,4,3,0 play([A,B,C,D]) :- and(A,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(A,B,E).] [C:-10,2,2,0 play([A,B,C,D]) :- and(A,C,A).] [C:-2,4,3,0 play([A,B,C,D]) :- and(A,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(A,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(B,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(B,B,B).] [C:-2,4,3,0 play([A,B,C,D]) :- and(B,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(B,C,E).] [C:0,3,1,0 play([A,B,C,D]) :- and(B,D,B).] [C:-2,4,3,0 play([A,B,C,D]) :- and(B,D,E).] [C:-10,2,2,0 play([A,B,C,D]) :- and(C,A,A).] [C:-2,4,3,0 play([A,B,C,D]) :- and(C,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(C,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(C,C,C).] [C:-2,4,3,0 play([A,B,C,D]) :- and(C,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(C,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(D,A,E).] [C:0,3,1,0 play([A,B,C,D]) :- and(D,B,B).] [C:-2,4,3,0 play([A,B,C,D]) :- and(D,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(D,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(D,D,D).] [C:-2,4,3,0 play([A,B,C,D]) :- and(D,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(A,A,A).] [C:-2,4,3,0 play([A,B,C,D]) :- or(A,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(A,B,E).] [C:-10,2,2,0 play([A,B,C,D]) :- or(A,C,C).] [C:-2,4,3,0 play([A,B,C,D]) :- or(A,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(A,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(B,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(B,B,B).] [C:-2,4,3,0 play([A,B,C,D]) :- or(B,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(B,C,E).] [C:0,3,1,0 play([A,B,C,D]) :- or(B,D,D).] [C:-2,4,3,0 play([A,B,C,D]) :- or(B,D,E).] [C:-10,2,2,0 play([A,B,C,D]) :- or(C,A,C).] [C:-2,4,3,0 play([A,B,C,D]) :- or(C,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(C,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(C,C,C).] [C:-2,4,3,0 play([A,B,C,D]) :- or(C,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(C,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(D,A,E).] [C:0,3,1,0 play([A,B,C,D]) :- or(D,B,D).] [C:-2,4,3,0 play([A,B,C,D]) :- or(D,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(D,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(D,D,D).] [C:-2,4,3,0 play([A,B,C,D]) :- or(D,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(A,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(A,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(A,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(A,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(B,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(B,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(B,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(B,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(C,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(C,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(C,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(C,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(D,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(D,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(D,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(D,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), and(C,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), and(C,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), and(C,C,C).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), and(C,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), and(C,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), and(D,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), and(D,B,B).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), and(D,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), and(D,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), and(D,D,D).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), and(D,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(A,A,A).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(A,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(A,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(A,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(A,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(B,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(B,B,B).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(B,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(B,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(B,D,D).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(B,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(C,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(C,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(C,C,C).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(C,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(C,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(D,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(D,B,D).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(D,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(D,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(D,D,D).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(D,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(A,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(A,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(A,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(A,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(B,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(B,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(B,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(B,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(C,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(C,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(C,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(C,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(D,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(D,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(D,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(D,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), or(C,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), or(C,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), or(C,C,C).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), or(C,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), or(C,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), or(D,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), or(D,B,D).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), or(D,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), or(D,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), or(D,D,D).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), or(D,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(A,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(A,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(A,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(A,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(B,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(B,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(B,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(B,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(C,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(C,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(C,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(C,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(D,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(D,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(D,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(D,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), and(D,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), and(D,D,D).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), and(D,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(A,A,A).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(A,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(A,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(A,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(A,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(B,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(B,B,B).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(B,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(B,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(B,D,D).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(B,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(C,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(C,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(C,C,C).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(C,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(C,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(D,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(D,B,D).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(D,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(D,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(D,D,D).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(D,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(A,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(A,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(A,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(A,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(B,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(B,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(B,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(B,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(C,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(C,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(C,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(C,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(D,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(D,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(D,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(D,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), or(D,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), or(D,D,D).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), or(D,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(A,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(A,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(A,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(A,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(B,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(B,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(B,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(B,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(C,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(C,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(C,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(C,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(D,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(D,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(D,C,E).] Resource limit exceeded [200 explored search nodes] f=0,p=4,n=3,h=0 [No compression] [Generalising play([5,8,7,10]).] [Most specific clause is] play([A,B,C,D]) :- and(A,A,A), and(A,B,E), and(A,C,A), and(A, D,E), and(B,A,E), and(B,B,B), and(B,C,E), and(B,D,B), and(C,A,A), and(C,B,E), and(C,C,C), and(C,D,F), and(D, A,E), and(D,B,B), and(D,C,F), and(D,D,D), or(A,A,A), or(A,B,G), or(A,C,C), or(A,D,H), or(B,A,G), or(B,B,B), or(B,C,H), or(B,D,D), or(C,A,C), or(C,B,H), or(C,C,C), or(C,D,H), or(D,A,H), or(D,B,D), or(D,C,H), or(D,D,D), xor(A,A,E), xor(A,B,G), xor(A,C,F), xor(A,D,H), xor(B, A,G), xor(B,B,E), xor(B,C,H), xor(B,D,F), xor(C,A,F), xor(C,B,H), xor(C,C,E), xor(C,D,G), xor(D,A,H), xor(D, B,F), xor(D,C,G), xor(D,D,E), and(A,E,E), and(A,F,E), and(A,G,A), and(A,H,A), and(B,E,E), and(B,F,E), and(B, G,B), and(B,H,B), and(C,E,E), and(C,F,F), and(C,G,A), and(C,H,C), and(D,E,E), and(D,F,F), and(D,G,B), and(D, H,D), and(E,A,E), and(E,B,E), and(E,C,E), and(E,D,E), and(E,E,E), and(E,F,E), and(E,G,E), and(E,H,E), and(F, A,E), and(F,B,E), and(F,C,F), and(F,D,F), and(F,E,E), and(F,F,F), and(F,G,E), and(F,H,F), and(G,A,A), and(G, B,B), and(G,C,A), and(G,D,B), and(G,E,E), and(G,F,E), and(G,G,G), and(G,H,G), and(H,A,A), and(H,B,B), and(H, C,C), and(H,D,D), and(H,E,E), and(H,F,F), and(H,G,G), and(H,H,H), or(A,E,A), or(A,F,C), or(A,G,G), or(A,H, H), or(B,E,B), or(B,F,D), or(B,G,G), or(B,H,H), or(C, E,C), or(C,F,C), or(C,G,H), or(C,H,H), or(D,E,D), or(D, F,D), or(D,G,H), or(D,H,H), or(E,A,A), or(E,B,B), or(E, C,C), or(E,D,D), or(E,E,E), or(E,F,F), or(E,G,G), or(E, H,H), or(F,A,C), or(F,B,D), or(F,C,C), or(F,D,D), or(F, E,F), or(F,F,F), or(F,G,H), or(F,H,H), or(G,A,G), or(G, B,G), or(G,C,H), or(G,D,H), or(G,E,G), or(G,F,H), or(G, G,G), or(G,H,H), or(H,A,H), or(H,B,H), or(H,C,H), or(H, D,H), or(H,E,H), or(H,F,H), or(H,G,H), or(H,H,H), xor(A, E,A), xor(A,F,C), xor(A,G,B), xor(A,H,D), xor(B,E,B), xor(B,F,D), xor(B,G,A), xor(B,H,C), xor(C,E,C), xor(C, F,A), xor(C,G,D), xor(C,H,B), xor(D,E,D), xor(D,F,B), xor(D,G,C), xor(D,H,A), xor(E,A,A), xor(E,B,B), xor(E, C,C), xor(E,D,D), xor(E,E,E), xor(E,F,F), xor(E,G,G), xor(E,H,H), xor(F,A,C), xor(F,B,D), xor(F,C,A), xor(F, D,B), xor(F,E,F), xor(F,F,E), xor(F,G,H), xor(F,H,G), xor(G,A,B), xor(G,B,A), xor(G,C,D), xor(G,D,C), xor(G, E,G), xor(G,F,H), xor(G,G,E), xor(G,H,F), xor(H,A,D), xor(H,B,C), xor(H,C,B), xor(H,D,A), xor(H,E,H), xor(H, F,G), xor(H,G,F), xor(H,H,E). [C:0,4,3,0 play([A,B,C,D]).] [C:-2,4,3,0 play([A,B,C,D]) :- and(A,A,A).] [C:-2,4,3,0 play([A,B,C,D]) :- and(A,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(A,B,E).] [C:-10,2,2,0 play([A,B,C,D]) :- and(A,C,A).] [C:-2,4,3,0 play([A,B,C,D]) :- and(A,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(A,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(B,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(B,B,B).] [C:-2,4,3,0 play([A,B,C,D]) :- and(B,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(B,C,E).] [C:0,3,1,0 play([A,B,C,D]) :- and(B,D,B).] [C:-2,4,3,0 play([A,B,C,D]) :- and(B,D,E).] [C:-10,2,2,0 play([A,B,C,D]) :- and(C,A,A).] [C:-2,4,3,0 play([A,B,C,D]) :- and(C,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(C,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(C,C,C).] [C:-2,4,3,0 play([A,B,C,D]) :- and(C,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(C,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(D,A,E).] [C:0,3,1,0 play([A,B,C,D]) :- and(D,B,B).] [C:-2,4,3,0 play([A,B,C,D]) :- and(D,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(D,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(D,D,D).] [C:-2,4,3,0 play([A,B,C,D]) :- and(D,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(A,A,A).] [C:-2,4,3,0 play([A,B,C,D]) :- or(A,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(A,B,E).] [C:-10,2,2,0 play([A,B,C,D]) :- or(A,C,C).] [C:-2,4,3,0 play([A,B,C,D]) :- or(A,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(A,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(B,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(B,B,B).] [C:-2,4,3,0 play([A,B,C,D]) :- or(B,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(B,C,E).] [C:0,3,1,0 play([A,B,C,D]) :- or(B,D,D).] [C:-2,4,3,0 play([A,B,C,D]) :- or(B,D,E).] [C:-10,2,2,0 play([A,B,C,D]) :- or(C,A,C).] [C:-2,4,3,0 play([A,B,C,D]) :- or(C,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(C,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(C,C,C).] [C:-2,4,3,0 play([A,B,C,D]) :- or(C,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(C,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(D,A,E).] [C:0,3,1,0 play([A,B,C,D]) :- or(D,B,D).] [C:-2,4,3,0 play([A,B,C,D]) :- or(D,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(D,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(D,D,D).] [C:-2,4,3,0 play([A,B,C,D]) :- or(D,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(A,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(A,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(A,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(A,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(B,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(B,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(B,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(B,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(C,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(C,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(C,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(C,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(D,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(D,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(D,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(D,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), or(D,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), or(D,D,D).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), or(D,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(A,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(A,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(A,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(A,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(B,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(B,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(B,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(B,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(C,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(C,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(C,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(C,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(D,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(D,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(D,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(D,B,D), xor(D,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), and(D,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), and(D,D,D).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), and(D,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(A,A,A).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(A,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(A,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(A,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(A,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(B,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(B,B,B).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(B,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(B,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(B,D,D).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(B,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(C,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(C,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(C,C,C).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(C,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(C,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(D,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(D,B,D).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(D,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(D,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(D,D,D).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), or(D,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(A,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(A,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(A,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(A,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(B,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(B,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(B,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(B,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(C,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(C,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(C,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(C,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(D,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(D,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(D,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(D,B,B), xor(D,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), and(C,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), and(C,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), and(C,C,C).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), and(C,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), and(C,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), and(D,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), and(D,B,B).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), and(D,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), and(D,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), and(D,D,D).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), and(D,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(A,A,A).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(A,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(A,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(A,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(A,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(B,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(B,B,B).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(B,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(B,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(B,D,D).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(B,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(C,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(C,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(C,C,C).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(C,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(C,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(D,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(D,B,D).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(D,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(D,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(D,D,D).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), or(D,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(A,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(A,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(A,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(A,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(B,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(B,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(B,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(B,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(C,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(C,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(C,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(C,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(D,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(D,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(D,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- and(B,D,B), xor(D,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), or(C,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), or(C,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), or(C,C,C).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), or(C,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), or(C,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), or(D,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), or(D,B,D).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), or(D,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), or(D,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), or(D,D,D).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), or(D,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(A,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(A,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(A,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(A,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(B,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(B,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(B,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(B,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(C,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(C,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(C,C,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(C,D,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(D,A,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(D,B,E).] [C:-3,3,1,0 play([A,B,C,D]) :- or(B,D,D), xor(D,C,E).] Resource limit exceeded [200 explored search nodes] f=0,p=4,n=3,h=0 [No compression] [Generalising play([6,15,4,13]).] [Most specific clause is] play([A,B,C,D]) :- and(A,A,A), and(A,B,A), and(A,C,C), and(A, D,C), and(B,A,A), and(B,B,B), and(B,C,C), and(B,D,D), and(C,A,C), and(C,B,C), and(C,C,C), and(C,D,C), and(D, A,C), and(D,B,D), and(D,C,C), and(D,D,D), or(A,A,A), or(A,B,B), or(A,C,A), or(A,D,B), or(B,A,B), or(B,B,B), or(B,C,B), or(B,D,B), or(C,A,A), or(C,B,B), or(C,C,C), or(C,D,D), or(D,A,B), or(D,B,B), or(D,C,D), or(D,D,D), xor(A,A,E), xor(A,B,F), xor(A,C,G), xor(A,D,H), xor(B, A,F), xor(B,B,E), xor(B,C,H), xor(B,D,G), xor(C,A,G), xor(C,B,H), xor(C,C,E), xor(C,D,F), xor(D,A,H), xor(D, B,G), xor(D,C,F), xor(D,D,E), and(A,E,E), and(A,G,G), and(A,F,E), and(A,H,G), and(B,E,E), and(B,G,G), and(B, F,F), and(B,H,H), and(C,E,E), and(C,G,E), and(C,F,E), and(C,H,E), and(D,E,E), and(D,G,E), and(D,F,F), and(D, H,F), and(E,A,E), and(E,B,E), and(E,C,E), and(E,D,E), and(E,E,E), and(E,G,E), and(E,F,E), and(E,H,E), and(G, A,G), and(G,B,G), and(G,C,E), and(G,D,E), and(G,E,E), and(G,G,G), and(G,F,E), and(G,H,G), and(F,A,E), and(F, B,F), and(F,C,E), and(F,D,F), and(F,E,E), and(F,G,E), and(F,F,F), and(F,H,F), and(H,A,G), and(H,B,H), and(H, C,E), and(H,D,F), and(H,E,E), and(H,G,G), and(H,F,F), and(H,H,H), or(A,E,A), or(A,G,A), or(A,F,B), or(A,H, B), or(B,E,B), or(B,G,B), or(B,F,B), or(B,H,B), or(C, E,C), or(C,G,A), or(C,F,D), or(C,H,B), or(D,E,D), or(D, G,B), or(D,F,D), or(D,H,B), or(E,A,A), or(E,B,B), or(E, C,C), or(E,D,D), or(E,E,E), or(E,G,G), or(E,F,F), or(E, H,H), or(G,A,A), or(G,B,B), or(G,C,A), or(G,D,B), or(G, E,G), or(G,G,G), or(G,F,H), or(G,H,H), or(F,A,B), or(F, B,B), or(F,C,D), or(F,D,D), or(F,E,F), or(F,G,H), or(F, F,F), or(F,H,H), or(H,A,B), or(H,B,B), or(H,C,B), or(H, D,B), or(H,E,H), or(H,G,H), or(H,F,H), or(H,H,H), xor(A, E,A), xor(A,G,C), xor(A,F,B), xor(A,H,D), xor(B,E,B), xor(B,G,D), xor(B,F,A), xor(B,H,C), xor(C,E,C), xor(C, G,A), xor(C,F,D), xor(C,H,B), xor(D,E,D), xor(D,G,B), xor(D,F,C), xor(D,H,A), xor(E,A,A), xor(E,B,B), xor(E, C,C), xor(E,D,D), xor(E,E,E), xor(E,G,G), xor(E,F,F), xor(E,H,H), xor(G,A,C), xor(G,B,D), xor(G,C,A), xor(G, D,B), xor(G,E,G), xor(G,G,E), xor(G,F,H), xor(G,H,F), xor(F,A,B), xor(F,B,A), xor(F,C,D), xor(F,D,C), xor(F, E,F), xor(F,G,H), xor(F,F,E), xor(F,H,G), xor(H,A,D), xor(H,B,C), xor(H,C,B), xor(H,D,A), xor(H,E,H), xor(H, G,F), xor(H,F,G), xor(H,H,E). [C:0,4,3,0 play([A,B,C,D]).] [C:-2,4,3,0 play([A,B,C,D]) :- and(A,A,A).] [C:-2,4,3,0 play([A,B,C,D]) :- and(A,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(A,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(A,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(A,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(B,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(B,B,B).] [C:-2,4,3,0 play([A,B,C,D]) :- and(B,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(B,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(B,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(C,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(C,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(C,C,C).] [C:-2,4,3,0 play([A,B,C,D]) :- and(C,C,E).] [C:0,2,0,0 play([A,B,C,D]) :- and(C,D,C).] [C:-2,4,3,0 play([A,B,C,D]) :- and(C,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(D,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(D,B,E).] [C:0,2,0,0 play([A,B,C,D]) :- and(D,C,C).] [C:-2,4,3,0 play([A,B,C,D]) :- and(D,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- and(D,D,D).] [C:-2,4,3,0 play([A,B,C,D]) :- and(D,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(A,A,A).] [C:-2,4,3,0 play([A,B,C,D]) :- or(A,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(A,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(A,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(A,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(B,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(B,B,B).] [C:-2,4,3,0 play([A,B,C,D]) :- or(B,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(B,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(B,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(C,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(C,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(C,C,C).] [C:-2,4,3,0 play([A,B,C,D]) :- or(C,C,E).] [C:0,2,0,0 play([A,B,C,D]) :- or(C,D,D).] [C:-2,4,3,0 play([A,B,C,D]) :- or(C,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(D,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(D,B,E).] [C:0,2,0,0 play([A,B,C,D]) :- or(D,C,D).] [C:-2,4,3,0 play([A,B,C,D]) :- or(D,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- or(D,D,D).] [C:-2,4,3,0 play([A,B,C,D]) :- or(D,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(A,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(A,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(A,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(A,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(B,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(B,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(B,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(B,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(C,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(C,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(C,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(C,D,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(D,A,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(D,B,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(D,C,E).] [C:-2,4,3,0 play([A,B,C,D]) :- xor(D,D,E).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(B,C,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(B,D,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(C,A,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(C,B,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(C,C,E).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(C,C,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(C,D,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(D,A,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(D,B,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(D,C,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(D,D,E).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(D,D,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), and(A,E,E).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), and(A,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), and(B,E,E).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), and(B,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), and(C,E,E).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), and(C,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), and(D,E,E).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), and(D,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), and(E,A,E).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), and(E,A,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), and(E,B,E).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), and(E,B,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), and(E,C,E).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), and(E,C,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), and(E,D,E).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), and(E,D,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), and(E,E,E).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), and(E,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), or(A,E,A).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), or(A,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), or(B,E,B).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), or(B,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), or(C,E,C).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), or(C,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), or(D,E,D).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), or(D,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), or(E,A,A).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), or(E,A,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), or(E,B,B).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), or(E,B,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), or(E,C,C).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), or(E,C,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), or(E,D,D).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), or(E,D,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), or(E,E,E).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), or(E,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(A,E,A).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(A,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(B,E,B).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(B,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(C,E,C).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(C,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(D,E,D).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(D,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(E,A,A).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(E,A,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(E,B,B).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(E,B,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(E,C,C).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(E,C,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(E,D,D).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(E,D,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(E,E,E).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(E,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), or(B,C,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), or(B,D,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), or(C,A,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), or(C,B,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), or(C,C,C).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), or(C,C,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), or(C,D,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), or(D,A,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), or(D,B,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), or(D,C,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), or(D,D,D).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), or(D,D,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), xor(A,A,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), xor(A,B,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), xor(A,C,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), xor(A,D,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), xor(B,A,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), xor(B,B,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), xor(B,C,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), xor(B,D,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), xor(C,A,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), xor(C,B,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), xor(C,C,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), xor(C,D,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), xor(D,A,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), xor(D,B,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), xor(D,C,E).] [C:-5,4,3,0 play([A,B,C,D]) :- or(B,B,B), xor(D,D,E).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), xor(A,D,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), xor(B,A,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), xor(B,B,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), xor(B,C,F).] [C:3,4,0,0 play([A,B,C,D]) :- xor(A,C,E), xor(B,D,E).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), xor(B,D,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), xor(C,A,E).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), xor(C,A,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), xor(C,B,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), xor(C,C,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), xor(C,D,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), xor(D,A,F).] [C:3,4,0,0 play([A,B,C,D]) :- xor(A,C,E), xor(D,B,E).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), xor(D,B,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), xor(D,C,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), xor(D,D,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), and(A,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), and(B,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), and(C,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), and(D,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), and(E,A,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), and(E,B,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), and(E,C,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), and(E,D,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), and(E,E,E).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), and(E,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), or(A,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), or(B,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), or(C,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), or(D,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), or(E,A,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), or(E,B,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), or(E,C,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), or(E,D,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), or(E,E,E).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), or(E,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), xor(A,E,C).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), xor(A,E,F).] [C:3,4,0,0 play([A,B,C,D]) :- xor(A,C,E), xor(B,E,D).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), xor(B,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), xor(C,E,A).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), xor(C,E,F).] [C:3,4,0,0 play([A,B,C,D]) :- xor(A,C,E), xor(D,E,B).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), xor(D,E,F).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), xor(E,A,C).] [C:-5,4,3,0 play([A,B,C,D]) :- xor(A,C,E), xor(E,A,F).] Resource limit exceeded [201 explored search nodes] f=3,p=4,n=0,h=0 [Result of search is] play([A,B,C,D]) :- xor(A,C,E), xor(B,D,E). [4 redundant clauses retracted] [Generalising play([5,3,15,3,10]).] [Most specific clause is] play([A,B,C,B,D]) :- and(A,A,A), and(A,B,E), and(A,C,A), and(A, D,F), and(B,A,E), and(B,B,B), and(B,C,B), and(B,D,G), and(C,A,A), and(C,B,B), and(C,C,C), and(C,D,D), and(D, A,F), and(D,B,G), and(D,C,D), and(D,D,D), or(A,A,A), or(A,B,H), or(A,C,C), or(A,D,C), or(B,A,H), or(B,B,B), or(B,C,C), or(B,D,I), or(C,A,C), or(C,B,C), or(C,C,C), or(C,D,C), or(D,A,C), or(D,B,I), or(D,C,C), or(D,D,D), xor(A,A,F), xor(A,B,J), xor(A,C,D), xor(A,D,C), xor(B, A,J), xor(B,B,F), xor(B,C,K), xor(B,D,L), xor(C,A,D), xor(C,B,K), xor(C,C,F), xor(C,D,A), xor(D,A,C), xor(D, B,L), xor(D,C,A), xor(D,D,F), and(A,E,E), and(A,G,F), and(A,F,F), and(A,H,A), and(A,I,E), and(A,J,M), and(A, L,E), and(A,K,M), and(B,E,E), and(B,G,G), and(B,F,F), and(B,H,B), and(B,I,B), and(B,J,G), and(B,L,E), and(B, K,F), and(C,E,E), and(C,G,G), and(C,F,F), and(C,H,H), and(C,I,I), and(C,J,J), and(C,L,L), and(C,K,K), and(D, E,F), and(D,G,G), and(D,F,F), and(D,H,G), and(D,I,D), and(D,J,G), and(D,L,N), and(D,K,N), and(E,A,E), and(E, B,E), and(E,C,E), and(E,D,F), and(E,E,E), and(E,G,F), and(E,F,F), and(E,H,E), and(E,I,E), and(E,J,F), and(E, L,E), and(E,K,F), and(G,A,F), and(G,B,G), and(G,C,G), and(G,D,G), and(G,E,F), and(G,G,G), and(G,F,F), and(G, H,G), and(G,I,G), and(G,J,G), and(G,L,F), and(G,K,F), and(F,A,F), and(F,B,F), and(F,C,F), and(F,D,F), and(F, E,F), and(F,G,F), and(F,F,F), and(F,H,F), and(F,I,F), and(F,J,F), and(F,L,F), and(F,K,F), and(H,A,A), and(H, B,B), and(H,C,H), and(H,D,G), and(H,E,E), and(H,G,G), and(H,F,F), and(H,H,H), and(H,I,B), and(H,J,J), and(H, L,E), and(H,K,M), and(I,A,E), and(I,B,B), and(I,C,I), and(I,D,D), and(I,E,E), and(I,G,G), and(I,F,F), and(I, H,B), and(I,I,I), and(I,J,G), and(I,L,L), and(I,K,N), and(J,A,M), and(J,B,G), and(J,C,J), and(J,D,G), and(J, E,F), and(J,G,G), and(J,F,F), and(J,H,J), and(J,I,G), and(J,J,J), and(J,L,F), and(J,K,M), and(L,A,E), and(L, B,E), and(L,C,L), and(L,D,N), and(L,E,E), and(L,G,F), and(L,F,F), and(L,H,E), and(L,I,L), and(L,J,F), and(L, L,L), and(L,K,N), and(K,A,M), and(K,B,F), and(K,C,K), and(K,D,N), and(K,E,F), and(K,G,F), and(K,F,F), and(K, H,M), and(K,I,N), and(K,J,M), and(K,L,N), and(K,K,K), or(A,E,A), or(A,G,H), or(A,F,A), or(A,H,H), or(A,I,C), or(A,J,H), or(A,L,O), or(A,K,O), or(B,E,B), or(B,G,B), or(B,F,B), or(B,H,H), or(B,I,I), or(B,J,H), or(B,L,I), or(B,K,C), or(C,E,C), or(C,G,C), or(C,F,C), or(C,H,C), or(C,I,C), or(C,J,C), or(C,L,C), or(C,K,C), or(D,E,I), or(D,G,D), or(D,F,D), or(D,H,C), or(D,I,I), or(D,J,P), or(D,L,I), or(D,K,P), or(E,A,A), or(E,B,B), or(E,C,C), or(E,D,I), or(E,E,E), or(E,G,B), or(E,F,E), or(E,H,H), or(E,I,I), or(E,J,H), or(E,L,L), or(E,K,O), or(G,A,H), or(G,B,B), or(G,C,C), or(G,D,D), or(G,E,B), or(G,G,G), or(G,F,G), or(G,H,H), or(G,I,I), or(G,J,J), or(G,L,I), or(G,K,P), or(F,A,A), or(F,B,B), or(F,C,C), or(F,D,D), or(F,E,E), or(F,G,G), or(F,F,F), or(F,H,H), or(F,I,I), or(F,J,J), or(F,L,L), or(F,K,K), or(H,A,H), or(H,B,H), or(H,C,C), or(H,D,C), or(H,E,H), or(H,G,H), or(H,F,H), or(H,H,H), or(H,I,C), or(H,J,H), or(H,L,C), or(H,K,C), or(I,A,C), or(I,B,I), or(I,C,C), or(I,D,I), or(I,E,I), or(I,G,I), or(I,F,I), or(I,H,C), or(I,I,I), or(I,J,C), or(I,L,I), or(I,K,C), or(J,A,H), or(J,B,H), or(J,C,C), or(J,D,P), or(J,E,H), or(J,G,J), or(J,F,J), or(J,H,H), or(J,I,C), or(J,J,J), or(J,L,C), or(J,K,P), or(L,A,O), or(L,B,I), or(L,C,C), or(L,D,I), or(L,E,L), or(L,G,I), or(L,F,L), or(L,H,C), or(L,I,I), or(L,J,C), or(L,L,L), or(L,K,O), or(K,A,O), or(K,B,C), or(K,C,C), or(K,D,P), or(K,E,O), or(K,G,P), or(K,F,K), or(K,H,C), or(K,I,C), or(K,J,P), or(K,L,O), or(K,K,K), xor(A,E,M), xor(A,G, H), xor(A,F,A), xor(A,H,G), xor(A,I,P), xor(A,J,B), xor(A, L,K), xor(A,K,L), xor(B,E,G), xor(B,G,E), xor(B,F,B), xor(B,H,M), xor(B,I,N), xor(B,J,A), xor(B,L,D), xor(B, K,C), xor(C,E,P), xor(C,G,O), xor(C,F,C), xor(C,H,N), xor(C,I,M), xor(C,J,L), xor(C,L,J), xor(C,K,B), xor(D, E,I), xor(D,G,N), xor(D,F,D), xor(D,H,O), xor(D,I,E), xor(D,J,K), xor(D,L,B), xor(D,K,J), xor(E,A,M), xor(E, B,G), xor(E,C,P), xor(E,D,I), xor(E,E,F), xor(E,G,B), xor(E,F,E), xor(E,H,J), xor(E,I,D), xor(E,J,H), xor(E, L,N), xor(E,K,O), xor(G,A,H), xor(G,B,E), xor(G,C,O), xor(G,D,N), xor(G,E,B), xor(G,G,F), xor(G,F,G), xor(G, H,A), xor(G,I,L), xor(G,J,M), xor(G,L,I), xor(G,K,P), xor(F,A,A), xor(F,B,B), xor(F,C,C), xor(F,D,D), xor(F, E,E), xor(F,G,G), xor(F,F,F), xor(F,H,H), xor(F,I,I), xor(F,J,J), xor(F,L,L), xor(F,K,K), xor(H,A,G), xor(H, B,M), xor(H,C,N), xor(H,D,O), xor(H,E,J), xor(H,G,A), xor(H,F,H), xor(H,H,F), xor(H,I,K), xor(H,J,E), xor(H, L,P), xor(H,K,I), xor(I,A,P), xor(I,B,N), xor(I,C,M), xor(I,D,E), xor(I,E,D), xor(I,G,L), xor(I,F,I), xor(I, H,K), xor(I,I,F), xor(I,J,O), xor(I,L,G), xor(I,K,H), xor(J,A,B), xor(J,B,A), xor(J,C,L), xor(J,D,K), xor(J, E,H), xor(J,G,M), xor(J,F,J), xor(J,H,E), xor(J,I,O), xor(J,J,F), xor(J,L,C), xor(J,K,D), xor(L,A,K), xor(L, B,D), xor(L,C,J), xor(L,D,B), xor(L,E,N), xor(L,G,I), xor(L,F,L), xor(L,H,P), xor(L,I,G), xor(L,J,C), xor(L, L,F), xor(L,K,A), xor(K,A,L), xor(K,B,C), xor(K,C,B), xor(K,D,J), xor(K,E,O), xor(K,G,P), xor(K,F,K), xor(K, H,I), xor(K,I,H), xor(K,J,D), xor(K,L,A), xor(K,K,F), and(A,M,M), and(A,N,F), and(A,O,A), and(A,P,M), and(B, M,F), and(B,N,F), and(B,O,E), and(B,P,G), and(C,M,M), and(C,N,N), and(C,O,O), and(C,P,P), and(D,M,F), and(D, N,N), and(D,O,N), and(D,P,D), and(E,M,F), and(E,N,F), and(E,O,E), and(E,P,F), and(G,M,F), and(G,N,F), and(G, O,F), and(G,P,G), and(F,M,F), and(F,N,F), and(F,O,F), and(F,P,F), and(H,M,M), and(H,N,F), and(H,O,A), and(H, P,J), and(I,M,F), and(I,N,N), and(I,O,L), and(I,P,D), and(J,M,M), and(J,N,F), and(J,O,M), and(J,P,J), and(L, M,F), and(L,N,N), and(L,O,L), and(L,P,N), and(K,M,M), and(K,N,N), and(K,O,K), and(K,P,K), and(M,A,M), and(M, B,F), and(M,C,M), and(M,D,F), and(M,E,F), and(M,G,F), and(M,F,F), and(M,H,M), and(M,I,F), and(M,J,M), and(M, L,F), and(M,K,M), and(M,M,M), and(M,N,F), and(M,O,M), and(M,P,M), and(N,A,F), and(N,B,F), and(N,C,N), and(N, D,N), and(N,E,F), and(N,G,F), and(N,F,F), and(N,H,F), and(N,I,N), and(N,J,F), and(N,L,N), and(N,K,N), and(N, M,F), and(N,N,N), and(N,O,N), and(N,P,N), and(O,A,A), and(O,B,E), and(O,C,O), and(O,D,N), and(O,E,E), and(O, G,F), and(O,F,F), and(O,H,A), and(O,I,L), and(O,J,M), and(O,L,L), and(O,K,K), and(O,M,M), and(O,N,N), and(O, O,O), and(O,P,K), and(P,A,M), and(P,B,G), and(P,C,P), and(P,D,D), and(P,E,F), and(P,G,G), and(P,F,F), and(P, H,J), and(P,I,D), and(P,J,J), and(P,L,N), and(P,K,K), and(P,M,M), and(P,N,N), and(P,O,K), and(P,P,P), or(A, M,A), or(A,N,O), or(A,O,O), or(A,P,C), or(B,M,H), or(B, N,I), or(B,O,C), or(B,P,C), or(C,M,C), or(C,N,C), or(C, O,C), or(C,P,C), or(D,M,P), or(D,N,D), or(D,O,C), or(D, P,P), or(E,M,A), or(E,N,L), or(E,O,O), or(E,P,C), or(G, M,J), or(G,N,D), or(G,O,C), or(G,P,P), or(F,M,M), or(F, N,N), or(F,O,O), or(F,P,P), or(H,M,H), or(H,N,C), or(H, O,C), or(H,P,C), or(I,M,C), or(I,N,I), or(I,O,C), or(I, P,C), or(J,M,J), or(J,N,P), or(J,O,C), or(J,P,P), or(L, M,O), or(L,N,L), or(L,O,O), or(L,P,C), or(K,M,K), or(K, N,K), or(K,O,O), or(K,P,P), or(M,A,A), or(M,B,H), or(M, C,C), or(M,D,P), or(M,E,A), or(M,G,J), or(M,F,M), or(M, H,H), or(M,I,C), or(M,J,J), or(M,L,O), or(M,K,K), or(M, M,M), or(M,N,K), or(M,O,O), or(M,P,P), or(N,A,O), or(N, B,I), or(N,C,C), or(N,D,D), or(N,E,L), or(N,G,D), or(N, F,N), or(N,H,C), or(N,I,I), or(N,J,P), or(N,L,L), or(N, K,K), or(N,M,K), or(N,N,N), or(N,O,O), or(N,P,P), or(O, A,O), or(O,B,C), or(O,C,C), or(O,D,C), or(O,E,O), or(O, G,C), or(O,F,O), or(O,H,C), or(O,I,C), or(O,J,C), or(O, L,O), or(O,K,O), or(O,M,O), or(O,N,O), or(O,O,O), or(O, P,C), or(P,A,C), or(P,B,C), or(P,C,C), or(P,D,P), or(P, E,C), or(P,G,P), or(P,F,P), or(P,H,C), or(P,I,C), or(P, J,P), or(P,L,C), or(P,K,P), or(P,M,P), or(P,N,P), or(P, O,C), or(P,P,P), xor(A,M,E), xor(A,N,O), xor(A,O,N), xor(A,P,I), xor(B,M,H), xor(B,N,I), xor(B,O,P), xor(B, P,O), xor(C,M,I), xor(C,N,H), xor(C,O,G), xor(C,P,E), xor(D,M,P), xor(D,N,G), xor(D,O,H), xor(D,P,M), xor(E, M,A), xor(E,N,L), xor(E,O,K), xor(E,P,C), xor(G,M,J), xor(G,N,D), xor(G,O,C), xor(G,P,K), xor(F,M,M), xor(F, N,N), xor(F,O,O), xor(F,P,P), xor(H,M,B), xor(H,N,C), xor(H,O,D), xor(H,P,L), xor(I,M,C), xor(I,N,B), xor(I, O,J), xor(I,P,A), xor(J,M,G), xor(J,N,P), xor(J,O,I), xor(J,P,N), xor(L,M,O), xor(L,N,E), xor(L,O,M), xor(L, P,H), xor(K,M,N), xor(K,N,M), xor(K,O,E), xor(K,P,G), xor(M,A,E), xor(M,B,H), xor(M,C,I), xor(M,D,P), xor(M, E,A), xor(M,G,J), xor(M,F,M), xor(M,H,B), xor(M,I,C), xor(M,J,G), xor(M,L,O), xor(M,K,N), xor(M,M,F), xor(M, N,K), xor(M,O,L), xor(M,P,D), xor(N,A,O), xor(N,B,I), xor(N,C,H), xor(N,D,G), xor(N,E,L), xor(N,G,D), xor(N, F,N), xor(N,H,C), xor(N,I,B), xor(N,J,P), xor(N,L,E), xor(N,K,M), xor(N,M,K), xor(N,N,F), xor(N,O,A), xor(N, P,J), xor(O,A,N), xor(O,B,P), xor(O,C,G), xor(O,D,H), xor(O,E,K), xor(O,G,C), xor(O,F,O), xor(O,H,D), xor(O, I,J), xor(O,J,I), xor(O,L,M), xor(O,K,E), xor(O,M,L), xor(O,N,A), xor(O,O,F), xor(O,P,B), xor(P,A,I), xor(P, B,O), xor(P,C,E), xor(P,D,M), xor(P,E,C), xor(P,G,K), xor(P,F,P), xor(P,H,L), xor(P,I,A), xor(P,J,N), xor(P, L,H), xor(P,K,G), xor(P,M,D), xor(P,N,J), xor(P,O,B), xor(P,P,F). [C:0,1,0,0 play([A,B,C,B,D]).] [C:-7,3,4,0 play([A,B,C,D,E]).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(A,A,A).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(A,A,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(A,B,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(A,D,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(A,C,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(A,E,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(B,A,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(D,A,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(B,B,B).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(B,B,F).] [C:0,2,0,0 play([A,B,C,D,E]) :- and(D,B,B).] [C:-10,2,2,0 play([A,B,C,D,E]) :- and(D,B,D).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(D,B,F).] [C:0,2,0,0 play([A,B,C,D,E]) :- and(B,D,B).] [C:-10,2,2,0 play([A,B,C,D,E]) :- and(B,D,D).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(B,D,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(D,D,D).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(D,D,F).] [C:-5,2,1,0 play([A,B,C,D,E]) :- and(B,C,B).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(B,C,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(D,C,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(B,E,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(D,E,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(C,A,F).] [C:-5,2,1,0 play([A,B,C,D,E]) :- and(C,B,B).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(C,B,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(C,D,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(C,C,C).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(C,C,F).] [C:-10,2,2,0 play([A,B,C,D,E]) :- and(C,E,E).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(C,E,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(E,A,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(E,B,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(E,D,F).] [C:-10,2,2,0 play([A,B,C,D,E]) :- and(E,C,E).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(E,C,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(E,E,E).] [C:-10,3,4,0 play([A,B,C,D,E]) :- and(E,E,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(A,A,A).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(A,A,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(A,B,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(A,D,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(A,C,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(A,E,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(B,A,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(D,A,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(B,B,B).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(B,B,F).] [C:-10,2,2,0 play([A,B,C,D,E]) :- or(D,B,B).] [C:0,2,0,0 play([A,B,C,D,E]) :- or(D,B,D).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(D,B,F).] [C:-10,2,2,0 play([A,B,C,D,E]) :- or(B,D,B).] [C:0,2,0,0 play([A,B,C,D,E]) :- or(B,D,D).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(B,D,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(D,D,D).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(D,D,F).] [C:-5,2,1,0 play([A,B,C,D,E]) :- or(B,C,C).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(B,C,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(D,C,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(B,E,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(D,E,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(C,A,F).] [C:-5,2,1,0 play([A,B,C,D,E]) :- or(C,B,C).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(C,B,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(C,D,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(C,C,C).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(C,C,F).] [C:-10,2,2,0 play([A,B,C,D,E]) :- or(C,E,C).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(C,E,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(E,A,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(E,B,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(E,D,F).] [C:-10,2,2,0 play([A,B,C,D,E]) :- or(E,C,C).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(E,C,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(E,E,E).] [C:-10,3,4,0 play([A,B,C,D,E]) :- or(E,E,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(A,A,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(A,B,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(A,D,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(A,C,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(A,E,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(B,A,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(D,A,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(B,B,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(D,B,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(B,D,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(D,D,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(D,C,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(B,E,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(D,E,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(C,A,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(C,B,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(C,D,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(C,C,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(C,E,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(E,A,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(E,B,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(E,D,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(E,C,F).] [C:-10,3,4,0 play([A,B,C,D,E]) :- xor(E,E,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(A,A,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(A,B,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(A,D,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(A,C,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(A,E,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(B,A,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(D,A,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(B,B,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(D,B,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(B,D,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(D,D,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(B,C,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(D,C,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(B,E,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(D,E,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(C,A,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(C,B,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(C,D,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(C,C,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(C,E,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(E,A,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(E,B,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(E,D,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(E,C,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(E,E,E), xor(E,E,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), or(C,E,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), or(E,A,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), or(E,B,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), or(E,D,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), or(E,C,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), or(E,E,E).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), or(E,E,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(A,A,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(A,B,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(A,D,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(A,C,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(A,E,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(B,A,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(D,A,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(B,B,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(D,B,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(B,D,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(D,D,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(B,C,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(D,C,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(B,E,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(D,E,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(C,A,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(C,B,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(C,D,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(C,C,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(C,E,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(E,A,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(E,B,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(E,D,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(E,C,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- or(C,C,C), xor(E,E,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), xor(B,E,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), xor(D,E,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), xor(C,A,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), xor(C,B,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), xor(C,B,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), xor(C,C,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), xor(C,E,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), xor(E,A,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), xor(E,B,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), xor(E,D,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), xor(E,C,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), xor(E,E,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), and(A,F,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), and(B,F,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), and(D,F,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), and(E,F,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), and(F,A,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), and(F,B,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), and(F,D,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), and(F,E,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), and(F,F,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), and(F,F,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), or(A,F,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), or(B,F,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), or(D,F,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), or(C,F,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), or(E,F,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), or(F,A,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), or(F,B,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), or(F,D,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), or(F,C,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), or(F,E,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), or(F,F,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), or(F,F,F).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), xor(A,F,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), xor(B,F,C).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), xor(B,F,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), xor(D,F,G).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), xor(C,F,B).] [C:-13,3,4,0 play([A,B,C,D,E]) :- xor(B,C,F), xor(C,F,G).] Resource limit exceeded [200 explored search nodes] f=0,p=1,n=0,h=0 [Result of search is] play([A,B,C,B,D]). [1 redundant clauses retracted] [Generalising play([8,13,5,12,12]).] [Most specific clause is] play([A,B,C,D,D]) :- and(A,A,A), and(A,B,A), and(A,C,E), and(A, D,A), and(B,A,A), and(B,B,B), and(B,C,C), and(B,D,D), and(C,A,E), and(C,B,C), and(C,C,C), and(C,D,F), and(D, A,A), and(D,B,D), and(D,C,F), and(D,D,D), or(A,A,A), or(A,B,B), or(A,C,B), or(A,D,D), or(B,A,B), or(B,B,B), or(B,C,B), or(B,D,B), or(C,A,B), or(C,B,B), or(C,C,C), or(C,D,B), or(D,A,D), or(D,B,B), or(D,C,B), or(D,D,D), xor(A,A,E), xor(A,B,C), xor(A,C,B), xor(A,D,F), xor(B, A,C), xor(B,B,E), xor(B,C,A), xor(B,D,G), xor(C,A,B), xor(C,B,A), xor(C,C,E), xor(C,D,H), xor(D,A,F), xor(D, B,G), xor(D,C,H), xor(D,D,E), and(A,E,E), and(A,F,E), and(A,H,A), and(A,G,E), and(B,E,E), and(B,F,F), and(B, H,H), and(B,G,G), and(C,E,E), and(C,F,F), and(C,H,G), and(C,G,G), and(D,E,E), and(D,F,F), and(D,H,A), and(D, G,E), and(E,A,E), and(E,B,E), and(E,C,E), and(E,D,E), and(E,E,E), and(E,F,E), and(E,H,E), and(E,G,E), and(F, A,E), and(F,B,F), and(F,C,F), and(F,D,F), and(F,E,E), and(F,F,F), and(F,H,E), and(F,G,E), and(H,A,A), and(H, B,H), and(H,C,G), and(H,D,A), and(H,E,E), and(H,F,E), and(H,H,H), and(H,G,G), and(G,A,E), and(G,B,G), and(G, C,G), and(G,D,E), and(G,E,E), and(G,F,E), and(G,H,G), and(G,G,G), or(A,E,A), or(A,F,D), or(A,H,H), or(A,G, H), or(B,E,B), or(B,F,B), or(B,H,B), or(B,G,B), or(C, E,C), or(C,F,C), or(C,H,B), or(C,G,C), or(D,E,D), or(D, F,D), or(D,H,B), or(D,G,B), or(E,A,A), or(E,B,B), or(E, C,C), or(E,D,D), or(E,E,E), or(E,F,F), or(E,H,H), or(E, G,G), or(F,A,D), or(F,B,B), or(F,C,C), or(F,D,D), or(F, E,F), or(F,F,F), or(F,H,B), or(F,G,C), or(H,A,H), or(H, B,B), or(H,C,B), or(H,D,B), or(H,E,H), or(H,F,B), or(H, H,H), or(H,G,H), or(G,A,H), or(G,B,B), or(G,C,C), or(G, D,B), or(G,E,G), or(G,F,C), or(G,H,H), or(G,G,G), xor(A, E,A), xor(A,F,D), xor(A,H,G), xor(A,G,H), xor(B,E,B), xor(B,F,H), xor(B,H,F), xor(B,G,D), xor(C,E,C), xor(C, F,G), xor(C,H,D), xor(C,G,F), xor(D,E,D), xor(D,F,A), xor(D,H,C), xor(D,G,B), xor(E,A,A), xor(E,B,B), xor(E, C,C), xor(E,D,D), xor(E,E,E), xor(E,F,F), xor(E,H,H), xor(E,G,G), xor(F,A,D), xor(F,B,H), xor(F,C,G), xor(F, D,A), xor(F,E,F), xor(F,F,E), xor(F,H,B), xor(F,G,C), xor(H,A,G), xor(H,B,F), xor(H,C,D), xor(H,D,C), xor(H, E,H), xor(H,F,B), xor(H,H,E), xor(H,G,A), xor(G,A,H), xor(G,B,D), xor(G,C,F), xor(G,D,B), xor(G,E,G), xor(G, F,C), xor(G,H,A), xor(G,G,E). [C:0,1,0,0 play([A,B,C,D,D]).] [C:-7,3,4,0 play([A,B,C,D,E]).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(A,A,A).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(A,A,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(A,B,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(A,C,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(A,D,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(A,E,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(B,A,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(B,B,B).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(B,B,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(B,C,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(B,D,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(B,E,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(C,A,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(C,B,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(C,C,C).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(C,C,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(C,D,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(C,E,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(D,A,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(E,A,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(D,B,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(E,B,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(D,C,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(E,C,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(D,D,D).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(D,D,F).] [C:0,2,0,0 play([A,B,C,D,E]) :- and(E,D,E).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(E,D,F).] [C:0,2,0,0 play([A,B,C,D,E]) :- and(D,E,E).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(D,E,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(E,E,E).] [C:-20,2,4,0 play([A,B,C,D,E]) :- and(E,E,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(A,A,A).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(A,A,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(A,B,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(A,C,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(A,D,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(A,E,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(B,A,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(B,B,B).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(B,B,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(B,C,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(B,D,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(B,E,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(C,A,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(C,B,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(C,C,C).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(C,C,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(C,D,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(C,E,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(D,A,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(E,A,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(D,B,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(E,B,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(D,C,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(E,C,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(D,D,D).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(D,D,F).] [C:0,2,0,0 play([A,B,C,D,E]) :- or(E,D,D).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(E,D,F).] [C:0,2,0,0 play([A,B,C,D,E]) :- or(D,E,D).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(D,E,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(E,E,E).] [C:-20,2,4,0 play([A,B,C,D,E]) :- or(E,E,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(A,A,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(A,B,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(A,C,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(A,D,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(A,E,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(B,A,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(B,B,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(B,C,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(B,D,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(B,E,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(C,A,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(C,B,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(C,C,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(C,D,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(C,E,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(D,A,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(E,A,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(D,B,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(E,B,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(D,C,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(E,C,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(D,D,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(E,D,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(D,E,F).] [C:-20,2,4,0 play([A,B,C,D,E]) :- xor(E,E,F).] [91 explored search nodes] f=0,p=1,n=0,h=0 [Result of search is] play([A,B,C,D,D]). [1 redundant clauses retracted] [Generalising play([11,4,14,7,6]).] [Most specific clause is] play([A,B,C,D,E]) :- and(A,A,A), and(A,B,F), and(A,C,G), and(A, D,H), and(A,E,I), and(B,A,F), and(B,B,B), and(B,C,B), and(B,D,B), and(B,E,B), and(C,A,G), and(C,B,B), and(C, C,C), and(C,D,E), and(C,E,E), and(D,A,H), and(D,B,B), and(D,C,E), and(D,D,D), and(D,E,E), and(E,A,I), and(E, B,B), and(E,C,E), and(E,D,E), and(E,E,E), or(A,A,A), or(A,B,J), or(A,C,J), or(A,D,J), or(A,E,J), or(B,A,J), or(B,B,B), or(B,C,C), or(B,D,D), or(B,E,E), or(C,A,J), or(C,B,C), or(C,C,C), or(C,D,J), or(C,E,C), or(D,A,J), or(D,B,D), or(D,C,J), or(D,D,D), or(D,E,D), or(E,A,J), or(E,B,E), or(E,C,C), or(E,D,D), or(E,E,E), xor(A,A, F), xor(A,B,J), xor(A,C,K), xor(A,D,L), xor(A,E,M), xor(B, A,J), xor(B,B,F), xor(B,C,G), xor(B,D,H), xor(B,E,I), xor(C,A,K), xor(C,B,G), xor(C,C,F), xor(C,D,N), xor(C, E,O), xor(D,A,L), xor(D,B,H), xor(D,C,N), xor(D,D,F), xor(D,E,P), xor(E,A,M), xor(E,B,I), xor(E,C,O), xor(E, D,P), xor(E,E,F), and(A,F,F), and(A,I,I), and(A,H,H), and(A,G,G), and(A,J,A), and(A,P,P), and(A,M,N), and(A, O,O), and(A,L,O), and(A,N,N), and(A,K,P), and(B,F,F), and(B,I,F), and(B,H,F), and(B,G,F), and(B,J,B), and(B, P,F), and(B,M,B), and(B,O,F), and(B,L,B), and(B,N,F), and(B,K,B), and(C,F,F), and(C,I,I), and(C,H,I), and(C, G,G), and(C,J,C), and(C,P,F), and(C,M,L), and(C,O,O), and(C,L,L), and(C,N,O), and(C,K,B), and(D,F,F), and(D, I,I), and(D,H,H), and(D,G,I), and(D,J,D), and(D,P,P), and(D,M,K), and(D,O,F), and(D,L,B), and(D,N,P), and(D, K,K), and(E,F,F), and(E,I,I), and(E,H,I), and(E,G,I), and(E,J,E), and(E,P,F), and(E,M,B), and(E,O,F), and(E, L,B), and(E,N,F), and(E,K,B), and(F,A,F), and(F,B,F), and(F,C,F), and(F,D,F), and(F,E,F), and(F,F,F), and(F, I,F), and(F,H,F), and(F,G,F), and(F,J,F), and(F,P,F), and(F,M,F), and(F,O,F), and(F,L,F), and(F,N,F), and(F, K,F), and(I,A,I), and(I,B,F), and(I,C,I), and(I,D,I), and(I,E,I), and(I,F,F), and(I,I,I), and(I,H,I), and(I, G,I), and(I,J,I), and(I,P,F), and(I,M,F), and(I,O,F), and(I,L,F), and(I,N,F), and(I,K,F), and(H,A,H), and(H, B,F), and(H,C,I), and(H,D,H), and(H,E,I), and(H,F,F), and(H,I,I), and(H,H,H), and(H,G,I), and(H,J,H), and(H, P,P), and(H,M,P), and(H,O,F), and(H,L,F), and(H,N,P), and(H,K,P), and(G,A,G), and(G,B,F), and(G,C,G), and(G, D,I), and(G,E,I), and(G,F,F), and(G,I,I), and(G,H,I), and(G,G,G), and(G,J,G), and(G,P,F), and(G,M,O), and(G, O,O), and(G,L,O), and(G,N,O), and(G,K,F), and(J,A,A), and(J,B,B), and(J,C,C), and(J,D,D), and(J,E,E), and(J, F,F), and(J,I,I), and(J,H,H), and(J,G,G), and(J,J,J), and(J,P,P), and(J,M,M), and(J,O,O), and(J,L,L), and(J, N,N), and(J,K,K), and(P,A,P), and(P,B,F), and(P,C,F), and(P,D,P), and(P,E,F), and(P,F,F), and(P,I,F), and(P, H,P), and(P,G,F), and(P,J,P), and(P,P,P), and(P,M,P), and(P,O,F), and(P,L,F), and(P,N,P), and(P,K,P), and(M, A,N), and(M,B,B), and(M,C,L), and(M,D,K), and(M,E,B), and(M,F,F), and(M,I,F), and(M,H,P), and(M,G,O), and(M, J,M), and(M,P,P), and(M,M,M), and(M,O,O), and(M,L,L), and(M,N,N), and(M,K,K), and(O,A,O), and(O,B,F), and(O, C,O), and(O,D,F), and(O,E,F), and(O,F,F), and(O,I,F), and(O,H,F), and(O,G,O), and(O,J,O), and(O,P,F), and(O, M,O), and(O,O,O), and(O,L,O), and(O,N,O), and(O,K,F), and(L,A,O), and(L,B,B), and(L,C,L), and(L,D,B), and(L, E,B), and(L,F,F), and(L,I,F), and(L,H,F), and(L,G,O), and(L,J,L), and(L,P,F), and(L,M,L), and(L,O,O), and(L, L,L), and(L,N,O), and(L,K,B), and(N,A,N), and(N,B,F), and(N,C,O), and(N,D,P), and(N,E,F), and(N,F,F), and(N, I,F), and(N,H,P), and(N,G,O), and(N,J,N), and(N,P,P), and(N,M,N), and(N,O,O), and(N,L,O), and(N,N,N), and(N, K,P), and(K,A,P), and(K,B,B), and(K,C,B), and(K,D,K), and(K,E,B), and(K,F,F), and(K,I,F), and(K,H,P), and(K, G,F), and(K,J,K), and(K,P,P), and(K,M,K), and(K,O,F), and(K,L,B), and(K,N,P), and(K,K,K), or(A,F,A), or(A, I,A), or(A,H,A), or(A,G,A), or(A,J,J), or(A,P,A), or(A, M,J), or(A,O,A), or(A,L,J), or(A,N,A), or(A,K,J), or(B, F,B), or(B,I,E), or(B,H,D), or(B,G,C), or(B,J,J), or(B, P,K), or(B,M,M), or(B,O,L), or(B,L,L), or(B,N,M), or(B, K,K), or(C,F,C), or(C,I,C), or(C,H,J), or(C,G,C), or(C, J,J), or(C,P,J), or(C,M,J), or(C,O,C), or(C,L,C), or(C, N,J), or(C,K,J), or(D,F,D), or(D,I,D), or(D,H,D), or(D, G,J), or(D,J,J), or(D,P,D), or(D,M,J), or(D,O,J), or(D, L,J), or(D,N,J), or(D,K,D), or(E,F,E), or(E,I,E), or(E, H,D), or(E,G,C), or(E,J,J), or(E,P,D), or(E,M,J), or(E, O,C), or(E,L,C), or(E,N,J), or(E,K,D), or(F,A,A), or(F, B,B), or(F,C,C), or(F,D,D), or(F,E,E), or(F,F,F), or(F, I,I), or(F,H,H), or(F,G,G), or(F,J,J), or(F,P,P), or(F, M,M), or(F,O,O), or(F,L,L), or(F,N,N), or(F,K,K), or(I, A,A), or(I,B,E), or(I,C,C), or(I,D,D), or(I,E,E), or(I, F,I), or(I,I,I), or(I,H,H), or(I,G,G), or(I,J,J), or(I, P,H), or(I,M,J), or(I,O,G), or(I,L,C), or(I,N,A), or(I, K,D), or(H,A,A), or(H,B,D), or(H,C,J), or(H,D,D), or(H, E,D), or(H,F,H), or(H,I,H), or(H,H,H), or(H,G,A), or(H, J,J), or(H,P,H), or(H,M,J), or(H,O,A), or(H,L,J), or(H, N,A), or(H,K,D), or(G,A,A), or(G,B,C), or(G,C,C), or(G, D,J), or(G,E,C), or(G,F,G), or(G,I,G), or(G,H,A), or(G, G,G), or(G,J,J), or(G,P,A), or(G,M,J), or(G,O,G), or(G, L,C), or(G,N,A), or(G,K,J), or(J,A,J), or(J,B,J), or(J, C,J), or(J,D,J), or(J,E,J), or(J,F,J), or(J,I,J), or(J, H,J), or(J,G,J), or(J,J,J), or(J,P,J), or(J,M,J), or(J, O,J), or(J,L,J), or(J,N,J), or(J,K,J), or(P,A,A), or(P, B,K), or(P,C,J), or(P,D,D), or(P,E,D), or(P,F,P), or(P, I,H), or(P,H,H), or(P,G,A), or(P,J,J), or(P,P,P), or(P, M,M), or(P,O,N), or(P,L,M), or(P,N,N), or(P,K,K), or(M, A,J), or(M,B,M), or(M,C,J), or(M,D,J), or(M,E,J), or(M, F,M), or(M,I,J), or(M,H,J), or(M,G,J), or(M,J,J), or(M, P,M), or(M,M,M), or(M,O,M), or(M,L,M), or(M,N,M), or(M, K,M), or(O,A,A), or(O,B,L), or(O,C,C), or(O,D,J), or(O, E,C), or(O,F,O), or(O,I,G), or(O,H,A), or(O,G,G), or(O, J,J), or(O,P,N), or(O,M,M), or(O,O,O), or(O,L,L), or(O, N,N), or(O,K,M), or(L,A,J), or(L,B,L), or(L,C,C), or(L, D,J), or(L,E,C), or(L,F,L), or(L,I,C), or(L,H,J), or(L, G,C), or(L,J,J), or(L,P,M), or(L,M,M), or(L,O,L), or(L, L,L), or(L,N,M), or(L,K,M), or(N,A,A), or(N,B,M), or(N, C,J), or(N,D,J), or(N,E,J), or(N,F,N), or(N,I,A), or(N, H,A), or(N,G,A), or(N,J,J), or(N,P,N), or(N,M,M), or(N, O,N), or(N,L,M), or(N,N,N), or(N,K,M), or(K,A,J), or(K, B,K), or(K,C,J), or(K,D,D), or(K,E,D), or(K,F,K), or(K, I,D), or(K,H,D), or(K,G,J), or(K,J,J), or(K,P,K), or(K, M,M), or(K,O,M), or(K,L,M), or(K,N,M), or(K,K,K), xor(A, F,A), xor(A,I,N), xor(A,H,O), xor(A,G,P), xor(A,J,B), xor(A,P,G), xor(A,M,E), xor(A,O,H), xor(A,L,D), xor(A, N,I), xor(A,K,C), xor(B,F,B), xor(B,I,E), xor(B,H,D), xor(B,G,C), xor(B,J,A), xor(B,P,K), xor(B,M,N), xor(B, O,L), xor(B,L,O), xor(B,N,M), xor(B,K,P), xor(C,F,C), xor(C,I,L), xor(C,H,M), xor(C,G,B), xor(C,J,P), xor(C, P,J), xor(C,M,H), xor(C,O,E), xor(C,L,I), xor(C,N,D), xor(C,K,A), xor(D,F,D), xor(D,I,K), xor(D,H,B), xor(D, G,M), xor(D,J,O), xor(D,P,E), xor(D,M,G), xor(D,O,J), xor(D,L,A), xor(D,N,C), xor(D,K,I), xor(E,F,E), xor(E, I,B), xor(E,H,K), xor(E,G,L), xor(E,J,N), xor(E,P,D), xor(E,M,A), xor(E,O,C), xor(E,L,G), xor(E,N,J), xor(E, K,H), xor(F,A,A), xor(F,B,B), xor(F,C,C), xor(F,D,D), xor(F,E,E), xor(F,F,F), xor(F,I,I), xor(F,H,H), xor(F, G,G), xor(F,J,J), xor(F,P,P), xor(F,M,M), xor(F,O,O), xor(F,L,L), xor(F,N,N), xor(F,K,K), xor(I,A,N), xor(I, B,E), xor(I,C,L), xor(I,D,K), xor(I,E,B), xor(I,F,I), xor(I,I,F), xor(I,H,P), xor(I,G,O), xor(I,J,M), xor(I, P,H), xor(I,M,J), xor(I,O,G), xor(I,L,C), xor(I,N,A), xor(I,K,D), xor(H,A,O), xor(H,B,D), xor(H,C,M), xor(H, D,B), xor(H,E,K), xor(H,F,H), xor(H,I,P), xor(H,H,F), xor(H,G,N), xor(H,J,L), xor(H,P,I), xor(H,M,C), xor(H, O,A), xor(H,L,J), xor(H,N,G), xor(H,K,E), xor(G,A,P), xor(G,B,C), xor(G,C,B), xor(G,D,M), xor(G,E,L), xor(G, F,G), xor(G,I,O), xor(G,H,N), xor(G,G,F), xor(G,J,K), xor(G,P,A), xor(G,M,D), xor(G,O,I), xor(G,L,E), xor(G, N,H), xor(G,K,J), xor(J,A,B), xor(J,B,A), xor(J,C,P), xor(J,D,O), xor(J,E,N), xor(J,F,J), xor(J,I,M), xor(J, H,L), xor(J,G,K), xor(J,J,F), xor(J,P,C), xor(J,M,I), xor(J,O,D), xor(J,L,H), xor(J,N,E), xor(J,K,G), xor(P, A,G), xor(P,B,K), xor(P,C,J), xor(P,D,E), xor(P,E,D), xor(P,F,P), xor(P,I,H), xor(P,H,I), xor(P,G,A), xor(P, J,C), xor(P,P,F), xor(P,M,L), xor(P,O,N), xor(P,L,M), xor(P,N,O), xor(P,K,B), xor(M,A,E), xor(M,B,N), xor(M, C,H), xor(M,D,G), xor(M,E,A), xor(M,F,M), xor(M,I,J), xor(M,H,C), xor(M,G,D), xor(M,J,I), xor(M,P,L), xor(M, M,F), xor(M,O,K), xor(M,L,P), xor(M,N,B), xor(M,K,O), xor(O,A,H), xor(O,B,L), xor(O,C,E), xor(O,D,J), xor(O, E,C), xor(O,F,O), xor(O,I,G), xor(O,H,A), xor(O,G,I), xor(O,J,D), xor(O,P,N), xor(O,M,K), xor(O,O,F), xor(O, L,B), xor(O,N,P), xor(O,K,M), xor(L,A,D), xor(L,B,O), xor(L,C,I), xor(L,D,A), xor(L,E,G), xor(L,F,L), xor(L, I,C), xor(L,H,J), xor(L,G,E), xor(L,J,H), xor(L,P,M), xor(L,M,P), xor(L,O,B), xor(L,L,F), xor(L,N,K), xor(L, K,N), xor(N,A,I), xor(N,B,M), xor(N,C,D), xor(N,D,C), xor(N,E,J), xor(N,F,N), xor(N,I,A), xor(N,H,G), xor(N, G,H), xor(N,J,E), xor(N,P,O), xor(N,M,B), xor(N,O,P), xor(N,L,K), xor(N,N,F), xor(N,K,L), xor(K,A,C), xor(K, B,P), xor(K,C,A), xor(K,D,I), xor(K,E,H), xor(K,F,K), xor(K,I,D), xor(K,H,E), xor(K,G,J), xor(K,J,G), xor(K, P,B), xor(K,M,O), xor(K,O,M), xor(K,L,N), xor(K,N,L), xor(K,K,F). [C:-7,3,4,0 play([A,B,C,D,E]).] [1 explored search nodes] f=-0,p=10,n=10,h=0 [No compression] play([11,4,14,7,6]). play([A,B,C]) :- or(A,B,C). play([A,B,C,D]) :- xor(A,C,E), xor(B,D,E). play([A,B,C,B,D]). play([A,B,C,D,D]). [Total number of clauses = 5] yes [:- generalise(play/1)? - Time taken 2.57s] |- [False negative:]play([1,3,2]). [False negative:]play([1,5,4]). [False negative:]play([1,7,6]). [False negative:]play([1,9,8]). [False negative:]play([1,11,10]). [False negative:]play([1,13,12]). [False negative:]play([2,3,1]). [False negative:]play([2,6,4]). [False negative:]play([2,7,5]). [False negative:]play([2,10,8]). [False negative:]play([2,11,9]). [False negative:]play([2,14,12]). [False negative:]play([3,1,2]). [False negative:]play([3,2,1]). [False negative:]play([3,5,6]). [False negative:]play([3,6,5]). [False negative:]play([3,7,4]). [False negative:]play([3,9,10]). [False negative:]play([3,13,14]). [False negative:]play([3,14,13]). [False negative:]play([3,15,12]). [False negative:]play([4,5,1]). [False negative:]play([4,6,2]). [False negative:]play([4,7,3]). [False negative:]play([4,12,8]). [False negative:]play([4,13,9]). [False negative:]play([4,14,10]). [False negative:]play([4,15,11]). [False negative:]play([5,1,4]). [False negative:]play([5,3,6]). [False negative:]play([5,4,1]). [False negative:]play([5,6,3]). [False negative:]play([5,7,2]). [False negative:]play([5,11,14]). [False negative:]play([5,12,9]). [False negative:]play([5,13,8]). [False negative:]play([5,14,11]). [False negative:]play([5,15,10]). [False negative:]play([6,2,4]). [False negative:]play([6,3,5]). [False negative:]play([6,4,2]). [False negative:]play([6,5,3]). [False negative:]play([6,10,12]). [False negative:]play([6,11,13]). [False negative:]play([6,12,10]). [False negative:]play([6,13,11]). [False negative:]play([6,14,8]). [False negative:]play([6,15,9]). [False negative:]play([7,1,6]). [False negative:]play([7,2,5]). [False negative:]play([7,3,4]). [False negative:]play([7,5,2]). [False negative:]play([7,9,14]). [False negative:]play([7,12,11]). [False negative:]play([7,13,10]). [False negative:]play([7,14,9]). [False negative:]play([7,15,8]). [False negative:]play([8,9,1]). [False negative:]play([8,10,2]). [False negative:]play([8,11,3]). [False negative:]play([8,12,4]). [False negative:]play([8,13,5]). [False negative:]play([8,14,6]). [False negative:]play([8,15,7]). [False negative:]play([9,1,8]). [False negative:]play([9,3,10]). [False negative:]play([9,5,12]). [False negative:]play([9,8,1]). [False negative:]play([9,10,3]). [False negative:]play([9,11,2]). [False negative:]play([9,12,5]). [False negative:]play([9,14,7]). [False negative:]play([10,2,8]). [False negative:]play([10,6,12]). [False negative:]play([10,8,2]). [False negative:]play([10,9,3]). [False negative:]play([10,11,1]). [False negative:]play([10,12,6]). [False negative:]play([10,13,7]). [False negative:]play([10,14,4]). [False negative:]play([10,15,5]). [False negative:]play([11,1,10]). [False negative:]play([11,2,9]). [False negative:]play([11,3,8]). [False negative:]play([11,5,14]). [False negative:]play([11,6,13]). [False negative:]play([11,7,12]). [False negative:]play([11,8,3]). [False negative:]play([11,9,2]). [False negative:]play([11,10,1]). [False negative:]play([11,12,7]). [False negative:]play([11,13,6]). [False negative:]play([11,14,5]). [False negative:]play([11,15,4]). [False negative:]play([12,4,8]). [False negative:]play([12,5,9]). [False negative:]play([12,6,10]). [False negative:]play([12,7,11]). [False negative:]play([12,8,4]). [False negative:]play([12,9,5]). [False negative:]play([12,10,6]). [False negative:]play([12,13,1]). [False negative:]play([12,14,2]). [False negative:]play([12,15,3]). [False negative:]play([13,1,12]). [False negative:]play([13,4,9]). [False negative:]play([13,5,8]). [False negative:]play([13,6,11]). [False negative:]play([13,7,10]). [False negative:]play([13,8,5]). [False negative:]play([13,9,4]). [False negative:]play([13,10,7]). [False negative:]play([13,12,1]). [False negative:]play([13,15,2]). [False negative:]play([14,2,12]). [False negative:]play([14,3,13]). [False negative:]play([14,5,11]). [False negative:]play([14,6,8]). [False negative:]play([14,7,9]). [False negative:]play([14,8,6]). [False negative:]play([14,9,7]). [False negative:]play([14,10,4]). [False negative:]play([14,11,5]). [False negative:]play([14,12,2]). [False negative:]play([14,13,3]). [False negative:]play([14,15,1]). [False negative:]play([15,1,14]). [False negative:]play([15,3,12]). [False negative:]play([15,4,11]). [False negative:]play([15,6,9]). [False negative:]play([15,7,8]). [False negative:]play([15,8,7]). [False negative:]play([15,10,5]). [False negative:]play([15,11,4]). [False negative:]play([15,13,2]). [False negative:]play([15,14,1]). [False negative:]play([1,2,12,1,14]). [False negative:]play([1,6,6,3,2]). [False negative:]play([1,7,7,14,15]). [False negative:]play([1,8,12,13,8]). [False negative:]play([1,9,4,11,7]). [False negative:]play([1,9,14,10,12]). [False negative:]play([1,11,4,6,8]). [False negative:]play([2,1,4,6,1]). [False negative:]play([2,1,12,10,5]). [False negative:]play([2,2,6,12,10]). [False negative:]play([2,3,3,9,11]). [False negative:]play([2,3,9,2,10]). [False negative:]play([2,5,13,8,2]). [False negative:]play([2,6,10,11,5]). [False negative:]play([2,8,3,15,6]). [False negative:]play([2,8,4,7,9]). [False negative:]play([2,9,5,10,4]). [False negative:]play([2,9,13,3,5]). [False negative:]play([2,13,12,10,9]). [False negative:]play([2,14,2,12,2]). [False negative:]play([2,14,9,15,10]). [False negative:]play([3,2,3,11,9]). [False negative:]play([3,2,15,5,11]). [False negative:]play([3,3,1,2,3]). [False negative:]play([3,5,15,4,13]). [False negative:]play([3,8,4,6,9]). [False negative:]play([3,9,7,8,5]). [False negative:]play([3,11,2,7,13]). [False negative:]play([3,14,7,6,12]). [False negative:]play([3,15,10,2,4]). [False negative:]play([4,1,15,3,9]). [False negative:]play([4,3,5,15,13]). [False negative:]play([4,3,10,9,4]). [False negative:]play([4,4,12,13,1]). [False negative:]play([4,9,7,6,12]). [False negative:]play([4,9,14,5,6]). [False negative:]play([4,12,4,2,14]). [False negative:]play([4,12,9,7,6]). [False negative:]play([4,13,14,8,15]). [False negative:]play([4,14,1,12,7]). [False negative:]play([5,7,5,1,6]). [False negative:]play([5,7,13,1,14]). [False negative:]play([5,8,11,7,1]). [False negative:]play([5,9,15,2,1]). [False negative:]play([5,10,5,8,2]). [False negative:]play([5,10,7,1,9]). [False negative:]play([5,11,8,1,7]). [False negative:]play([5,11,11,4,1]). [False negative:]play([5,11,11,12,9]). [False negative:]play([5,13,6,7,9]). [False negative:]play([5,15,5,13,2]). [False negative:]play([6,1,13,15,5]). [False negative:]play([6,2,9,14,3]). [False negative:]play([6,5,15,2,14]). [False negative:]play([6,6,6,4,2]). [False negative:]play([6,7,3,6,4]). [False negative:]play([6,7,11,13,7]). [False negative:]play([6,15,12,11,14]). [False negative:]play([7,2,1,12,8]). [False negative:]play([7,2,10,14,1]). [False negative:]play([7,5,11,12,5]). [False negative:]play([7,6,7,11,13]). [False negative:]play([7,7,9,3,10]). [False negative:]play([7,8,12,15,12]). [False negative:]play([7,9,2,2,14]). [False negative:]play([7,10,6,4,15]). [False negative:]play([7,10,8,2,7]). [False negative:]play([7,13,3,15,6]). [False negative:]play([7,14,8,13,12]). [False negative:]play([7,14,15,5,3]). [False negative:]play([8,1,2,9,2]). [False negative:]play([8,4,11,12,11]). [False negative:]play([8,5,9,12,8]). [False negative:]play([8,8,10,1,11]). [False negative:]play([8,9,8,12,5]). [False negative:]play([8,10,12,7,9]). [False negative:]play([8,11,1,13,15]). [False negative:]play([9,2,9,8,10]). [False negative:]play([9,6,9,4,2]). [False negative:]play([9,8,14,14,1]). [False negative:]play([9,10,11,5,13]). [False negative:]play([9,12,6,7,4]). [False negative:]play([9,12,15,14,4]). [False negative:]play([9,15,11,6,11]). [False negative:]play([10,1,4,12,3]). [False negative:]play([10,3,2,15,4]). [False negative:]play([10,3,3,4,14]). [False negative:]play([10,3,7,1,15]). [False negative:]play([10,4,10,9,13]). [False negative:]play([10,6,2,11,5]). [False negative:]play([10,7,2,3,12]). [False negative:]play([10,9,1,5,7]). [False negative:]play([10,10,8,1,9]). [False negative:]play([10,11,5,13,9]). [False negative:]play([10,13,11,2,14]). [False negative:]play([10,14,8,9,5]). [False negative:]play([10,14,12,10,2]). [False negative:]play([10,15,12,2,11]). [False negative:]play([11,1,15,6,3]). [False negative:]play([11,4,5,7,13]). [False negative:]play([11,4,7,11,3]). [False negative:]play([11,6,7,3,9]). [False negative:]play([11,6,14,8,11]). [False negative:]play([11,7,6,12,6]). [False negative:]play([11,8,2,9,8]). [False negative:]play([11,8,4,15,8]). [False negative:]play([11,8,7,10,14]). [False negative:]play([11,8,10,13,4]). [False negative:]play([11,11,13,15,2]). [False negative:]play([11,13,14,7,15]). [False negative:]play([11,15,7,8,11]). [False negative:]play([12,1,6,5,14]). [False negative:]play([12,5,6,6,9]). [False negative:]play([12,6,4,4,10]). [False negative:]play([12,7,6,1,12]). [False negative:]play([12,8,11,4,11]). [False negative:]play([12,11,10,5,8]). [False negative:]play([12,11,15,4,12]). [False negative:]play([12,13,15,6,8]). [False negative:]play([12,14,11,7,14]). [False negative:]play([13,3,1,5,10]). [False negative:]play([13,3,4,7,13]). [False negative:]play([13,3,5,4,15]). [False negative:]play([13,3,11,7,2]). [False negative:]play([13,4,3,15,5]). [False negative:]play([13,4,5,9,5]). [False negative:]play([13,4,11,1,3]). [False negative:]play([13,7,8,14,12]). [False negative:]play([13,9,1,13,8]). [False negative:]play([13,11,13,7,12]). [False negative:]play([13,11,14,13,5]). [False negative:]play([13,12,8,6,15]). [False negative:]play([13,12,15,1,15]). [False negative:]play([13,13,15,1,14]). [False negative:]play([13,15,4,2,4]). [False negative:]play([14,1,8,6,1]). [False negative:]play([14,6,14,15,9]). [False negative:]play([14,8,4,3,1]). [False negative:]play([14,8,12,9,3]). [False negative:]play([14,9,11,15,3]). [False negative:]play([14,10,14,9,3]). [False negative:]play([14,11,14,10,1]). [False negative:]play([14,14,8,9,1]). [False negative:]play([15,3,6,14,4]). [False negative:]play([15,4,1,13,7]). [False negative:]play([15,5,7,1,12]). [False negative:]play([15,10,8,15,2]). [False negative:]play([15,13,7,3,6]). [False negative:]play([15,14,12,15,2]). [False positive:]:- play([3,5,7]). [False positive:]:- play([4,4,4]). [False positive:]:- play([4,14,14]). [False positive:]:- play([5,15,15]). [False positive:]:- play([7,3,7]). [False positive:]:- play([7,9,15]). [False positive:]:- play([11,5,15]). [False positive:]:- play([11,7,15]). [False positive:]:- play([14,5,15]). [False positive:]:- play([1,7,10,6,6]). [False positive:]:- play([1,9,4,2,2]). [False positive:]:- play([1,9,12,7,7]). [False positive:]:- play([2,1,10,5,5]). [False positive:]:- play([2,4,4,4,9]). [False positive:]:- play([3,7,11,1,1]). [False positive:]:- play([3,9,10,9,7]). [False positive:]:- play([4,5,4,10,10]). [False positive:]:- play([5,12,15,3,3]). [False positive:]:- play([6,8,9,8,14]). [False positive:]:- play([7,2,1,10,10]). [False positive:]:- play([7,2,6,11,11]). [False positive:]:- play([7,5,7,12,12]). [False positive:]:- play([8,13,3,2,2]). [False positive:]:- play([10,5,14,15,15]). [False positive:]:- play([10,7,5,14,14]). [False positive:]:- play([11,1,12,1,2]). [False positive:]:- play([11,10,12,10,8]). [False positive:]:- play([11,10,13,6,6]). [False positive:]:- play([11,14,13,14,5]). [False positive:]:- play([14,1,7,1,14]). [False positive:]:- play([14,12,4,3,3]). [False positive:]:- play([14,13,4,13,9]). [PREDICATE play/1] Contingency table= ________A________~A P| 215| 32| 247 |( 123.5)|( 123.5)| ~P| 285| 468| 753 |( 376.5)|( 376.5)| ~~~~~~~~~~~~~~~~~~~ 500 500 1000 [Overall accuracy= 68.30% +/- 1.47%] [Chi-square = 178.09] [Without Yates correction = 180.06] [Chi-square probability = 0.0000] yes [:- test(test_1000)? - Time taken 0.01s] |-