home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / REFEXAMP.ARC / ASSERTA1.PRO < prev    next >
Encoding:
Text File  |  1988-06-21  |  414 b   |  15 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    assert(person("Dan",26,"",8600)),
  11.     assert(person("Kelly",27,"",8600)),
  12.     assert(person("Rob",23,"",9800)),
  13.     assert(city(8600,"Scoots Valley")),
  14.     assert(city(6800,"Santa Crutz")).
  15.