Path(a,e)

Goal

Постановка 4.

Шлях у заданому неявно скінченому орграфі:

domains

top=symbol

listtop=top*

predicates

edge(top,top)

path (top,top,listtop,listtop)

path (top,top)

member(top,listtop)

reverse(listtop,listtop,listtop)

clauses

edge(a,b).

edge(b,c).

edge(c,a).

edge(b,d).

edge(d,e).

member(A,[A|_]):-!.

member(A,[_|T]):-member(A,T).

reverse([],T2,T2).

reverse([H|T],T1,T2):-reverse(T,[H|T1],T2).

path(A,B,P,[B|P]):-edge(A,B).

path(A,B,P,P2):-edge(A,N),not(member(N,P)),

P1=[N|P], path (N,B,P1,P2).

path(A,B):-

path(A,B,[A],P),reverse(P,[],Res),write(Res).

У цій програмі предикат path(A,B,[A],P) відшукує шлях в оберненому вигляді, тобто спочатку йде остання вершина, а наприкінці – перша. Використання ж предиката reverse(P,[],Res) відновлює порядок відвідань вершин.

Дата добавления: 2014-01-04