Prolog: get vs. at_end_of_stream to check end of file

Question

I read the file using the prolog and wondered about the difference in the statement:

processRead(Stream, ...) :- at_end_of_stream(Stream), !.

and

processRead(Stream, ...) :- get(Stream, Ch), Ch is -1, !.

Whether there is a?

Answer 1

First things first! Follow @mat tips !

If you need to choose, always prefer to useat_end_of_stream/1 over get/2!

• get/2outdated. If you have a ten year old code, move it.

  If your code is new, never use it. Never. Not even once.

• at_end_of_stream/1defined by iso-prolog .
• Prolog at_end_of_stream/1 — ( ) GNU Prolog, SICStus Prolog, SWI Prolog, B-Prolog Eclipse CLP.

Answer 2

, .

SWI-Prolog :

• dcg, .
• Ulrich Neumerkel library (pio) phrase_from_file/2, DCG .

: DCG , . . .. ..

Answer 3

( ) at_end_of_stream/1. , .. (, , - , get_code/2), , .

• , , , () EOF .

• at_end_of_stream/1 , ( ). , , , , . SICStus Prolog at_end_of_stream/1 , at_end_of_stream/1 .

, , , .