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,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_sampleSize161.pl]? - Time taken 0.00s] |- [Generalising play([1,14,15]).] [Most specific clause is] play([A,B,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), 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:2,4,2,0 play([A,B,C]).] [C:0,4,2,0 play([A,B,C]) :- xor(A,A,D).] [C:4,4,0,0 play([A,B,C]) :- xor(A,B,C).] [C:0,4,2,0 play([A,B,C]) :- xor(A,B,D).] [C:4,4,0,0 play([A,B,C]) :- xor(A,C,B).] [C:0,4,2,0 play([A,B,C]) :- xor(A,C,D).] [C:4,4,0,0 play([A,B,C]) :- xor(B,A,C).] [C:0,4,2,0 play([A,B,C]) :- xor(B,A,D).] [C:0,4,2,0 play([A,B,C]) :- xor(B,B,D).] [C:4,4,0,0 play([A,B,C]) :- xor(B,C,A).] [C:0,4,2,0 play([A,B,C]) :- xor(B,C,D).] [C:4,4,0,0 play([A,B,C]) :- xor(C,A,B).] [C:0,4,2,0 play([A,B,C]) :- xor(C,A,D).] [C:4,4,0,0 play([A,B,C]) :- xor(C,B,A).] [C:0,4,2,0 play([A,B,C]) :- xor(C,B,D).] [C:0,4,2,0 play([A,B,C]) :- xor(C,C,D).] [C:2,4,0,0 play([A,B,C]) :- xor(B,B,D), xor(B,C,A).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(B,C,E).] [C:2,4,0,0 play([A,B,C]) :- xor(B,B,D), xor(C,A,B).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(C,A,E).] [C:2,4,0,0 play([A,B,C]) :- xor(B,B,D), xor(C,B,A).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(C,B,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(A,D,A).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(A,D,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(C,D,C).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(C,D,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(D,A,A).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(D,A,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(D,B,B).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(D,B,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(D,C,C).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(D,C,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(D,D,D).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(D,D,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(C,C,D), xor(A,D,A).] [C:-2,4,2,0 play([A,B,C]) :- xor(C,C,D), xor(A,D,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(C,C,D), xor(B,D,B).] [C:-2,4,2,0 play([A,B,C]) :- xor(C,C,D), xor(B,D,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(C,C,D), xor(C,D,C).] [C:-2,4,2,0 play([A,B,C]) :- xor(C,C,D), xor(C,D,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(C,C,D), xor(D,A,A).] [C:-2,4,2,0 play([A,B,C]) :- xor(C,C,D), xor(D,A,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(C,C,D), xor(D,B,B).] [C:-2,4,2,0 play([A,B,C]) :- xor(C,C,D), xor(D,B,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(C,C,D), xor(D,C,C).] [C:-2,4,2,0 play([A,B,C]) :- xor(C,C,D), xor(D,C,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(C,C,D), xor(D,D,D).] [C:-2,4,2,0 play([A,B,C]) :- xor(C,C,D), xor(D,D,E).] [C:2,4,0,0 play([A,B,C]) :- xor(A,C,D), xor(B,A,C).] [C:-2,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,A,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(D,A,C).] [C:-2,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(D,A,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(D,B,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,D,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(D,D,E).] [C:2,4,0,0 play([A,B,C]) :- xor(A,C,D), xor(B,C,A).] [C:-2,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(D,C,A).] [C:-2,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,C,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(D,C,E).] [C:2,4,0,0 play([A,B,C]) :- xor(A,C,D), xor(C,A,B).] [C:-2,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(C,A,D).] [C:-2,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(C,A,E).] [C:2,4,0,0 play([A,B,C]) :- xor(A,C,D), xor(C,B,A).] [C:-2,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(C,D,A).] [C:-2,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(C,B,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(C,D,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(C,C,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E).] [C:2,4,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,C,A).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,D,A).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,C,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,D,E).] [C:2,4,0,0 play([A,B,C]) :- xor(B,A,D), xor(C,A,B).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(D,A,B).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(C,A,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(D,A,E).] [C:2,4,0,0 play([A,B,C]) :- xor(B,A,D), xor(C,B,A).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(D,B,A).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(C,B,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(D,B,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(C,C,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(D,C,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(C,D,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(D,D,E).] [C:2,4,0,0 play([A,B,C]) :- xor(B,C,D), xor(C,A,B).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,C,D), xor(C,A,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,C,D), xor(C,D,B).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,C,D), xor(C,D,E).] [C:2,4,0,0 play([A,B,C]) :- xor(B,C,D), xor(C,B,A).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,C,D), xor(C,B,D).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,C,D), xor(C,B,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(B,C,D), xor(C,C,E).] [C:2,4,0,0 play([A,B,C]) :- xor(C,A,D), xor(C,B,A).] [C:-2,4,2,0 play([A,B,C]) :- xor(C,A,D), xor(C,D,A).] [C:-2,4,2,0 play([A,B,C]) :- xor(C,A,D), xor(C,B,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(C,A,D), xor(C,D,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(C,A,D), xor(C,C,E).] [C:-2,4,2,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E).] [C:0,4,0,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(B,C,A).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(D,C,A).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(B,C,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(D,C,F).] [C:0,4,0,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(C,A,B).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(C,A,D).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(C,A,F).] [C:0,4,0,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(C,B,A).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(C,D,A).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(C,B,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(C,D,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(C,C,E).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(C,C,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(A,E,A).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(A,E,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(B,E,B).] [C:0,4,0,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(B,E,D).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(B,E,F).] [C:0,4,0,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(D,E,B).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(D,E,D).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(D,E,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(C,E,C).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(C,E,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(E,A,A).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(E,A,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(E,B,B).] [C:0,4,0,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(E,B,D).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(E,B,F).] [C:0,4,0,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(E,D,B).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(E,D,D).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(E,D,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(E,C,C).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(E,C,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(E,E,E).] [C:-4,4,2,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E), xor(E,E,F).] [C:0,4,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(B,C,A).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(B,D,A).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(B,C,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(B,D,F).] [C:0,4,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(C,A,B).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(D,A,B).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(C,A,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(D,A,F).] [C:0,4,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(C,B,A).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(D,B,A).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(C,B,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(D,B,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(C,C,E).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(C,C,F).] [C:0,4,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(D,C,E).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(D,C,F).] [C:0,4,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(C,D,E).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(C,D,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(D,D,E).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(D,D,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(A,E,A).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(A,E,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(B,E,B).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(B,E,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(C,E,C).] [C:0,4,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(C,E,D).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(C,E,F).] [C:0,4,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(D,E,C).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(D,E,D).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(D,E,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(E,A,A).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(E,A,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(E,B,B).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(E,B,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(E,C,C).] [C:0,4,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(E,C,D).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(E,C,F).] [C:0,4,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(E,D,C).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(E,D,D).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(E,D,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(E,E,E).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(E,E,F).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B), xor(C,D,C).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B), xor(C,D,E).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B), xor(D,A,A).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B), xor(D,A,E).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B), xor(D,B,B).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B), xor(D,B,E).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B), xor(D,C,C).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B), xor(D,C,E).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B), xor(D,D,D).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B), xor(D,D,E).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(A,D,A).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(A,D,E).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(B,D,B).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(B,D,E).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(C,D,C).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(C,D,E).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(D,A,A).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(D,A,E).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(D,B,B).] [C:-4,4,2,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(D,B,E).] Resource limit exceeded [200 explored search nodes] f=4,p=4,n=0,h=0 [Result of search is] play([A,B,C]) :- xor(A,B,C). [4 redundant clauses retracted] [Generalising play([1,4,3,6]).] [Most specific clause is] play([A,B,C,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), 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:-3,3,3,0 play([A,B,C,D]).] [C:-5,3,3,0 play([A,B,C,D]) :- xor(A,A,E).] [C:-5,3,3,0 play([A,B,C,D]) :- xor(A,B,E).] [C:-5,3,3,0 play([A,B,C,D]) :- xor(A,C,E).] [C:-5,3,3,0 play([A,B,C,D]) :- xor(A,D,E).] [C:-5,3,3,0 play([A,B,C,D]) :- xor(B,A,E).] [C:-5,3,3,0 play([A,B,C,D]) :- xor(B,B,E).] [C:-5,3,3,0 play([A,B,C,D]) :- xor(B,C,E).] [C:-5,3,3,0 play([A,B,C,D]) :- xor(B,D,E).] [C:-5,3,3,0 play([A,B,C,D]) :- xor(C,A,E).] [C:-5,3,3,0 play([A,B,C,D]) :- xor(C,B,E).] [C:-5,3,3,0 play([A,B,C,D]) :- xor(C,C,E).] [C:-5,3,3,0 play([A,B,C,D]) :- xor(C,D,E).] [C:-5,3,3,0 play([A,B,C,D]) :- xor(D,A,E).] [C:-5,3,3,0 play([A,B,C,D]) :- xor(D,B,E).] [C:-5,3,3,0 play([A,B,C,D]) :- xor(D,C,E).] [C:-5,3,3,0 play([A,B,C,D]) :- xor(D,D,E).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,C,E), xor(D,D,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(D,C,E), xor(A,E,B).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,C,E), xor(A,E,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(D,C,E), xor(B,E,A).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,C,E), xor(B,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,C,E), xor(C,E,D).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,C,E), xor(C,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,C,E), xor(D,E,C).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,C,E), xor(D,E,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(D,C,E), xor(E,A,B).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,C,E), xor(E,A,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(D,C,E), xor(E,B,A).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,C,E), xor(E,B,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,C,E), xor(E,C,D).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,C,E), xor(E,C,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,C,E), xor(E,D,C).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,C,E), xor(E,D,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,C,E), xor(E,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(A,C,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(A,D,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(B,A,E).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(B,A,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(B,B,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(B,C,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(B,D,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(C,A,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(C,B,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(C,C,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(A,B,E), xor(C,D,E).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(C,D,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(D,A,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(D,B,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(A,B,E), xor(D,C,E).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(D,C,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(D,D,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(A,E,B).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(A,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(B,E,A).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(B,E,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(A,B,E), xor(C,E,D).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(C,E,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(A,B,E), xor(D,E,C).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(D,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(E,A,B).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(E,A,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(E,B,A).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(E,B,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(A,B,E), xor(E,C,D).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(E,C,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(A,B,E), xor(E,D,C).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(E,D,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(A,B,E), xor(E,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(B,D,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(C,A,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(C,B,E).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(C,B,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(C,C,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(C,D,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(B,C,E), xor(D,A,E).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(D,A,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(D,B,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(D,C,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(D,D,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(B,C,E), xor(A,E,D).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(A,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(B,E,C).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(B,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(C,E,B).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(C,E,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(B,C,E), xor(D,E,A).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(D,E,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(B,C,E), xor(E,A,D).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(E,A,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(E,B,C).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(E,B,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(E,C,B).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(E,C,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(B,C,E), xor(E,D,A).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(E,D,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,C,E), xor(E,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(B,C,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(B,D,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(C,A,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(C,B,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(C,C,E).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(C,C,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(C,D,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(D,A,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(D,B,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(D,C,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(D,D,E).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(D,D,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(A,E,A).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(A,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(B,E,B).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(B,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(C,E,C).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(C,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(D,E,D).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(D,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(E,A,A).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(E,A,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(E,B,B).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(E,B,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(E,C,C).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(E,C,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(E,D,D).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(E,D,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(E,E,E).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(B,B,E), xor(E,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,A,E), xor(D,B,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,A,E), xor(D,C,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,A,E), xor(D,D,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,A,E), xor(A,E,D).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,A,E), xor(A,E,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(D,A,E), xor(B,E,C).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,A,E), xor(B,E,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(D,A,E), xor(C,E,B).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,A,E), xor(C,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,A,E), xor(D,E,A).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,A,E), xor(D,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,A,E), xor(E,A,D).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,A,E), xor(E,A,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(D,A,E), xor(E,B,C).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,A,E), xor(E,B,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(D,A,E), xor(E,C,B).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,A,E), xor(E,C,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,A,E), xor(E,D,A).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,A,E), xor(E,D,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,A,E), xor(E,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,B,E), xor(D,C,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,B,E), xor(D,D,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(D,B,E), xor(A,E,C).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,B,E), xor(A,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,B,E), xor(B,E,D).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,B,E), xor(B,E,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(D,B,E), xor(C,E,A).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,B,E), xor(C,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,B,E), xor(D,E,B).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,B,E), xor(D,E,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(D,B,E), xor(E,A,C).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,B,E), xor(E,A,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,B,E), xor(E,B,D).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,B,E), xor(E,B,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(D,B,E), xor(E,C,A).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,B,E), xor(E,C,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,B,E), xor(E,D,B).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,B,E), xor(E,D,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(D,B,E), xor(E,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,B,E), xor(C,C,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,B,E), xor(C,D,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(C,B,E), xor(D,A,E).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,B,E), xor(D,A,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,B,E), xor(D,B,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,B,E), xor(D,C,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,B,E), xor(D,D,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(C,B,E), xor(A,E,D).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,B,E), xor(A,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,B,E), xor(B,E,C).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,B,E), xor(B,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,B,E), xor(C,E,B).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,B,E), xor(C,E,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(C,B,E), xor(D,E,A).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,B,E), xor(D,E,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(C,B,E), xor(E,A,D).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,B,E), xor(E,A,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,B,E), xor(E,B,C).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,B,E), xor(E,B,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,B,E), xor(E,C,B).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,B,E), xor(E,C,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(C,B,E), xor(E,D,A).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,B,E), xor(E,D,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,B,E), xor(E,E,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,A,E), xor(C,B,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,A,E), xor(C,C,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,A,E), xor(C,D,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,A,E), xor(D,A,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(C,A,E), xor(D,B,E).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,A,E), xor(D,B,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,A,E), xor(D,C,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,A,E), xor(D,D,F).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,A,E), xor(A,E,C).] [C:-8,3,3,0 play([A,B,C,D]) :- xor(C,A,E), xor(A,E,F).] Resource limit exceeded [200 explored search nodes] f=0,p=3,n=0,h=0 [Result of search is] play([A,B,C,D]) :- xor(D,C,E), xor(A,E,B). [3 redundant clauses retracted] [Generalising play([3,13,13,12,15]).] [Most specific clause is] play([A,B,B,C,D]) :- xor(A,A,E), xor(A,B,F), xor(A,C,D), xor(A, D,C), xor(B,A,F), xor(B,B,E), xor(B,C,G), xor(B,D,H), xor(C,A,D), xor(C,B,G), xor(C,C,E), xor(C,D,A), xor(D, A,C), xor(D,B,H), xor(D,C,A), xor(D,D,E), xor(A,E,A), xor(A,F,B), xor(A,G,H), xor(A,H,G), xor(B,E,B), xor(B, F,A), xor(B,G,C), xor(B,H,D), xor(C,E,C), xor(C,F,H), xor(C,G,B), xor(C,H,F), xor(D,E,D), xor(D,F,G), xor(D, G,F), xor(D,H,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,G,G), xor(E, H,H), xor(F,A,B), xor(F,B,A), xor(F,C,H), xor(F,D,G), xor(F,E,F), xor(F,F,E), xor(F,G,D), xor(F,H,C), xor(G, A,H), xor(G,B,C), xor(G,C,B), xor(G,D,F), xor(G,E,G), xor(G,F,D), xor(G,G,E), xor(G,H,A), xor(H,A,G), xor(H, B,D), xor(H,C,F), xor(H,D,B), xor(H,E,H), xor(H,F,C), xor(H,G,A), xor(H,H,E). [C:-8,1,1,0 play([A,B,B,C,D]).] [C:-24,1,3,0 play([A,B,C,D,E]).] [2 explored search nodes] f=-0,p=8,n=8,h=0 [No compression] play([3,13,13,12,15]). play([A,B,C]) :- xor(A,B,C). play([A,B,C,D]) :- xor(D,C,E), xor(A,E,B). [Total number of clauses = 3] yes [:- generalise(play/1)? - Time taken 0.06s] |- [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([1,15,4,15,5]). [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,11,9,13,13]). [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,11,3,11,5]). [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,2,14,2,9]). [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,4,12,12,12]). [False negative:]play([8,5,9,12,8]). [False negative:]play([8,6,14,13,13]). [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,11,12,11,6]). [False negative:]play([10,11,14,11,4]). [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,2,15,14,14]). [False negative:]play([13,3,1,5,10]). [False negative:]play([13,3,4,3,9]). [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,3,14,6,6]). [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,1,15,11,11]). [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,8,7,11,11]). [False negative:]play([15,10,8,15,2]). [False negative:]play([15,13,7,3,6]). [False negative:]play([15,14,12,15,2]). [PREDICATE play/1] Contingency table= ________A________~A P| 338| 0| 338 |( 169.0)|( 169.0)| ~P| 162| 500| 662 |( 331.0)|( 331.0)| ~~~~~~~~~~~~~~~~~~~ 500 500 1000 [Overall accuracy= 83.80% +/- 1.17%] [Chi-square = 507.56] [Without Yates correction = 510.57] [Chi-square probability = 0.0000] yes [:- test(test_1000)? - Time taken 0.01s] |-