home *** CD-ROM | disk | FTP | other *** search
/ Power-Programmierung / CD1.mdf / prolog / library / prolo_c / exampl15.pro < prev    next >
Text File  |  1986-10-06  |  352b  |  21 lines
  1. /* Program 15 */
  2. /*
  3.   Goals to enter are on page 57 of the manual.
  4. */
  5.  
  6. domains
  7.     name = symbol
  8.  
  9. predicates
  10.     father(name,name)
  11.     everybody
  12.  
  13. clauses
  14.     father(leonard,katherine).
  15.     father(carl,jason).
  16.     father(carl,marilyn).
  17.     everybody if
  18.         father(X,Y),
  19.         write(X," is ",Y,"'s father\n") and
  20.         fail.
  21.