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

document change in term_expansion and goal_expansion.

Browse Source
This commit is contained in:
Vitor Santos Costa 2010-02-28 10:10:23 +00:00
parent 8582d4ff45
commit e70bd6d983
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/yap.tex
View File

@ -6395,6 +6395,7 @@ Grammar related built-in predicates:
@table @code @table @code
@item @var{CurrentModule}:expand_term(@var{T},-@var{X})
@item user:expand_term(@var{T},-@var{X}) @item user:expand_term(@var{T},-@var{X})
@findex expand_term/2 @findex expand_term/2
@syindex expand_term/2 @syindex expand_term/2
@ -6405,11 +6406,12 @@ Grammar related built-in predicates:
This predicate is used by YAP for preprocessing each top level This predicate is used by YAP for preprocessing each top level
term read when consulting a file and before asserting or executing it. term read when consulting a file and before asserting or executing it.
It rewrites a term @var{T} to a term @var{X} according to the following It rewrites a term @var{T} to a term @var{X} according to the following
rules: first try to use the user defined predicate rules: first try @code{term_expansion/2} in the current module, and then try to use the user defined predicate
@code{user:term_expansion/2}. If this call fails then the translating process @code{user:term_expansion/2}. If this call fails then the translating process
for DCG rules is applied, together with the arithmetic optimizer for DCG rules is applied, together with the arithmetic optimizer
whenever the compilation of arithmetic expressions is in progress. whenever the compilation of arithmetic expressions is in progress.
@item @var{CurrentModule}:goal_expansion(+@var{G},+@var{M},-@var{NG})
@item user:goal_expansion(+@var{G},+@var{M},-@var{NG}) @item user:goal_expansion(+@var{G},+@var{M},-@var{NG})
@findex goal_expansion/3 @findex goal_expansion/3
@snindex goal_expansion/3 @snindex goal_expansion/3