home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / REFEXAMP / EOF1.PRO < prev    next >
Encoding:
Text File  |  1990-03-26  |  306 b   |  17 lines
  1. %====================== eof/1                 ===============================
  2. DOMAINS
  3.   FILE = input
  4.  
  5. PREDICATES
  6.   repfile(FILE)
  7.  
  8. CLAUSES
  9.   repfile(_).
  10.   repfile(F):-not(eof(F)),repfile(F).
  11.  
  12. GOAL    openread(input,"dd.txt"),
  13.     readdevice(input),
  14.     repfile(input),
  15.     readln(L),write(L),nl,
  16.     fail.
  17.