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