From: notoria <notoria@users.noreply.github.com>
Date: Wed, 13 May 2020 19:19:47 +0000 (+0200)
Subject: Enhanced between/3
X-Git-Tag: v0.8.123~33^2~4^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a86019d53ba8c5534cc883e0c1cec89499abb1fd;p=scryer-prolog.git

Enhanced between/3
---

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.