home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / REFEXAMP.ARC / BOUND1.PRO < prev    next >
Encoding:
Text File  |  1988-06-21  |  329 b   |  15 lines
  1. %====================== bound/1               ===============================
  2. DOMAINS
  3.   TERM  = reference var(VID); cmp(FID,TERML); int(INT)
  4.   TERML = reference TERM*
  5.   PREDNAME, FID, VID = SYMBOL
  6.   INT = INTEGER
  7.  
  8. PREDICATES
  9.   call(PREDNAME,TERML)
  10.  
  11. CLAUSES
  12.   call("<",[int(X),int(Y)]):-!,
  13.     bound(X),bound(Y),
  14.     X<Y.
  15.