home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / ANSWERS.ARC / ANS_196B.PRO < prev    next >
Encoding:
Prolog Source  |  1988-06-21  |  639 b   |  31 lines
  1. /*
  2.    Turbo Prolog 2.0, Answer to second Exercise on page 196.
  3.    
  4.    Copyright (c) 1986, 88 by Borland International, Inc
  5. */
  6.    
  7. /*   
  8.  *  This is an example of multiple predicate declarations.
  9.  */
  10.  
  11. Domains
  12.   name        = symbol
  13.  
  14.   namelist    = name* 
  15.   integerlist = integer*    
  16.   reallist    = real*
  17.   stringlist  = string*
  18.   charlist    = char*
  19.   
  20. Predicates
  21.   member ( name, namelist )
  22.   member ( real, reallist )
  23.   member ( integer, integerlist )
  24.   member ( string, stringlist )
  25.   member ( char, charlist )
  26.   
  27. Clauses
  28.   member(Head, [Head|_]).
  29.   member(Element, [_|Tail]) :-
  30.       member(Element, Tail).  
  31.