home *** CD-ROM | disk | FTP | other *** search
/ Turbo Toolbox / Turbo_Toolbox.iso / 1987 / 03 / kreuz.pro < prev    next >
Encoding:
Text File  |  1987-02-03  |  941 b   |  31 lines
  1. " Kreuzungen "
  2.  
  3.   kreuzung(z)  -> tier(x)
  4.                   tier(y)
  5.                   verkette(a,b,x)
  6.                   dif(b,nil)
  7.                   verkette(b,c,y)
  8.                   dif(c,nil)
  9.                   verkette(x,c,z);
  10.  
  11. verkette(nil,y,y)  ->;
  12. verkette(e.x,y,e.z)  ->  verkette(x,y,z);
  13.  
  14. amuesante-kreuzungen  ->  kreuzung(z) schreibe(z) line fail;
  15.  
  16. schreibe(nil)  ->;
  17. schreibe(a.l)  ->  outm(a) schreibe(l);
  18.  
  19. tier("e"."l"."e"."f"."a"."n"."t".nil)  ->;
  20. tier("a"."n"."t"."i"."l"."o"."p"."e".nil)  ->;
  21. tier("p"."e"."l"."i"."k"."a"."n".nil)  ->;
  22. tier("k"."a"."n"."i"."n"."c"."h"."e"."n".nil)  ->;
  23. tier("z"."e"."i"."s"."i"."g".nil)  ->;
  24. tier("i"."g"."e"."l".nil)  ->;
  25. tier("p"."a"."n"."d"."a".nil)  ->;
  26. tier("d"."a"."c"."h"."s".nil)  ->;
  27. tier("f"."l"."a"."m"."i"."n"."g"."o".nil)  ->;
  28. tier("g"."o"."r"."i"."l"."l"."a".nil)  ->;
  29. tier("g"."r"."i"."l"."l"."e".nil)  ->;
  30. tier("l"."e"."g"."u"."a"."n".nil)  ->;
  31.