lop(a;b).
ung_vien(a,1). ung_vien(a,2). ung_vien(b,2).
1 { xep(L,C) : ung_vien(L,C) } 1 :- lop(L).
#show xep/2.