home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l224 / 2.img / CHAPXMPL.ZIP / ADDPRO.PRO < prev    next >
Encoding:
Text File  |  1990-10-29  |  292 b   |  12 lines
  1. /* ADDPRO.PRO */
  2.  
  3. global predicates
  4.    add(integer,integer,integer) - (i,i,o),(i,o,i),(o,i,i)
  5.                                   language asm
  6.  
  7. goal
  8.    add(2,3,X), write("2 + 3 = ",X),nl,
  9.    add(2,Y,5), write("5 - 2 = ",Y),nl,
  10.    add(Z,3,5), write("5 - 3 = ",Z),nl,
  11.    readchar(_).
  12.