home *** CD-ROM | disk | FTP | other *** search
/ Turbo Toolbox / Turbo_Toolbox.iso / 1987 / 03 / weg.pro < prev   
Encoding:
Text File  |  1987-02-03  |  517 b   |  24 lines
  1.  
  2. "Weg ohne Schleifen"
  3.  
  4. guter-weg(l) -> gute-liste(l) weg(l);
  5.  
  6. weg(x.nil) -> station(x);
  7. weg(x.x'.l) -> strecke(x,x') weg(x'.l);
  8.  
  9. strecke(x,x') -> station(x) station(x');
  10.  
  11. station(Marseille) ->;
  12. station(Paris) ->;
  13. station(Stuttgart) ->;
  14.  
  15. gute-liste(l) -> freeze(l,gute-liste'(l));
  16.  
  17. gute-liste'(nil) ->;
  18. gute-liste'(x.l) -> nicht-element(x,l) gute-liste(l);
  19.  
  20. nicht-element(x,l) -> freeze(l,nicht-element'(x,l));
  21.  
  22. nicht-element'(x,nil) ->;
  23. nicht-element'(x,x'.l) -> dif(x,x') nicht-element(x,l);
  24.