home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / EXAMPLES / CH10EX04.PRO < prev    next >
Encoding:
Prolog Source  |  1990-03-26  |  452 b   |  22 lines
  1. /*
  2.    Copyright (c) 1986, 90 by Prolog Development Center
  3. */
  4.    
  5. domains
  6.    list = integer*
  7.  
  8. predicates
  9.    member(integer, list)
  10.    intersect(list, list, list)
  11.  
  12. clauses
  13.    member(X, [X|_]).
  14.    member(X, [_|Y]) :- member(X, Y).
  15.    intersect([], [], _).
  16.    intersect([X|Y], [X|L1], L2) :-
  17.       member(X, L2), intersect(Y, L1, L2). 
  18.   intersect(Y, [_|L1], L2) :-
  19.       intersect(Y, L1, L2).
  20.  
  21. /*  Hint: This program needs a cut.  */
  22.