% -*- Prolog -*-
%
% Compilation: simple arithmetic.
%
% $Id: 203,v 1.4 2000/11/13 11:55:05 peteg Exp $

:- compile(test/2).

test(X, Y) :- 3 =\= X + Y.

main :-
	write(t), nl, test(2,2),
	write(t), nl, test(2,3),
	write(t), nl, test(3,3),
	write(t).
