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