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

acyclic_term/1 should be builtin(ISO WG17, UD #174).

Browse Source
This commit is contained in:
Vitor Santos Costa 2010-08-04 21:50:19 +01:00
parent cf3cb21fd7
commit 0449bf1e7f
3 changed files with 7 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
C/unify.c
View File

@ -1009,9 +1009,9 @@ Yap_InitUnify(void)
{
Term cm = CurrentModule;
Yap_InitCPred("unify_with_occurs_check", 2, p_ocunify, SafePredFlag);
Yap_InitCPred("acyclic_term", 1, p_acyclic, SafePredFlag|TestPredFlag);
CurrentModule = TERMS_MODULE;
Yap_InitCPred("cyclic_term", 1, p_cyclic, SafePredFlag|TestPredFlag);
Yap_InitCPred("acyclic_term", 1, p_acyclic, SafePredFlag|TestPredFlag);
Yap_InitCPred("protected_unifiable", 3, p_unifiable, 0);
CurrentModule = cm;
}

12
docs/yap.tex
View File

@ -3359,6 +3359,12 @@ Same as @code{variant/2}, succeeds if @var{Term1} and @var{Term2} are variant te
Succeed if @var{Submuser} subsumes @var{Subsuned} but does not bind any
variable in @var{Subsumer}.
@item acyclic_term(?@var{Term})
@findex cyclic_term/1
@syindex cyclic_term/1
@cnindex cyclic_term/1
Succeed if the argument @var{Term} is an acyclic term.
@end table
@ -11584,12 +11590,6 @@ efficiency. They are available through the
@table @code
@item acyclic_term(?@var{Term})
@findex cyclic_term/1
@syindex cyclic_term/1
@cnindex cyclic_term/1
Succeed if the argument @var{Term} is an acyclic term.
@item cyclic_term(?@var{Term})
@findex cyclic_term/1
@syindex cyclic_term/1

1
library/terms.yap
View File

@ -24,7 +24,6 @@
subsumes/2,
subsumes_chk/2,
cyclic_term/1,
acyclic_term/1,
variable_in_term/2,
variables_within_term/3,
new_variables_in_term/3