home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / EXAMPLES / CH06EX04.PRO < prev    next >
Encoding:
Prolog Source  |  1990-03-26  |  480 b   |  20 lines
  1. /*
  2.    Copyright (c) 1986, 90 by Prolog Development Center
  3. */
  4.    
  5. domains
  6.    articles            = book(title, author) ; 
  7.                          horse(name) ; boat ; 
  8.                          bankbook(balance)
  9.    title, author, name = symbol
  10.    balance             = real
  11.  
  12. predicates
  13.    owns(name,articles)
  14.  
  15. clauses
  16.    owns(john, book("A friend of the family", "Irwin Shaw")).
  17.    owns(john, horse(blacky)).
  18.    owns(john, boat).
  19.    owns(john, bankbook(1000)).
  20.