Zbirka zadataka iz Ekspertskih sistema

1.3. Primeri na Prolog-u i LISP-u 71
B
E
C
F H D G F H F G C G
G
1
A
3 2
4 5
D E
7 6
10 12
8 9
15 11
14
D F G
C F H
Zadatak 29: Pregovori o razoružanju
Slika 65
13
C H
Zemlje X i Y pregovaraju o razoružanju. Svaka ima projektile različite snage, pri čemu je
snaga izražena jednim brojem. Svaki korak u pregovorima rezultuje jednom od sledeće dve
akcije:
1) eliminiše s obe strane po jedan projektil iste snage, ili
2) eliminiše na jednoj strani projektil snage S a na drugoj dva projektila čija je ukupna snaga
S.
Navesti niz koraka koji će dovesti do eliminacije svih projektila sa jedne ili obe strane, pri
čemu ni u jednom koraku nijedna strana ne sme imati više od jednog projektila od druge
strane. Početno stanje je sledeće:
Snage projektila zemlje X: 9, 11, 9, 3, 4, 5, 7, 18
Snage projektila zemlje Y: 12, 2, 16, 5, 7, 4, 20
Napisati program na PROLOG-u koji rešava zadati problem.
Analiza problema
Definišimo operatore pretrage u skladu sa uslovom zadatka:
1. op1(P) označava uklanjanje po jednog projektila snage P iz svake od lista. Preduslov za
primenu ovog operatora je da se i u listi X i u listi Y nalazi projektil snage P.
2. op2(P1,P2,P3) označava uklanjanje iz liste X projektila P1 i P2, a iz liste Y projektila
P3. Preduslov za primenu ovog operatora je da je lista X jednaka ili duža najviše za 1 od
liste Y i da je P1 + P2 = P3. Uslov vezan za dužine lista X i Y potreban je da se obezbedi
da, prema postavci zadatka, ni u jednom trenutku procesa uklanjanja projektila razlika
dužina ove dve liste ne bude veća od 1.
3. op3(P1,P2,P3) označava uklanjanje iz liste Y projektila P1 i P2, a iz liste X projektila
P3. Preduslov za primenu ovog operatora je da je lista Y jednaka ili duža najviše za 1 od
liste X i da je P1 + P2 = P3.
B