home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / REFEXAMP / EQUALS2.PRO < prev    next >
Encoding:
Text File  |  1990-03-26  |  533 b   |  22 lines
  1. %====================== equals/2              ===============================
  2. domains
  3.    dom1 = reference funci(integer, dom2)
  4.    dom2 = string
  5.  
  6. database
  7.    dbPred(dom2, dom1)
  8.    
  9. goal
  10.    asserta(dbpred("November 8 1988", funci(1,"November 8 1988"))),
  11.    X = 1,
  12.    X1 = X + 7,
  13.    S = "November ",
  14.    S1 = " 1988 ",
  15.    str_int(S2,X1),
  16.    concat(S, S2, S3),
  17.    concat(S3, S, S4),
  18.    DataStruct = funci(_,S4),
  19.    Fact = dbPred(S4, DataStruct),
  20.    dbpred(_, funci(N, _)),
  21.    DataStruct = funci(N, _),
  22.    write(Fact).