| Did you know ... | Search Documentation: | 
|  | Predicate read_file_to_terms/3 | 
Note that the output options of read_term/3, such as
variable_names or subterm_positions will cause
read_file_to_terms/3 to fail if Spec contains multiple terms
because the values for the different terms will not unify.