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,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_sampleSize183.pl]? - Time taken 0.00s] |- [Generalising play([2,5,7]).] [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), 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), 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:-9,3,5,0 play([A,B,C]).] [C:-12,3,5,0 play([A,B,C]) :- and(A,A,A).] [C:-12,3,5,0 play([A,B,C]) :- and(A,A,D).] [C:-12,3,5,0 play([A,B,C]) :- and(A,B,D).] [C:-9,2,2,0 play([A,B,C]) :- and(A,C,A).] [C:-12,3,5,0 play([A,B,C]) :- and(A,C,D).] [C:-12,3,5,0 play([A,B,C]) :- and(B,A,D).] [C:-12,3,5,0 play([A,B,C]) :- and(B,B,B).] [C:-12,3,5,0 play([A,B,C]) :- and(B,B,D).] [C:-4,2,1,0 play([A,B,C]) :- and(B,C,B).] [C:-12,3,5,0 play([A,B,C]) :- and(B,C,D).] [C:-9,2,2,0 play([A,B,C]) :- and(C,A,A).] [C:-12,3,5,0 play([A,B,C]) :- and(C,A,D).] [C:-4,2,1,0 play([A,B,C]) :- and(C,B,B).] [C:-12,3,5,0 play([A,B,C]) :- and(C,B,D).] [C:-12,3,5,0 play([A,B,C]) :- and(C,C,C).] [C:-12,3,5,0 play([A,B,C]) :- and(C,C,D).] [C:-12,3,5,0 play([A,B,C]) :- xor(A,A,D).] [C:3,3,0,0 play([A,B,C]) :- xor(A,B,C).] [C:-12,3,5,0 play([A,B,C]) :- xor(A,B,D).] [C:3,3,0,0 play([A,B,C]) :- xor(A,C,B).] [C:-12,3,5,0 play([A,B,C]) :- xor(A,C,D).] [C:3,3,0,0 play([A,B,C]) :- xor(B,A,C).] [C:-12,3,5,0 play([A,B,C]) :- xor(B,A,D).] [C:-12,3,5,0 play([A,B,C]) :- xor(B,B,D).] [C:3,3,0,0 play([A,B,C]) :- xor(B,C,A).] [C:-12,3,5,0 play([A,B,C]) :- xor(B,C,D).] [C:3,3,0,0 play([A,B,C]) :- xor(C,A,B).] [C:-12,3,5,0 play([A,B,C]) :- xor(C,A,D).] [C:3,3,0,0 play([A,B,C]) :- xor(C,B,A).] [C:-12,3,5,0 play([A,B,C]) :- xor(C,B,D).] [C:-12,3,5,0 play([A,B,C]) :- xor(C,C,D).] [C:0,3,0,0 play([A,B,C]) :- xor(B,B,D), xor(B,C,A).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), xor(B,C,E).] [C:0,3,0,0 play([A,B,C]) :- xor(B,B,D), xor(C,A,B).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), xor(C,A,E).] [C:0,3,0,0 play([A,B,C]) :- xor(B,B,D), xor(C,B,A).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), xor(C,B,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), and(A,D,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), and(B,D,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), and(C,D,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), and(D,A,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), and(D,B,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), and(D,C,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), and(D,D,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), xor(A,D,A).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), xor(A,D,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), xor(C,D,C).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), xor(C,D,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), xor(D,A,A).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), xor(D,A,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), xor(D,B,B).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), xor(D,B,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), xor(D,C,C).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), xor(D,C,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), xor(D,D,D).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,B,D), xor(D,D,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), and(A,D,D).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), and(A,D,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), and(B,D,D).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), and(B,D,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), and(C,D,D).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), and(C,D,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), and(D,A,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), and(D,B,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), and(D,C,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), and(D,D,D).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), and(D,D,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), xor(A,D,A).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), xor(A,D,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), xor(B,D,B).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), xor(B,D,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), xor(C,D,C).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), xor(C,D,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), xor(D,A,A).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), xor(D,A,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), xor(D,B,B).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), xor(D,B,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), xor(D,C,C).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), xor(D,C,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), xor(D,D,D).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,C,D), xor(D,D,E).] [C:0,3,0,0 play([A,B,C]) :- xor(B,C,D), xor(C,A,B).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,C,D), xor(C,A,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,C,D), xor(C,D,B).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,C,D), xor(C,D,E).] [C:0,3,0,0 play([A,B,C]) :- xor(B,C,D), xor(C,B,A).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,C,D), xor(C,B,D).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,C,D), xor(C,B,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,C,D), xor(C,C,E).] [C:0,3,0,0 play([A,B,C]) :- xor(A,C,D), xor(B,A,C).] [C:-15,3,5,0 play([A,B,C]) :- xor(A,C,D), xor(B,A,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(A,C,D), xor(D,A,C).] [C:-15,3,5,0 play([A,B,C]) :- xor(A,C,D), xor(D,A,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(A,C,D), xor(D,B,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(A,C,D), xor(B,D,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(A,C,D), xor(D,D,E).] [C:0,3,0,0 play([A,B,C]) :- xor(A,C,D), xor(B,C,A).] [C:-15,3,5,0 play([A,B,C]) :- xor(A,C,D), xor(D,C,A).] [C:-15,3,5,0 play([A,B,C]) :- xor(A,C,D), xor(B,C,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(A,C,D), xor(D,C,E).] [C:0,3,0,0 play([A,B,C]) :- xor(A,C,D), xor(C,A,B).] [C:-15,3,5,0 play([A,B,C]) :- xor(A,C,D), xor(C,A,D).] [C:-15,3,5,0 play([A,B,C]) :- xor(A,C,D), xor(C,A,E).] [C:0,3,0,0 play([A,B,C]) :- xor(A,C,D), xor(C,B,A).] [C:-15,3,5,0 play([A,B,C]) :- xor(A,C,D), xor(C,D,A).] [C:-15,3,5,0 play([A,B,C]) :- xor(A,C,D), xor(C,B,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(A,C,D), xor(C,D,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(A,C,D), xor(C,C,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E).] [C:0,3,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,C,A).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,A,D), xor(B,D,A).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,A,D), xor(B,C,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,A,D), xor(B,D,E).] [C:0,3,0,0 play([A,B,C]) :- xor(B,A,D), xor(C,A,B).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,A,D), xor(D,A,B).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,A,D), xor(C,A,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,A,D), xor(D,A,E).] [C:0,3,0,0 play([A,B,C]) :- xor(B,A,D), xor(C,B,A).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,A,D), xor(D,B,A).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,A,D), xor(C,B,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,A,D), xor(D,B,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,A,D), xor(C,C,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,A,D), xor(D,C,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,A,D), xor(C,D,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(B,A,D), xor(D,D,E).] [C:0,3,0,0 play([A,B,C]) :- xor(C,A,D), xor(C,B,A).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,A,D), xor(C,D,A).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,A,D), xor(C,B,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,A,D), xor(C,D,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,A,D), xor(C,C,E).] [C:-15,3,5,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E).] [147 explored search nodes] f=3,p=3,n=0,h=0 [Result of search is] play([A,B,C]) :- xor(A,B,C). [3 redundant clauses retracted] [Generalising play([6,14,2,10]).] [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), 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), 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:-6,3,4,0 play([A,B,C,D]).] [C:-9,3,4,0 play([A,B,C,D]) :- and(A,A,A).] [C:-9,3,4,0 play([A,B,C,D]) :- and(A,A,E).] [C:-9,3,4,0 play([A,B,C,D]) :- and(A,B,E).] [C:-4,2,1,0 play([A,B,C,D]) :- and(A,C,C).] [C:-9,3,4,0 play([A,B,C,D]) :- and(A,C,E).] [C:-9,3,4,0 play([A,B,C,D]) :- and(A,D,E).] [C:-9,3,4,0 play([A,B,C,D]) :- and(B,A,E).] [C:-9,3,4,0 play([A,B,C,D]) :- and(B,B,B).] [C:-9,3,4,0 play([A,B,C,D]) :- and(B,B,E).] [C:-9,3,4,0 play([A,B,C,D]) :- and(B,C,E).] [C:-9,2,2,0 play([A,B,C,D]) :- and(B,D,D).] [C:-9,3,4,0 play([A,B,C,D]) :- and(B,D,E).] [C:-4,2,1,0 play([A,B,C,D]) :- and(C,A,C).] [C:-9,3,4,0 play([A,B,C,D]) :- and(C,A,E).] [C:-9,3,4,0 play([A,B,C,D]) :- and(C,B,E).] [C:-9,3,4,0 play([A,B,C,D]) :- and(C,C,C).] [C:-9,3,4,0 play([A,B,C,D]) :- and(C,C,E).] [C:-9,2,2,0 play([A,B,C,D]) :- and(C,D,C).] [C:-9,3,4,0 play([A,B,C,D]) :- and(C,D,E).] [C:-9,3,4,0 play([A,B,C,D]) :- and(D,A,E).] [C:-9,2,2,0 play([A,B,C,D]) :- and(D,B,D).] [C:-9,3,4,0 play([A,B,C,D]) :- and(D,B,E).] [C:-9,2,2,0 play([A,B,C,D]) :- and(D,C,C).] [C:-9,3,4,0 play([A,B,C,D]) :- and(D,C,E).] [C:-9,3,4,0 play([A,B,C,D]) :- and(D,D,D).] [C:-9,3,4,0 play([A,B,C,D]) :- and(D,D,E).] [C:-9,3,4,0 play([A,B,C,D]) :- xor(A,A,E).] [C:-9,3,4,0 play([A,B,C,D]) :- xor(A,B,E).] [C:-9,3,4,0 play([A,B,C,D]) :- xor(A,C,E).] [C:-9,3,4,0 play([A,B,C,D]) :- xor(A,D,E).] [C:-9,3,4,0 play([A,B,C,D]) :- xor(B,A,E).] [C:-9,3,4,0 play([A,B,C,D]) :- xor(B,B,E).] [C:-9,3,4,0 play([A,B,C,D]) :- xor(B,C,E).] [C:-9,3,4,0 play([A,B,C,D]) :- xor(B,D,E).] [C:-9,3,4,0 play([A,B,C,D]) :- xor(C,A,E).] [C:-9,3,4,0 play([A,B,C,D]) :- xor(C,B,E).] [C:-9,3,4,0 play([A,B,C,D]) :- xor(C,C,E).] [C:-9,3,4,0 play([A,B,C,D]) :- xor(C,D,E).] [C:-9,3,4,0 play([A,B,C,D]) :- xor(D,A,E).] [C:-9,3,4,0 play([A,B,C,D]) :- xor(D,B,E).] [C:-9,3,4,0 play([A,B,C,D]) :- xor(D,C,E).] [C:-9,3,4,0 play([A,B,C,D]) :- xor(D,D,E).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(D,B,E), xor(D,C,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(D,B,E), xor(D,D,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(D,B,E), and(A,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(D,B,E), and(B,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(D,B,E), and(C,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(D,B,E), and(D,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(D,B,E), and(E,A,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(D,B,E), and(E,B,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(D,B,E), and(E,C,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(D,B,E), and(E,D,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(D,B,E), and(E,E,E).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(D,B,E), and(E,E,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(D,B,E), xor(A,E,C).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(D,B,E), xor(A,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(D,B,E), xor(B,E,D).] [C:-12,3,4,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:-12,3,4,0 play([A,B,C,D]) :- xor(D,B,E), xor(C,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(D,B,E), xor(D,E,B).] [C:-12,3,4,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:-12,3,4,0 play([A,B,C,D]) :- xor(D,B,E), xor(E,A,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(D,B,E), xor(E,B,D).] [C:-12,3,4,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:-12,3,4,0 play([A,B,C,D]) :- xor(D,B,E), xor(E,C,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(D,B,E), xor(E,D,B).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(D,B,E), xor(E,D,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(D,B,E), xor(E,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- and(C,C,C), and(C,D,E).] [C:-12,3,4,0 play([A,B,C,D]) :- and(C,C,C), and(D,A,E).] [C:-12,3,4,0 play([A,B,C,D]) :- and(C,C,C), and(D,B,E).] [C:-12,3,4,0 play([A,B,C,D]) :- and(C,C,C), and(D,C,E).] [C:-12,3,4,0 play([A,B,C,D]) :- and(C,C,C), and(D,D,D).] [C:-12,3,4,0 play([A,B,C,D]) :- and(C,C,C), and(D,D,E).] [C:-12,3,4,0 play([A,B,C,D]) :- and(C,C,C), xor(A,A,E).] [C:-12,3,4,0 play([A,B,C,D]) :- and(C,C,C), xor(A,B,E).] [C:-12,3,4,0 play([A,B,C,D]) :- and(C,C,C), xor(A,C,E).] [C:-12,3,4,0 play([A,B,C,D]) :- and(C,C,C), xor(A,D,E).] [C:-12,3,4,0 play([A,B,C,D]) :- and(C,C,C), xor(B,A,E).] [C:-12,3,4,0 play([A,B,C,D]) :- and(C,C,C), xor(B,B,E).] [C:-12,3,4,0 play([A,B,C,D]) :- and(C,C,C), xor(B,C,E).] [C:-12,3,4,0 play([A,B,C,D]) :- and(C,C,C), xor(B,D,E).] [C:-12,3,4,0 play([A,B,C,D]) :- and(C,C,C), xor(C,A,E).] [C:-12,3,4,0 play([A,B,C,D]) :- and(C,C,C), xor(C,B,E).] [C:-12,3,4,0 play([A,B,C,D]) :- and(C,C,C), xor(C,C,E).] [C:-12,3,4,0 play([A,B,C,D]) :- and(C,C,C), xor(C,D,E).] [C:-12,3,4,0 play([A,B,C,D]) :- and(C,C,C), xor(D,A,E).] [C:-12,3,4,0 play([A,B,C,D]) :- and(C,C,C), xor(D,B,E).] [C:-12,3,4,0 play([A,B,C,D]) :- and(C,C,C), xor(D,C,E).] [C:-12,3,4,0 play([A,B,C,D]) :- and(C,C,C), xor(D,D,E).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(A,D,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(B,A,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(B,B,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(B,C,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(A,C,E), xor(B,D,E).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(B,D,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(C,A,E).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(C,A,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(C,B,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(C,C,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(C,D,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(D,A,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(A,C,E), xor(D,B,E).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(D,B,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(D,C,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(D,D,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), and(A,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), and(B,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), and(C,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), and(D,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), and(E,A,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), and(E,B,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), and(E,C,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), and(E,D,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), and(E,E,E).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), and(E,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(A,E,C).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(A,E,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(A,C,E), xor(B,E,D).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(B,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(C,E,A).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(C,E,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(A,C,E), xor(D,E,B).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(D,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(E,A,C).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(E,A,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(A,C,E), xor(E,B,D).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(E,B,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(E,C,A).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(E,C,F).] [C:0,3,0,0 play([A,B,C,D]) :- xor(A,C,E), xor(E,D,B).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(E,D,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,C,E), xor(E,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), xor(A,C,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), xor(A,D,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), xor(B,A,E).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), xor(B,A,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), xor(B,B,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), xor(B,C,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), xor(B,D,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), xor(C,A,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), xor(C,B,F).] [C:-12,3,4,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:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), xor(C,D,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), xor(D,A,F).] [C:-12,3,4,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:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), xor(D,C,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), xor(D,D,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), and(A,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), and(B,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), and(C,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), and(D,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), and(E,A,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), and(E,B,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), and(E,C,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), and(E,D,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), and(E,E,E).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), and(E,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), xor(A,E,B).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), xor(A,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), xor(B,E,A).] [C:-12,3,4,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:-12,3,4,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:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), xor(D,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), xor(E,A,B).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), xor(E,A,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), xor(E,B,A).] [C:-12,3,4,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:-12,3,4,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:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), xor(E,D,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,B,E), xor(E,E,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,A,E), xor(A,B,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,A,E), xor(A,C,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,A,E), xor(A,D,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,A,E), xor(B,A,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,A,E), xor(B,B,E).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,A,E), xor(B,B,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,A,E), xor(B,C,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,A,E), xor(B,D,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,A,E), xor(C,A,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,A,E), xor(C,B,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,A,E), xor(C,C,E).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,A,E), xor(C,C,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,A,E), xor(C,D,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,A,E), xor(D,A,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,A,E), xor(D,B,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,A,E), xor(D,C,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,A,E), xor(D,D,E).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,A,E), xor(D,D,F).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,A,E), and(A,E,E).] [C:-12,3,4,0 play([A,B,C,D]) :- xor(A,A,E), and(A,E,F).] Resource limit exceeded [201 explored search nodes] f=0,p=3,n=0,h=0 [Result of search is] play([A,B,C,D]) :- xor(D,B,E), xor(A,E,C). [3 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), 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), 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:6,3,0,0 play([A,B,C,D,E]).] [2 explored search nodes] f=6,p=3,n=0,h=0 [Result of search is] play([A,B,C,D,E]). [3 redundant clauses retracted] play([A,B,C]) :- xor(A,B,C). play([A,B,C,D]) :- xor(D,B,E), xor(A,E,C). play([A,B,C,D,E]). [Total number of clauses = 3] yes [:- generalise(play/1)? - Time taken 0.30s] |- [False positive:]:- play([1,3,4,14,12]). [False positive:]:- play([1,3,14,1,8]). [False positive:]:- play([1,4,15,8,6]). [False positive:]:- play([1,4,15,15,8]). [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([1,9,15,3,14]). [False positive:]:- play([1,10,2,8,6]). [False positive:]:- play([1,12,12,14,7]). [False positive:]:- play([2,1,10,5,5]). [False positive:]:- play([2,2,2,10,6]). [False positive:]:- play([2,2,9,9,14]). [False positive:]:- play([2,4,4,4,9]). [False positive:]:- play([2,4,5,13,9]). [False positive:]:- play([2,7,3,2,12]). [False positive:]:- play([2,7,14,2,13]). [False positive:]:- play([2,7,15,9,10]). [False positive:]:- play([2,10,8,6,14]). [False positive:]:- play([2,10,8,7,14]). [False positive:]:- play([2,10,11,5,1]). [False positive:]:- play([2,11,1,14,10]). [False positive:]:- play([2,13,15,14,9]). [False positive:]:- play([2,15,4,4,8]). [False positive:]:- play([3,1,1,13,4]). [False positive:]:- play([3,2,11,7,9]). [False positive:]:- play([3,3,3,15,8]). [False positive:]:- play([3,3,6,14,1]). [False positive:]:- play([3,5,2,12,11]). [False positive:]:- play([3,5,8,7,10]). [False positive:]:- play([3,5,12,4,13]). [False positive:]:- play([3,6,2,1,8]). [False positive:]:- play([3,6,4,15,1]). [False positive:]:- play([3,6,5,3,1]). [False positive:]:- play([3,7,6,9,3]). [False positive:]:- play([3,7,11,1,1]). [False positive:]:- play([3,9,1,4,12]). [False positive:]:- play([3,9,6,2,13]). [False positive:]:- play([3,9,7,5,1]). [False positive:]:- play([3,9,10,9,7]). [False positive:]:- play([3,11,14,13,14]). [False positive:]:- play([3,13,7,10,5]). [False positive:]:- play([3,14,5,4,14]). [False positive:]:- play([3,15,3,4,12]). [False positive:]:- play([4,3,10,15,3]). [False positive:]:- play([4,4,7,8,11]). [False positive:]:- play([4,4,15,7,15]). [False positive:]:- play([4,5,2,7,13]). [False positive:]:- play([4,5,4,10,10]). [False positive:]:- play([4,6,1,13,5]). [False positive:]:- play([4,6,4,1,9]). [False positive:]:- play([4,7,6,2,12]). [False positive:]:- play([4,7,6,4,10]). [False positive:]:- play([4,8,4,10,6]). [False positive:]:- play([4,8,5,2,14]). [False positive:]:- play([4,10,9,14,1]). [False positive:]:- play([4,11,5,8,10]). [False positive:]:- play([4,11,7,2,9]). [False positive:]:- play([4,11,11,5,15]). [False positive:]:- play([4,12,3,9,13]). [False positive:]:- play([4,13,11,3,9]). [False positive:]:- play([4,15,2,3,6]). [False positive:]:- play([4,15,4,14,9]). [False positive:]:- play([4,15,6,5,12]). [False positive:]:- play([5,1,4,15,3]). [False positive:]:- play([5,1,11,12,15]). [False positive:]:- play([5,4,4,2,8]). [False positive:]:- play([5,6,8,11,6]). [False positive:]:- play([5,9,2,4,11]). [False positive:]:- play([5,9,8,12,9]). [False positive:]:- play([5,10,9,14,1]). [False positive:]:- play([5,11,8,7,12]). [False positive:]:- play([5,12,13,13,1]). [False positive:]:- play([5,12,15,3,3]). [False positive:]:- play([5,15,5,9,4]). [False positive:]:- play([6,1,12,12,5]). [False positive:]:- play([6,2,1,12,4]). [False positive:]:- play([6,3,5,4,1]). [False positive:]:- play([6,4,13,7,5]). [False positive:]:- play([6,8,5,11,13]). [False positive:]:- play([6,8,9,8,14]). [False positive:]:- play([6,8,11,6,9]). [False positive:]:- play([6,9,3,12,14]). [False positive:]:- play([6,9,15,10,2]). [False positive:]:- play([6,11,4,13,15]). [False positive:]:- play([6,11,4,15,2]). [False positive:]:- play([6,12,1,2,12]). [False positive:]:- play([6,12,11,14,2]). [False positive:]:- play([7,2,1,10,10]). [False positive:]:- play([7,2,6,11,11]). [False positive:]:- play([7,2,11,5,7]). [False positive:]:- play([7,3,5,4,9]). [False positive:]:- play([7,4,3,12,13]). [False positive:]:- play([7,5,5,12,14]). [False positive:]:- play([7,5,7,12,12]). [False positive:]:- play([7,5,11,3,11]). [False positive:]:- play([7,6,6,13,4]). [False positive:]:- play([7,6,8,9,6]). [False positive:]:- play([7,8,13,3,6]). [False positive:]:- play([7,12,3,8,3]). [False positive:]:- play([8,2,3,3,8]). [False positive:]:- play([8,2,7,15,6]). [False positive:]:- play([8,10,3,3,14]). [False positive:]:- play([8,10,8,3,11]). [False positive:]:- play([8,11,3,1,10]). [False positive:]:- play([8,11,10,9,8]). [False positive:]:- play([8,12,10,15,14]). [False positive:]:- play([8,13,3,2,2]). [False positive:]:- play([8,15,10,14,11]). [False positive:]:- play([9,5,7,3,7]). [False positive:]:- play([9,7,14,1,11]). [False positive:]:- play([9,8,13,13,2]). [False positive:]:- play([9,9,3,4,5]). [False positive:]:- play([9,9,12,12,13]). [False positive:]:- play([9,10,4,2,15]). [False positive:]:- play([9,11,4,15,11]). [False positive:]:- play([9,12,6,1,15]). [False positive:]:- play([9,13,13,8,7]). [False positive:]:- play([9,13,15,4,2]). [False positive:]:- play([9,14,11,5,3]). [False positive:]:- play([9,15,6,4,6]). [False positive:]:- play([10,2,6,5,7]). [False positive:]:- play([10,4,4,6,1]). [False positive:]:- play([10,5,9,14,9]). [False positive:]:- play([10,5,10,3,8]). [False positive:]:- play([10,5,14,15,15]). [False positive:]:- play([10,6,5,14,12]). [False positive:]:- play([10,7,5,14,14]). [False positive:]:- play([10,7,8,10,2]). [False positive:]:- play([10,8,7,9,4]). [False positive:]:- play([10,8,14,3,11]). [False positive:]:- play([10,13,10,6,4]). [False positive:]:- play([10,14,3,5,15]). [False positive:]:- play([10,14,7,7,11]). [False positive:]:- play([10,15,1,10,8]). [False positive:]:- play([10,15,4,9,5]). [False positive:]:- play([11,1,5,7,13]). [False positive:]:- play([11,1,12,1,2]). [False positive:]:- play([11,3,13,4,5]). [False positive:]:- play([11,3,15,7,10]). [False positive:]:- play([11,5,4,12,13]). [False positive:]:- play([11,6,12,11,14]). [False positive:]:- play([11,7,2,15,6]). [False positive:]:- play([11,7,8,2,10]). [False positive:]:- play([11,8,4,2,8]). [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([11,15,2,4,12]). [False positive:]:- play([11,15,12,11,9]). [False positive:]:- play([11,15,15,7,4]). [False positive:]:- play([12,1,15,5,11]). [False positive:]:- play([12,4,8,2,4]). [False positive:]:- play([12,5,4,10,9]). [False positive:]:- play([12,7,1,10,9]). [False positive:]:- play([12,7,5,5,10]). [False positive:]:- play([12,7,13,11,14]). [False positive:]:- play([12,11,15,10,15]). [False positive:]:- play([12,13,3,4,15]). [False positive:]:- play([12,14,7,4,2]). [False positive:]:- play([12,15,4,8,2]). [False positive:]:- play([13,2,12,3,13]). [False positive:]:- play([13,5,5,1,7]). [False positive:]:- play([13,6,15,3,8]). [False positive:]:- play([13,8,13,9,7]). [False positive:]:- play([13,12,3,5,6]). [False positive:]:- play([13,13,2,1,7]). [False positive:]:- play([14,1,4,10,15]). [False positive:]:- play([14,1,7,1,14]). [False positive:]:- play([14,2,13,7,8]). [False positive:]:- play([14,5,13,2,5]). [False positive:]:- play([14,6,4,13,12]). [False positive:]:- play([14,8,15,1,10]). [False positive:]:- play([14,12,4,3,3]). [False positive:]:- play([14,13,4,13,9]). [False positive:]:- play([15,3,12,9,10]). [False positive:]:- play([15,6,10,7,2]). [False positive:]:- play([15,9,13,4,10]). [False positive:]:- play([15,11,9,4,13]). [False positive:]:- play([15,12,11,14,2]). [False positive:]:- play([15,13,5,3,8]). [False positive:]:- play([15,13,5,6,13]). [False positive:]:- play([15,14,10,2,11]). [PREDICATE play/1] Contingency table= ________A________~A P| 500| 183| 683 |( 341.5)|( 341.5)| ~P| 0| 317| 317 |( 158.5)|( 158.5)| ~~~~~~~~~~~~~~~~~~~ 500 500 1000 [Overall accuracy= 81.70% +/- 1.22%] [Chi-square = 461.21] [Without Yates correction = 464.13] [Chi-square probability = 0.0000] yes [:- test(test_1000)? - Time taken 0.01s] |-