home *** CD-ROM | disk | FTP | other *** search
/ Programmer Plus 2007 / Programmer-Plus-2007.iso / Programming / Borland Plateform / Turbo Prolog 2 / EXAMPL13.PRO < prev    next >
Encoding:
Prolog Source  |  1986-04-24  |  423 b   |  15 lines
  1.                /* Program 13 */
  2.  
  3. domains
  4.     title,author = symbol
  5.     pages        = integer
  6.     publication  = book(title,pages)
  7. predicates
  8.     written_by(author,publication)
  9.     long_novel(publication)
  10. clauses
  11.     written_by(fleming,book("DR NO",210)).
  12.     written_by(melville,book("MOBY DICK",600)).
  13.     long_novel(book(Title,Length)):-written_by(_,book(Title,Length)),
  14.                        Length>300.
  15.