remove nth1/3, which is now provided by library(lists)

2022-10-26 23:36:07 -06:00
parent 87e966e185
commit 7c96b91663
1 changed files with 0 additions and 4 deletions
@@ -7173,10 +7173,6 @@ contribution_at(T, Task, Offset-Bs, Contribution) :-
            ?(Contribution) #= B*C
        ).

-nth1(I, Es, E) :-
-        I0 is I-1,
-        nth0(I0, Es, E).
-
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

 %% disjoint2(+Rectangles)