remove same_length/2 from clpb.pl

2020-02-21 17:21:15 -07:00
parent 589dc34b99
commit 8f781c27f9
1 changed files with 0 additions and 4 deletions
--- a/src/prolog/lib/clpb.pl
+++ b/src/prolog/lib/clpb.pl
@@ -674,10 +674,6 @@ existential(V, BDD, Node) :-
   Counter network for card(Is,Fs).
 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */

-same_length([], []).
-same_length([_|As], [_|Bs]) :-
-        same_length(As, Bs).
-
 counter_network(Cs, Fs, Node) :-
        same_length([_|Fs], Indicators),
        fill_indicators(Indicators, 0, Cs),