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

2022-08-25 00:03:30 +02:00
parent 1e018681de
commit 87e966e185
1 changed files with 0 additions and 4 deletions
--- a/src/lib/simplex.pl
+++ b/src/lib/simplex.pl
@@ -1344,10 +1344,6 @@ print_row(R) :- maplist(print_row_, R), nl.

 print_row_(N) :- format("~w ", [N]).

-nth1(N, Es, E) :-
-        N1 is N - 1,
-        nth0(N1, Es, E).
-
 %?- transportation([1,1], [1,1], [[1,1],[1,1]], Ms).

 %?- transportation([12,7,14], [3,15,9,6], [[20,50,10,60],[70,40,60,30],[40,80,70,40]], Ms).