diff --git a/src/prolog/lib/between.pl b/src/prolog/lib/between.pl index 16c73145..4ce92db7 100644 --- a/src/prolog/lib/between.pl +++ b/src/prolog/lib/between.pl @@ -9,7 +9,11 @@ between(Lower, Upper, X) :- must_be(integer, Lower), must_be(integer, Upper), can_be(integer, X), - between_(Lower, Upper, X). + ( nonvar(X) -> + Lower =< X, + X =< Upper + ; between_(Lower, Upper, X) + ). between_(Lower, Upper, Lower) :- Lower =< Upper.