rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

use new nth0/3 from library(lists)

Browse Source
This commit is contained in:
Markus Triska
2020-04-28 17:52:29 +02:00
parent e61116d35a
commit 4ea0dee90a
1 changed files with 0 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/prolog/lib/clpz.pl
View File

@@ -6917,12 +6917,6 @@ contribution_at(T, Task, Offset-Bs, Contribution) :-
?(Contribution) #= B*C ?(Contribution) #= B*C
). ).
nth0(0, [E|_], E) :- !.
nth0(N, [_|Ls], E) :-
N > 0,
N1 is N - 1,
nth0(N1, Ls, E).
nth1(I, Es, E) :- nth1(I, Es, E) :-
I0 is I-1, I0 is I-1,
nth0(I0, Es, E). nth0(I0, Es, E).