home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / EXAMPLES / CH06EX01.PRO < prev    next >
Encoding:
Prolog Source  |  1990-03-26  |  564 b   |  19 lines
  1. /*
  2.    Copyright (c) 1986, 90 by Prolog Development Center
  3. */
  4.    
  5. domains 
  6.    person                 = person(name,address)
  7.    name                   = name(first,last)
  8.    address                = addr(street,city,state)
  9.    street                 = street(number,street_name)
  10.    city,state,street_name = string
  11.    first,last             = string
  12.    number                 = integer
  13.  
  14. goal  
  15.    P1 = person(name(jim,mos),addr(street(5,"1st st"),igo,"CA")),
  16.    P1 = person(name(_,mos),Address),
  17.    P2 = person(name(jane,mos),Address),
  18.    write(P2).
  19.