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

Corrected meta_predicate/1 description and examples.

This commit is contained in:
Paulo Moura 2010-11-05 22:25:32 +00:00
parent 5df973a66f
commit 1ff86ea4e5
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
docs/yap.tex
View File

@ -2339,14 +2339,16 @@ with the current source module:
@cnindex meta_predicate/1 (directive) @cnindex meta_predicate/1 (directive)
Each @var{Gi} is a mode specification. Each @var{Gi} is a mode specification.
If the argument is @code{:} or an integer, the argument is a call and If the argument is @code{:}, it does not refer directly to a predicate
must be expanded. Otherwise, the argument is not expanded. Note but must be module expanded. If the argument is an integer, the argument
that the system already includes declarations for all built-ins. is a goal or a closure and must be expanded. Otherwise, the argument is
not expanded. Note that the system already includes declarations for all
built-ins.
For example, the declaration for @code{call/1} and @code{setof/3} are: For example, the declaration for @code{call/1} and @code{setof/3} are:
@example @example
:- meta_predicate call(:), setof(?,:,?). :- meta_predicate call(0), setof(?,0,?).
@end example @end example
@end table @end table