% -*- Prolog -*-
%
% Checkout the clause indexer.
%
% $Id: 016,v 1.2 2000/08/05 01:22:18 peteg Exp $

p(a, a, a).
p(b, a, b).
p(c, a, b).
p(c, a, b).
p(c, b, b).
p(d, c, b).
p(d, c, c).

test :-	    p(a, X, Y), write(X), write(", "), write(Y), nl, fail.
test :- nl, p(X, a, Y), write(X), write(", "), write(Y), nl, fail.
test :-	nl, p(X, Y, b), write(X), write(", "), write(Y), nl, fail.

main :-
	test.
