home *** CD-ROM | disk | FTP | other *** search
/ Power-Programmierung / CD1.mdf / prolog / library / prolo_c / exampl14.pro < prev    next >
Encoding:
Prolog Source  |  1986-10-07  |  422 b   |  24 lines
  1. /* Program 14 */
  2. /*
  3.   Goals to enter are on pp. 54-56 of the manual.
  4. */
  5.  
  6. domains
  7.     name, thing = symbol
  8.  
  9. predicates
  10.     likes(name,thing)
  11.     reads(name)
  12.     is_inquisitive(name)
  13.  
  14. clauses
  15.     likes(john,wine).
  16.     likes(lance,skiing).
  17.     likes(Z,books) if
  18.         reads(Z) and
  19.         is_inquisitive(Z).
  20.     likes(lance,books).
  21.     likes(lance,films).
  22.     reads(john).
  23.     is_inquisitive(john).
  24.