rendered paste body:- 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