home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / EXAMPLES.ARC / CH22EX02.PRO < prev    next >
Encoding:
Text File  |  1988-06-21  |  361 b   |  22 lines
  1. /*
  2.    Turbo Prolog 2.0 Reference Guide Chapter 2,  Example Program 2
  3.    
  4.    Copyright (c) 1986, 88 by Borland International, Inc
  5.    
  6. */
  7. trace
  8.  
  9. domains
  10.    list=integer*
  11.  
  12. predicates
  13.    eq(integer, integer)
  14.    member(integer, list)
  15.  
  16. clauses
  17.    member(X, [X|_]).
  18.    member(X,[_|L]) :- member(X,L).
  19.    eq(X,X).
  20.  
  21. goal
  22.    member(X,[1,2]), eq(X,2).