ch10ex04.pro

prolog,人工智能推理程序,运行环境prolog

/*
   Turbo Prolog 2.0 Chapter 10, Example Program 4
   
   Copyright (c) 1986, 88 by Borland International, Inc
   
*/
   
domains
   list = integer*

predicates
   member(integer, list)
   intersect(list, list, list)

clauses
   member(X, [X|_]).
   member(X, [_|Y]) :- member(X, Y).
   intersect([], [], _).
   intersect([X|Y], [X|L1], L2) :-
      member(X, L2), intersect(Y, L1, L2). 
  intersect(Y, [_|L1], L2) :-
      intersect(Y, L1, L2).

/*  Hint: This program needs a cut.  */