home *** CD-ROM | disk | FTP | other *** search
/ ARM Club 1 / ARM_CLUB_CD.iso / contents / apps / languages / progs / binpro330 / !BinPro330_progs_lgraph < prev    next >
Encoding:
Text File  |  1994-12-16  |  224 b   |  13 lines
  1. p:-[lgraph].
  2.  
  3. path(X,X,[X]).
  4. path(X,Z,[X|Xs]):-linked(X,Y),path(Y,Z,Xs).
  5.  
  6. linked(X,Y):-c(X,Ys),member(Y,Ys).
  7.  
  8. go(Xs):-
  9.   c(1,[2,3]) -: c(2,[1,4]) -: c(3,[1,5]) -: c(4,[1,5]) -:
  10.   path(1,5,Xs).
  11.  
  12. go:-go(Xs),write(Xs),nl,fail.
  13.