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

fix bugs in backtrackable versions of atom_concat/3 and atomic_concat/3 (obs from Paulo Moura).

Browse Source
This commit is contained in:
Vítor Manuel de Morais Santos Costa 2009-11-27 13:45:18 +00:00
parent b16623d026
commit 91a7fc3c66
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pl/utils.yap
View File

@ -333,10 +333,10 @@ atom_concat(X,Y,At) :-
atom_codes(At, Codes), atom_codes(At, Codes),
atom_codes(Y, Ys), atom_codes(Y, Ys),
once(lists:append(Xs,Ys,Codes)), once(lists:append(Xs,Ys,Codes)),
atom_codes(Y, Ys). atom_codes(X, Xs).
'$atom_contact_split'(At,X,Y) :- '$atom_contact_split'(At,X,Y) :-
atom_codes(At, Codes), atom_codes(At, Codes),
'$split_codes'(Codes, Xs, Ys), lists:append(Xs, Ys, Codes),
atom_codes(X, Xs), atom_codes(X, Xs),
atom_codes(Y, Ys). atom_codes(Y, Ys).
@ -352,7 +352,7 @@ atomic_concat(X,Y,At) :-
; ;
atom(At) -> atom(At) ->
atom_length(At,Len), atom_length(At,Len),
'$atom_contact_split'(At,0,Len,X,Y) '$atom_contact_split'(At,X,Y)
; ;
number(At) -> number(At) ->
'$number_contact_split'(At,X,Y) '$number_contact_split'(At,X,Y)
@ -374,10 +374,10 @@ atomic_concat(X,Y,At) :-
number_codes(At, Codes), number_codes(At, Codes),
name(Y, Ys), name(Y, Ys),
once(lists:append(Xs,Ys,Codes)), once(lists:append(Xs,Ys,Codes)),
name(Y, Ys). name(X, Xs).
'$number_contact_split'(At,X,Y) :- '$number_contact_split'(At,X,Y) :-
number_codes(At, Codes), number_codes(At, Codes),
'$split_codes'(Codes, Xs, Ys), lists:append(Xs, Ys, Codes),
name(X, Xs), name(X, Xs),
name(Y, Ys). name(Y, Ys).