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

export new_variables_in_term and variables_within_term (obs from Jiefei Ma).

Browse Source
This commit is contained in:
Vitor Santos Costa 2010-03-04 23:45:33 +00:00
parent abec8208d3
commit cef4a27d1c
1 changed files with 13 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
library/terms.yap
View File

@ -16,17 +16,19 @@
*************************************************************************/ *************************************************************************/
:- module(terms, [ :- module(terms, [
term_hash/2, term_hash/2,
term_hash/4, term_hash/4,
instantiated_term_hash/4, instantiated_term_hash/4,
variant/2, variant/2,
unifiable/3, unifiable/3,
subsumes/2, subsumes/2,
subsumes_chk/2, subsumes_chk/2,
cyclic_term/1, cyclic_term/1,
acyclic_term/1, acyclic_term/1,
variable_in_term/2 variable_in_term/2,
]). variables_within_term/3,
new_variables_in_term/3
]).
term_hash(T,H) :- term_hash(T,H) :-
term_hash(T, -1, 33554432, H). term_hash(T, -1, 33554432, H).