#const k=2.
lop(a;b;c).
ca(1..2).
goc(L,1) :- lop(L).
1 { xep(L,C) : ca(C) } 1 :- lop(L).
doi(L) :- goc(L,C0), xep(L,C), C!=C0.
:- #count { L : doi(L) } < k.
#show xep/2.
#show doi/1.