![]() |
YAP 7.1.0
|
read_clause( +Stream, -Clause, ?Opts) More...
read_clause( +Stream, -Clause, ?Opts)
properties: deterministic
x * Same as read_clause/3 , but from the standard input stream
properties: deterministic
This predicate receives a set of options OPts based on read_term/3 , but specific to readin clauses The following options are considered:
comments
option unifies its argument with the comments in the term, represented as stringsprocess_comments
option calls a hook, it is current ignored by YAPterm_position
unifies its argument with a term describing the position of the termsyntax_errors
flag controls response to syntactic errors, the default is dec10
The next two options are called implicitly:
module
option is initialized to the current source module, by defaultsingletons
option is set from the single var flag