home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / REFEXAMP.ARC / READTERM.PRO < prev    next >
Encoding:
Text File  |  1988-06-21  |  461 b   |  23 lines
  1. %====================== readterm/1            ===============================
  2. domains
  3.    file = dbase
  4.  
  5. database - mydbase
  6.    ...
  7.  
  8. predicates
  9.    my_consult(string)
  10.    repeat(file)
  11.  
  12. clauses
  13.    my_consult(FileName) :-
  14.       openread(dbase, FileName),
  15.       readdevice(dbase),
  16.       repeat(dbase),
  17.       readterm(mydbase, Term),
  18.       assertz(Term),
  19.       fail.
  20.    my_consult(_).
  21.  
  22.    repeat(_).
  23.    repeat(File) :- not(eof(File)), repeat(File).