home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / REFEXAMP.ARC / OPNREAD2.PRO < prev    next >
Encoding:
Text File  |  1988-06-21  |  334 b   |  19 lines
  1. %====================== openread/2             ===============================
  2. domains
  3.   file = input
  4.   
  5. predicates
  6.   repfile(file)
  7.  
  8. clauses
  9.   repfile(_).
  10.   repfile(F):-
  11.      not(eof(F)),
  12.      repfile(F).
  13.      
  14. goal 
  15.   openread(input,"dd.txt"),
  16.   readdevice(input),
  17.   repfile(input),
  18.   readln(L),write(L),nl,
  19.   fail.