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