home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / REFEXAMP / ASSERT2.PRO < prev    next >
Encoding:
Text File  |  1990-03-26  |  624 b   |  21 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                /* Name = persons */
  10.    person(name, age, address, zipcode)
  11.  
  12. database - cities                /* Name = cities */
  13.    city(zipcode, cityname)
  14.  
  15. goal
  16.    assertz(person("Leo", 31, "", 2605), persons),
  17.    assertz(person("Per", 29, "", 2605), persons),
  18.    assertz(person("Michael", 36, "", 30318), persons),
  19.    assertz(city(2605, "Br¢ndby, Copenhagen"), cities),
  20.    assertz(city(30318, "Atlanta"), cities).
  21.