home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / LAZY.LF < prev    next >
Text File  |  1996-06-04  |  227b  |  16 lines
  1. % m_list <| list.
  2. % m_cons <| cons.
  3. % m_nil  <| nil.
  4.  
  5. m_cons <| m_list.
  6. m_nil  <| m_list.
  7.  
  8. delay_check(m_cons)?
  9. :: m_cons(N,m_list(N-1)).
  10.  
  11. :: m_nil(0).
  12.  
  13. % Predicate using m_list:
  14. sel(0,m_nil).
  15. sel(I,m_cons(N,T)) :- sel(I-1,T).
  16.