% Chạy: python -m clingo asp_uu_tien_va_tuple.lp 0
1 { chon(a); chon(b); chon(c) } 1.
chi_phi(a,0,4). chi_phi(b,1,0). chi_phi(c,0,6).

% Tối thiểu hóa P ở cấp 2, rồi Q ở cấp 1.
:~ chon(X), chi_phi(X,P,_). [P@2,X]
:~ chon(X), chi_phi(X,_,Q). [Q@1,X]

% Hai lớp khác nhau cùng chịu mức phạt 1.
phat(l1,1). phat(l2,1).
tong_thieu_khoa(S) :- S = #sum { W : phat(L,W) }.
tong_du_khoa(S) :- S = #sum { W,L : phat(L,W) }.
#show chon/1.
#show tong_thieu_khoa/1.
#show tong_du_khoa/1.