home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / EXAMPLES / CH08EX02.PRO < prev    next >
Encoding:
Prolog Source  |  1990-03-26  |  315 b   |  16 lines
  1. /*
  2.    Copyright (c) 1986, 90 by Prolog Development Center
  3. */
  4.    
  5. domains
  6.    list = integer* /* or whatever type you want to use */
  7.  
  8. predicates
  9.    length_of(list, integer)
  10.  
  11. clauses
  12.    length_of([], 0).
  13.    length_of([_|T], L) :- length_of(T, TailLength),
  14.                          L = TailLength + 1.
  15.  
  16.