% Liệt kê: clingo suy_luan_uu_tien.lp 0
% Chuyển ưu tiên thành cấm: clingo suy_luan_uu_tien.lp 0 -c hard=1
#const hard=0.

% Sinh mọi tổ hợp dạy sáng thứ Hai và sáng thứ Sáu.
{ day(a,t2); day(a,t6) }.

% Nhãn giải thích cho ưu tiên có điều kiện.
nen_tranh(a,t6) :- day(a,t2).
vi_pham(a) :- day(a,t2), day(a,t6).

% Điểm 0 nếu không vi phạm, 5 nếu vi phạm.
diem(D) :- D = #sum { 5,G : vi_pham(G) }.

% Bật chế độ cứng mới loại nghiệm có vi phạm.
:- hard=1, vi_pham(a).

#show day/2.
#show nen_tranh/2.
#show vi_pham/1.
#show diem/1.