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