home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / EXAMPLES.ARC / CH10EX04.PRO < prev    next >
Encoding:
Prolog Source  |  1988-06-21  |  513 b   |  25 lines
  1. /*
  2.    Turbo Prolog 2.0 Chapter 10, Example Program 4
  3.    
  4.    Copyright (c) 1986, 88 by Borland International, Inc
  5.    
  6. */
  7.    
  8. domains
  9.    list = integer*
  10.  
  11. predicates
  12.    member(integer, list)
  13.    intersect(list, list, list)
  14.  
  15. clauses
  16.    member(X, [X|_]).
  17.    member(X, [_|Y]) :- member(X, Y).
  18.    intersect([], [], _).
  19.    intersect([X|Y], [X|L1], L2) :-
  20.       member(X, L2), intersect(Y, L1, L2). 
  21.   intersect(Y, [_|L1], L2) :-
  22.       intersect(Y, L1, L2).
  23.  
  24. /*  Hint: This program needs a cut.  */
  25.