home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / NONSTRIC.L02 < prev    next >
Text File  |  1996-06-04  |  573b  |  27 lines
  1.  
  2. non_strict(foo)?
  3. foo(X) :- write(X), nl.
  4.  
  5. faa(X) :- write(X), nl.
  6.  
  7. toto1 :- write(N:(2*4)), setq(a,N).
  8. toto2 :- setq(a,N), write(N:(2*4)).
  9.  
  10. toto3 :- foo(N:(2*4)), setq(a,N).
  11. toto4 :- setq(a,N), foo(N:(2*4)).
  12.  
  13. toto5 :- faa(N:(2*4)), setq(a,N).
  14. toto6 :- setq(a,N), faa(N:(2*4)).
  15.  
  16. toto7 :- foo(N), faa(N:(2*4)), setq(a,N).
  17. toto8 :- foo(N), setq(a,N), faa(N:(2*4)).
  18.  
  19. toto9 :- faa(N:(2*4)), foo(N), setq(a,N).
  20. totoa :- setq(a,N), foo(N), faa(N:(2*4)).
  21.  
  22. totob :- faa(N:(2*4)), setq(a,N), foo(N).
  23. totoc :- setq(a,N), faa(N:(2*4)), foo(N).
  24.  
  25. tata :- N = 2*4, write(N), setq(a,N).
  26.  
  27.