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

fix $skip_list (patch from Ulrich Neumerkel). It should be moved to C-code.

Browse Source
This commit is contained in:
Vitor Santos Costa 2009-05-04 11:53:24 -05:00
parent ced3448c9a
commit 9ce8df7bcd
1 changed files with 15 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
GPL/error.pl
View File

@ -248,14 +248,21 @@ is_list_or_partial_list(L0) :-
:- if(current_prolog_flag(dialect, yap)).
% vsc: I hope it works like this
'$skip_list'(_, Rest, Rest) :- var(Rest), !.
'$skip_list'(_, [], _) :- !, fail.
'$skip_list'(Anything, [_|More], Rest) :-
'$skip_list'(Anything, [_|More], Rest).
'$skip_list'(Anything, [_|More], Rest) :-
'$skip_list'(Anything, More, Rest).
'$skip_list'(_Anything, Rest, Rest).
% UWN: only an approximation
'$skip_list'(N, Xs0,Xs) :-
'$skip_list_i'(0,N, Xs0,Xs).
'$skip_list_i'(N0,N, Xs0,Xs) :-
var(Xs0), !,
N0 = N,
Xs0 = Xs.
'$skip_list_i'(N0,N, [],Xs) :- !,
N0 = N,
Xs = [].
'$skip_list_i'(N0,N, [_|Xs0],Xs) :- !,
N1 is N0 + 1,
'$skip_list_i'(N1,N, Xs0,Xs).
'$skip_list_i'(N,N, Xs,Xs).
:- endif.