готов лаби 4 курс 1 сим / СПЗ / lp7

domains

s=symbol

sp=symbol*

i=integer

predicates

p(s,s)

road(s,s,sp)

puti(s,s)

kol(sp,i)

clauses

p(kirowohrad,odessa).

p(odessa,illichevsk).

p(odessa,ismail).

p(odessa,krivojroh).

p(ismail,krivojroh).

p(kirowohrad,dnepropetrovsk).

p(dnepropetrovsk,krivojroh).

p(dnepropetrovsk,dneprodzerjunsk).

p(dneprodzerjunsk,gorlovka).

p(kirowohrad,donetsk).

p(donetsk,gorlovka).

p(donetsk,makeevka).

p(dnepropetrovsk,gorlovka).

road(X,X,[X]).

road(X,Y,[X|P]):-p(X,N),road(N,Y,P).

puti(X,Y):-road(X,Y,Z1),

road(X,Y,Z2),

kol(Z1,N1),kol(Z2,N2),N1<N2,nl,

write(N1," Puti"),nl.

kol([],0).

kol([G|H],N):-write(G),kol(H,P),N=P+1.