From 87e966e185ad59461ce5b1b36499a1e3c4d3afa0 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Thu, 25 Aug 2022 00:03:30 +0200 Subject: [PATCH] remove nth1/3, which is now provided by library(lists) --- src/lib/simplex.pl | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/lib/simplex.pl b/src/lib/simplex.pl index 9522dab6..001571a8 100644 --- 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). -- 2.54.0