home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / PROGRAMS.ARC / TRAPTEST.PRO < prev    next >
Encoding:
Prolog Source  |  1988-06-21  |  455 b   |  28 lines
  1. /*****************************************************
  2.  
  3.     TRAP TEST
  4.  
  5.  Example: trapping of a file not open error
  6.  
  7. ******************************************************/
  8.  
  9. DOMAINS
  10.   FILE = dd
  11.  
  12. PREDICATES
  13.   nondeterm process(STRING)
  14.   error(INTEGER)
  15.  
  16. CLAUSES
  17.   process("a").
  18.   process("b"):-
  19.     writedevice(dd).
  20.  
  21.   error(E):-
  22.     writef("\nerror(%)",E).
  23.  
  24. GOAL     trap( process(A), E, error(E) ),
  25.     write("\nSucces process: A=",A),
  26.     fail.
  27.  
  28.