diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Ulrich Clarification for variable_names/1 in read_term/3.

Browse Source
This commit is contained in:
Vítor Santos Costa 2014-03-11 10:32:20 +00:00
parent 8cf9e44a57
commit 6bb4475182
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
docs/yap.tex
View File

@ -5041,6 +5041,7 @@ Unify @var{Names} with a list of the form @var{Name=Var}, where
@var{Name} is the name of a non-anonymous singleton variable in the @var{Name} is the name of a non-anonymous singleton variable in the
original term, and @code{Var} is the variable's representation in original term, and @code{Var} is the variable's representation in
YAP. YAP.
The variables occur in left-to-right traversal order.
@item syntax_errors(+@var{Val}) @item syntax_errors(+@var{Val})
@findex syntax_errors/1 (read_term/2 option) @findex syntax_errors/1 (read_term/2 option)
@ -5052,10 +5053,12 @@ for detailed information.
Unify @var{Names} with a list of the form @var{Name=Var}, where @var{Name} is Unify @var{Names} with a list of the form @var{Name=Var}, where @var{Name} is
the name of a non-anonymous variable in the original term, and @var{Var} the name of a non-anonymous variable in the original term, and @var{Var}
is the variable's representation in YAP. is the variable's representation in YAP.
The variables occur in left-to-right traversal order.
@item variables(-@var{Names}) @item variables(-@var{Names})
@findex variables/1 (read_term/2 option) @findex variables/1 (read_term/2 option)
Unify @var{Names} with a list of the variables in term @var{T}. Unify @var{Names} with a list of the variables in term @var{T}.
The variables occur in left-to-right traversal order.
@end table @end table