quads: FAILED tests/misc/quads.pl:97 ?- member(X,[1,2]). expected: X=1;X=99 quads: FAILED tests/misc/quads.pl:103 ?- X=1. expected: X=1,unexpected quads: FAILED tests/misc/quads.pl:108 ?- X=f(Y,Z),Y=Z. expected: X=f(Y,Y) quads: FAILED member_2, tests/misc/quads.pl:126 ?- member(X,[1,2]). expected: X=1;X=99 quads: FAILED ball_1, tests/misc/quads.pl:148 ?- throw(error(_A,_B)). expected: error(X,X) quads: FAILED ball_2, tests/misc/quads.pl:154 ?- throw(f(A,A)). expected: throw(f(X,Y)) quads: FAILED ball_3, tests/misc/quads.pl:160 ?- throw(f(X)). expected: throw(f(X)) quads: FAILED ball_4, tests/misc/quads.pl:163 ?- throw(error(type_error(atom,[X,Y]),[])). expected: type_error(atom,[X,X]) quads: FAILED outputs_4, tests/misc/quads.pl:208 ?- write(abc),nl. expected: outputs([n,o,p,e]),true quads: FAILED ellipsis_3, tests/misc/quads.pl:222 ?- X=1. expected: X=f(...) quads: FAILED more_3, tests/misc/quads.pl:237 ?- member(X,[1,2,3]). expected: X=9, ... quads: MALFORMED hand_1, hand-written.pl:1 ?- X=1. not an answer: 1=X quads: MALFORMED hand_2, hand-written.pl:2 ?- Y=1. not an answer: Y=2 quads: MALFORMED hand_4, hand-written.pl:4 ?- V=f(W),W=1. not an answer: V=f(W) quads: 54 run, 40 passed, 14 failed.