home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / REFEXAMP.ARC / ASSERT2.PRO < prev    next >
Encoding:
Text File  |  1988-06-21  |  683 b   |  20 lines
  1. %=========================== assert2           ============================
  2. /*
  3.    Example for :  ASSERT2,  ASSERTZ2
  4. */   
  5. domains
  6.    name, address, cityname = string
  7.    age, zipcode = integer
  8.    
  9. database - persons
  10.    person(name, age, address, zipcode)                      /* Name = persons */
  11. database - cities                                           /* Name = cities  */
  12.    city(zipcode, cityname)       
  13.    
  14. goal
  15.    assert(person("Dan", 26, "", 8600), persons),
  16.    assert(person("Kelly", 27, "", 8600), persons),
  17.    assertz(person("Rob", 23, "", 9800), persons),
  18.    assertz(city(8600, "Scotts Valley"), cities),
  19.    assert(city(6800, "Santa Cruz"), cities).
  20.