eof/0

eof

Check for end-of-file

Remarks

The eof/0 checks whether the current file positionis at the end of the file. If so, eof/0 succeeds; otherwise, it fails.

Example

my_consult(FileName) :-
  see(FileName),
    repeat,
      read(Term),
      assertz(Term),
    eof.