home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / EXAMPLES / CH12EX01.PRO < prev    next >
Encoding:
Prolog Source  |  1990-03-26  |  281 b   |  16 lines
  1. /*
  2.    Copyright (c) 1986, 90 by Prolog Development Center
  3. */
  4.    
  5. domains
  6.    integerlist = integer*
  7.    namelist    = symbol*
  8.  
  9. predicates
  10.    writelist(integerlist)
  11.    writelist(namelist).
  12.  
  13. clauses
  14.    writelist([]).
  15.    writelist([H|T]) :- write(H, " "), writelist(T).
  16.