home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / REFEXAMP.ARC / ASSERTA2.PRO < prev    next >
Encoding:
Text File  |  1988-06-21  |  482 b   |  17 lines
  1. %=====================      asserta/2             ==========================
  2. DOMAINS
  3.   NAME, ADDRESS, CITYNAME = STRING
  4.   AGE, ZIPCODE = INTEGER
  5.  
  6. DATABASE - persons
  7.   person(NAME,AGE,ADDRESS,ZIPCODE)
  8.  
  9. DATABASE - cities
  10.   city(ZIPCODE,CITYNAME)
  11.  
  12. GOAL    assert(person("Dan",26,"",8600),persons),
  13.     assert(person("Kelly",27,"",8600),persons),
  14.     assert(person("Rob",23,"",9800),persons),
  15.     assert(city(8600,"Scoots Valley"),cities),
  16.     assert(city(6800,"Santa Crutz"),cities).
  17.