home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / EXAMPLES.ARC / CH05EX01.PRO < prev    next >
Encoding:
Prolog Source  |  1988-06-21  |  523 b   |  26 lines
  1. /*
  2.    Turbo Prolog 2.0 Chapter 5, Example Program 1
  3.    
  4.    Copyright (c) 1986, 88 by Borland International, Inc
  5.    
  6. */
  7.    
  8. domains
  9.    title, author = symbol
  10.    pages         = integer
  11.  
  12. predicates
  13.    book(title, pages)
  14.    written_by(author, title)
  15.    long_novel(title)
  16.  
  17. clauses
  18.    written_by(fleming, "DR NO").
  19.    written_by(melville, "MOBY DICK").
  20.    book("MOBY DICK", 250).
  21.    book("DR NO", 310).
  22.    long_novel(Title) :- 
  23.       written_by(_, Title),
  24.       book(Title, Length),
  25.       Length > 300.
  26.