home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / REFEXAMP / ASSERTA2.PRO < prev    next >
Encoding:
Text File  |  1990-03-26  |  568 b   |  18 lines
  1. %=====================      asserta/2             ==========================
  2. domains
  3.    name, address, cityname = string
  4.    age, zipcode = integer
  5.  
  6. database - persons/* Name = persons */
  7.    person(name, age, address, zipcode)
  8.  
  9. database - cities/* Name = cities */
  10.    city(zipcode, cityname)
  11.  
  12. goal
  13.    asserta(person("Leo", 31, "", 2605), persons),
  14.    asserta(person("Per", 29, "", 2605), persons),
  15.    asserta(person("Michael", 36, "", 30318), persons),
  16.    asserta(city(2605, "Br¢ndby, Copenhagen"), cities),
  17.    asserta(city(30318, "Atlanta"), cities).
  18.