prolog::file_filter/3¶

file_filter(+ FileIn, + FileOut, + Goal)* is meta

_FileIn_File to process _FileOut_Output file, often user_error _Goal_to be metacalled, receives FileIn and FileOut as extra arguments return:
succeeds

For every line LineIn in file FileIn, execute call(Goal,LineIn,LineOut), and output LineOut to file FileOut.

The input stream is accessible through the alias filter_input, and the output stream is accessible through filter_output.

Private-func:¶

1. prolog::file_filter_3::file_filter/3(int ARG1, int ARG2, int ARG3)():