home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / REFEXAMP.ARC / EXIT0.PRO < prev    next >
Encoding:
Text File  |  1988-06-21  |  381 b   |  17 lines
  1. %====================== exit/2              ===============================
  2. domains
  3.    intlist = integer*
  4. database
  5.    p1(integer,char,real,string,string,intlist)
  6.    p2(integer)
  7.       
  8. predicates
  9.    readfacts
  10.    
  11. clauses
  12.    readfacts :- consult("dd.dba"),!.
  13.    readfacts :- write("\nError reading dd.dba"),exit.
  14.    
  15. goal
  16.    readfacts,
  17.    write("Database consulted").