home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / EXAMPLES.ARC / CH08EX06.PRO < prev    next >
Encoding:
Prolog Source  |  1988-06-21  |  340 b   |  18 lines
  1. /*
  2.    Turbo Prolog 2.0 Chapter 8, Example Program 6
  3.    
  4.    Copyright (c) 1986, 88 by Borland International, Inc
  5.    
  6. */
  7.    
  8. domains
  9.    namelist = name*
  10.    name = symbol
  11.  
  12. predicates
  13.    is_a_member_of(name, namelist)
  14.  
  15. clauses
  16.    is_a_member_of(Name, [Name|_]).
  17.    is_a_member_of(Name, [_|Tail]) :- is_a_member_of(Name, Tail).
  18.