home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / EXAMPLES / CH21EX02.PRO < prev    next >
Encoding:
Prolog Source  |  1990-03-26  |  368 b   |  18 lines
  1. /*
  2.    Copyright (c) 1986, 90 by Prolog Development Center
  3. */
  4. domains
  5.    refinteger = integer
  6.    reflist = reference refinteger*
  7.  
  8. predicates
  9.    member(refinteger, reflist)
  10.    append(reflist, reflist, reflist)
  11.  
  12. clauses
  13.    member(X, [X|_]).
  14.    member(X, [_|L]) :- member(X, L).
  15.  
  16.    append([], L, L).
  17.    append([X|L1], L2, [X|L3]) :- append(L1, L2, L3).
  18.