% -*- Prolog -*-
%
% Cut with ';'(Either, Or) test.
%
% $Id: 051,v 1.1 2000/08/02 11:47:56 peteg Exp $

main :-
	(
	    write(1), nl, !
	;   write(2), nl, true
        ),
	write(3), nl, fail.
main :-
	write(4), nl.
