exemple4

The subject which is to us propos¨&brvbar is as follows: calculation of the degr¨&brvbar d&iexcl &ma

(e(2,3)., 100)
(e(2,4)., 100)
(e(1,4)., 100)
(e(1,3)., 100)
(e(1,2)., 100)
(v(1)., 100)
(v(2)., 100)
(v(3)., 100)
(v(4)., 100)
(faux :- rouge(2), rouge(3), not faux., 100)
(faux :- rouge(2), rouge(4), not faux., 100)
(faux :- rouge(1), rouge(4), not faux., 100)
(faux :- rouge(1), rouge(3), not faux., 100)
(faux :- rouge(1), rouge(2), not faux., 100)
(faux :- bleu(2), bleu(3), not faux., 100)
(faux :- bleu(2), bleu(4), not faux., 100)
(faux :- bleu(1), bleu(4), not faux., 100)
(faux :- bleu(1), bleu(3), not faux., 100)
(faux :- bleu(1), bleu(2), not faux., 100)
(faux :- vert(2), vert(3), not faux., 100)
(faux :- vert(2), vert(4), not faux., 100)
(faux :- vert(1), vert(4), not faux., 100)
(faux :- vert(1), vert(3), not faux., 100)
(faux :- vert(1), vert(2), not faux., 100)
(vert(1) :- not rouge(1), not bleu(1)., 60)
(vert(2) :- not rouge(2), not bleu(2)., 60)
(vert(3) :- not rouge(3), not bleu(3)., 60)
(vert(4) :- not rouge(4), not bleu(4)., 60)
(bleu(1) :- not rouge(1), not vert(1)., 30)
(bleu(2) :- not rouge(2), not vert(2)., 30)
(bleu(3) :- not rouge(3), not vert(3)., 30)
(bleu(4) :- not rouge(4), not vert(4)., 30)
(rouge(1) :- not vert(1), not bleu(1)., 80)
(rouge(2) :- not vert(2), not bleu(2)., 80)
(rouge(3) :- not vert(3), not bleu(3)., 80)
(rouge(4) :- not vert(4), not bleu(4)., 80)
(col(1) :- rouge(1)., 100)
(col(2) :- rouge(2)., 100)
(col(3) :- rouge(3)., 100)
(col(4) :- rouge(4)., 100)
(col(1) :- vert(1)., 100)
(col(2) :- vert(2)., 100)
(col(3) :- vert(3)., 100)
(col(4) :- vert(4)., 100)
(col(1) :- bleu(1)., 100)
(col(2) :- bleu(2)., 100)
(col(3) :- bleu(3)., 100)
(col(4) :- bleu(4)., 100)