ket_thuc(a,540). co_so(a,cs1). co_so(b,cs2).
di(cs1,cs2,30). di(cs2,cs1,25).
ung_vien(560;575).
1 { bat_dau(b,T) : ung_vien(T) } 1.
:- ket_thuc(a,F), bat_dau(b,S), co_so(a,X), co_so(b,Y), di(X,Y,D), S-F<D.
#show bat_dau/2.