home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / REFEXAMP.ARC / EXIT1.PRO < prev    next >
Encoding:
Text File  |  1988-06-21  |  261 b   |  11 lines
  1. %====================== exit/1                ===============================
  2. PREDICATES
  3.   readfacts
  4.  
  5. CLAUSES
  6.   readfacts:-consult("mydba.dba"),!.
  7.   readfacts:-write("\nError reading mydba.dba"),exit(2).
  8.  
  9. GOAL    readfacts,
  10.     write("Database consulted").
  11.