home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / EXAMPLES / CH05EX01.PRO < prev    next >
Encoding:
Prolog Source  |  1990-03-26  |  463 b   |  23 lines
  1. /*
  2.    Copyright (c) 1986, 90 by Prolog Development Center
  3. */
  4.    
  5. domains
  6.    title, author = symbol
  7.    pages         = integer
  8.  
  9. predicates
  10.    book(title, pages)
  11.    written_by(author, title)
  12.    long_novel(title)
  13.  
  14. clauses
  15.    written_by(fleming, "DR NO").
  16.    written_by(melville, "MOBY DICK").
  17.    book("MOBY DICK", 250).
  18.    book("DR NO", 310).
  19.    long_novel(Title) :- 
  20.       written_by(_, Title),
  21.       book(Title, Length),
  22.       Length > 300.
  23.