home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / PROFILER.LF < prev    next >
Text File  |  1996-06-04  |  431b  |  19 lines
  1. start([x,x,x,' ',o,o,o]).
  2. finish([o,o,o,' ',x,x,x]).
  3.  
  4. move([H|T],[H|U],D) :- move(T,U,D).
  5. move([x,' '|T],[' ',x|T],'x move right').
  6. move([' ',o|T],[o,' '|T],'o move left ').
  7. move([x,o,' '|T],[' ',o,x|T],'x jump right').
  8. move([' ',x,o|T],[o,x,' '|T],'o jump left ').
  9.  
  10. go(A,A,[]).
  11. go(A,C,[[M|B]|P]):-
  12.         move(A,B,M),
  13.         go(B,C,P).
  14.  
  15. solution([['Start       '|A]|S]):-
  16.         start(A),
  17.         finish(B),
  18.         go(A,B,S).
  19.