list(a,b,c).

list(X,Y,Z) fd :- X<Y, Y<Z.

query list(X,Y,Z).