home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / EXAMPLES / CH10EX02.PRO < prev    next >
Encoding:
Text File  |  1990-03-26  |  441 b   |  26 lines
  1. /*
  2.    Copyright (c) 1986, 90 by Prolog Development Center
  3. */
  4.     
  5. trace
  6. domains
  7.    list = element*
  8.    element = symbol
  9.  
  10. predicates
  11.    member(element, list)
  12.    go(list)
  13.  
  14. clauses
  15.    member(X, [X|_]).
  16.    member(X, [_|T]) :- member(X,T).
  17.  
  18.    go(X) :- member(Y, X) ,
  19.             write(Y,"\n") ,
  20.             fail.
  21.    go(X) :- member(l, X), write("True\n"), ! ;
  22.             write("False\n").
  23.  
  24. goal
  25.    go( [p,r,o,l,o,g] ).
  26.