lop(a,2). lop(b,1).
ca(1..4).
ung_vien(L,S) :- lop(L,D), ca(S), S+D-1<=4.
1 { bat_dau(L,S) : ung_vien(L,S) } 1 :- lop(L,_).
:- not bat_dau(b,3).
chiem(L,T) :- bat_dau(L,S), lop(L,D), ca(T), T>=S, T<S+D.
:- chiem(a,T), chiem(b,T).
#show bat_dau/2.
#show chiem/2.