increasing(A,B,C) :- A < B, B < C.

unique(A,B,C) :- A \== B, B \== C, C \==A.

decreasing(A,B,C) :- increasing(C,B,A).

ordered(A,B,C) :- increasing(A,B,C).
ordered(A,B,C) :- decreasing(A,B,C).

v(10). v(7). v(12). v(3).

all_incr :- writeln('Increasing:'), v(A), v(B), v(C), increasing(A,B,C), format('~w ~w ~w~n', [A,B,C]), fail.
% all_incr.

p(A, lt, B) :- A < B.
p(A, eq, B) :- A == B.
p(A, gt, B) :- A > B.

nl_when(N, When) :- N == When, nl.
nl_when(_,_).
