Input predicates

read(X)

Read one clause from the current input and unify it with X. If there is no further input, X is unified with end_of_file.

get(X)

Read one printing character from the current input file and unify the ASCII code of that character (an integer) with X.

get0(X)

Read one character from the current input file and unify the ASCII code of that character with X.

see(File)

Open File as the current input file.

seen

Close the current input file.