home *** CD-ROM | disk | FTP | other *** search
/ Piper's Pit BBS/FTP: ibm 0000 - 0009 / ibm0000-0009 / ibm0003.tar / ibm0003 / TDBPRO3.ZIP / CHAPXMPL.ZIP / ADDPRO.PRO < prev    next >
Encoding:
Text File  |  1988-08-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.