Utility predicates for parsing a file as a list of atoms.
Author: Robert Sasak, Charles University in Prague. Adapted to Logtalk by Paulo Moura.
(no dependencies on other entities)
Reads a file character by character, parsing it into a list of atoms.
Mode and number of proofs: