:- ensure_loaded('a1handin.pl').
:- properly_ordered([1]).
:- properly_ordered([2, 1]).
:- properly_ordered([3, 2, 1]).

 [orderedlsttest].
ERROR: (/home/plouj/3402/a1/orderedlsttest.pl:2):
	catch/3: Undefined procedure: properly_ordered/1
Warning: (/home/plouj/3402/a1/orderedlsttest.pl:2):
	Goal (directive) failed: user:properly_ordered([1])
ERROR: (/home/plouj/3402/a1/orderedlsttest.pl:3):
	catch/3: Undefined procedure: properly_ordered/1
Warning: (/home/plouj/3402/a1/orderedlsttest.pl:3):
	Goal (directive) failed: user:properly_ordered([2, 1])
ERROR: (/home/plouj/3402/a1/orderedlsttest.pl:4):
	catch/3: Undefined procedure: properly_ordered/1
Warning: (/home/plouj/3402/a1/orderedlsttest.pl:4):
	Goal (directive) failed: user:properly_ordered([3, 2, 1])
% orderedlsttest compiled 0.06 sec, 0 bytes