remove remaining uses of cis_geq_zero/1
remove remaining uses of cis_geq_zero/1

Division tested with:

   :- use_module(library(clpfd)).

   in(L0, U0, X) --> [X in L..U], { lower(L0, U0, L, L1), upper(L1, U0, U) }.

   lower(L0, U0, L, L) :- between(L0, U0, L).
   lower(L0, _, inf, L0).

   upper(L1, U0, U) :- between(L1, U0, U).
   upper(_, _, sup).

   run(N) :-
           L #= -N,
           Vs = [X,Y,Z],
           phrase((in(L, N, Z), in(L, N, X), in(L, N, Y)), Cs, [X/Y#=Z]),
           G1 = maplist(call, Cs),
           G2 = maplist(between(L,N), [X,Y,Z]),
           findall(Vs, (G1,G2), Sols1),
           findall(Vs, (G2,G1), Sols2),
           (   Sols1 == Sols2 -> false
           ;   portray_clause(failed-Vs-G1-Sols1-Sols2)
           ).
   run(_).

edechter/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel