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

fix portray_clause to use copy_term_nat and get rid of attributed variables.

Browse Source
This commit is contained in:
Vitor Santos Costa 2010-03-27 15:06:36 +00:00
parent 35bbb9e7d1
commit ca31e9fad8
1 changed files with 13 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
pl/listing.yap
View File

@ -64,13 +64,15 @@ listing(V) :-
fail. fail.
portray_clause(Stream, Clause) :- portray_clause(Stream, Clause) :-
'$portray_clause'(Stream, Clause), copy_term_nat(Clause, CopiedClause),
'$portray_clause'(Stream, CopiedClause),
fail. fail.
portray_clause(_, _). portray_clause(_, _).
portray_clause(Clause) :- portray_clause(Clause) :-
current_output(Stream), current_output(Stream),
'$portray_clause'(Stream, Clause), copy_term_nat(Clause, CopiedClause),
'$portray_clause'(Stream, CopiedClause),
fail. fail.
portray_clause(_). portray_clause(_).
@ -170,11 +172,14 @@ portray_clause(_).
'$list_get_vars'(Args, M, N). '$list_get_vars'(Args, M, N).
'$list_transform'([],_) :- !. '$list_transform'([],_) :- !.
'$list_transform'([X|L],M) :- '$list_transform'([X,Y|L],M) :-
attvar(X), !, X == Y,
X = '$VAR'(M),
!,
N is M+1,
'$list_transform'(L,N). '$list_transform'(L,N).
'$list_transform'([X,Y|L],M) :- X == Y, X = '$VAR'(M), !, N is M+1, '$list_transform'('$VAR'(-1).L,M) :- !,
'$list_transform'(L,N). '$list_transform'(L,M).
'$list_transform'('$VAR'(-1).L,M) :- !, '$list_transform'(L,M). '$list_transform'(_.L,M) :-
'$list_transform'(_.L,M) :- '$list_transform'(L,M). '$list_transform'(L,M).