lich(a;b;c).
phat(a,gv1,0). phat(a,gv2,0). phat(a,gv3,8).
phat(b,gv1,3). phat(b,gv2,3). phat(b,gv3,3).
phat(c,gv1,3). phat(c,gv2,2). phat(c,gv3,3).
1 { chon(L) : lich(L) } 1.
cao_nhat(M) :- chon(L), M = #max { P,G : phat(L,G,P) }.
#minimize { M@2 : cao_nhat(M); P@1,G : chon(L), phat(L,G,P) }.
#show chon/1.
#show cao_nhat/1.