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

module stuff.

Browse Source
This commit is contained in:
Vítor Santos Costa 2012-01-10 18:50:04 +00:00
parent 5ce80cfe8a
commit 37b79f663f
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pl/attributes.yap
View File

@ -183,12 +183,14 @@ prolog:copy_term(Term, Copy, Gs) :-
-> Gs = [], -> Gs = [],
copy_term(Term, Copy) copy_term(Term, Copy)
; findall(Term-Gs, ; findall(Term-Gs,
( attvars_residuals(Vs, Gs, []), '$attributes':residuals_and_delete_attributes(Vs, Gs, Term),
delete_attributes(Term)
),
[Copy-Gs]) [Copy-Gs])
). ).
residuals_and_delete_attributes(Vs, Gs, Term) :-
attvars_residuals(Vs, Gs, []),
delete_attributes(Term).
attvars_residuals([]) --> []. attvars_residuals([]) --> [].
attvars_residuals([V|Vs]) --> attvars_residuals([V|Vs]) -->
( { get_attrs(V, As) } ( { get_attrs(V, As) }