home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / REFEXAMP / BEEP0.PRO < prev    next >
Encoding:
Text File  |  1990-03-26  |  270 b   |  10 lines
  1. %======================       beep/0             ============================
  2. PREDICATES
  3.   input_integer(INTEGER)
  4.  
  5. CLAUSES
  6.   input_integer(X):-write("Write an integer: "),readint(X),!.
  7.   input_integer(X):-beep,input_integer(X).
  8.  
  9. GOAL input_integer(X),write(X).
  10.