% Nghiên cứu - Giảng dạy - Tài liệu | Ví dụ mô phỏng MINI-01
% Chạy: clingo xep-lich-mini.lp
% Nếu cài dưới dạng gói Python: python -m clingo xep-lich-mini.lp
% t2, t4, t6 lần lượt là sáng thứ Hai, thứ Tư, thứ Sáu.
% p101 là phòng thường. lab02 là phòng thực hành.

lop(ctdl; kiemthu; android; phantich).
ca(t2; t4; t6).
phong(p101; lab02).
gv(ctdl,a). gv(phantich,a). gv(kiemthu,b). gv(android,c).
thuc_hanh(kiemthu; android).

1 { xep(L,C,P) : ca(C), phong(P) } 1 :- lop(L).

:- xep(L,C,P), xep(M,C,P), L < M.
:- xep(L,C,P), xep(M,C,Q), gv(L,G), gv(M,G), L < M.
:- thuc_hanh(L), xep(L,C,P), P != lab02.

day(G,C) :- xep(L,C,P), gv(L,G).
phat(a) :- day(a,t2), day(a,t6).
#minimize { 5,G : phat(G) }.
#show xep/3.