home *** CD-ROM | disk | FTP | other *** search
/ Power-Programmierung / CD1.mdf / prolog / library / prolo_c / exampl11.pro < prev    next >
Text File  |  1986-10-06  |  257b  |  16 lines
  1. /* Program 11 */
  2. /*
  3.   Goals to enter are on page 47 of the manual.
  4. */
  5.  
  6. domains
  7.     namelist = name*
  8.     name = symbol
  9.  
  10. predicates
  11.     member(name,namelist).
  12.  
  13. clauses
  14.     member(Name,[Name|_]).
  15.     member(Name,[_|Tail]) if member(Name,Tail).
  16.