#const phadoixung=0.
lop(1..2).
phong(1..2).
1 { xep(L,P) : phong(P) } 1 :- lop(L).
:- xep(1,P), xep(2,P).
:- phadoixung=1, xep(1,P), xep(2,Q), P>Q.
#show xep/2.