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

some doc fixes (obs from David Powers)

Browse Source
This commit is contained in:
Vítor Santos Costa 2010-09-30 20:52:20 +01:00
parent 4ae92544b2
commit 706a707d78
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
docs/yap.tex
View File

@ -3884,13 +3884,15 @@ Quotient.
Integer quotient.
@item @var{X} mod @var{Y} [ISO]
Integer remainder.
Integer module operator, always positive.
@item @var{X} rem @var{Y} [ISO]
Integer remainder, the same as @code{mod}.
Integer remainder, similar to @code{mod} but always has the same sign
@code{X}.
@item @var{X} div @var{Y} [ISO]
Integer division, as if defined by @code{(@var{X} - @var{X} mod @var{Y}) // @var{Y}}.
Integer division, as if defined by @code{(@var{X} - @var{X} mod @var{Y})
// @var{Y}}.
@item exp(@var{X}) [ISO]
Natural exponential.
@ -12931,7 +12933,8 @@ The argument to @code{block/1} is a condition on a goal or a conjunction
of conditions, with each element separated by commas. Each condition is
of the form @code{predname(@var{C1},...,@var{CN})}, where @var{N} is the
arity of the goal, and each @var{CI} is of the form @code{-}, if the
argument must suspend until the variable is bound, or @code{?}, otherwise.
argument must suspend until the first such variable is bound, or
@code{?}, otherwise.
@item wait/1
The argument to @code{wait/1} is a predicate descriptor or a conjunction