From: Mark Thom Date: Sun, 9 Jun 2019 16:12:34 +0000 (-0400) Subject: correct bug in between.pl, re: #146 X-Git-Tag: v0.8.110~56 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=4fd70e9c6d8c60405c045cdfda6c37b8b837696b;p=scryer-prolog.git correct bug in between.pl, re: #146 --- diff --git a/src/prolog/lib/between.pl b/src/prolog/lib/between.pl index 38d058c8..16c73145 100644 --- a/src/prolog/lib/between.pl +++ b/src/prolog/lib/between.pl @@ -8,7 +8,7 @@ between(Lower, Upper, X) :- must_be(integer, Lower), must_be(integer, Upper), - can_be(integer, X). + can_be(integer, X), between_(Lower, Upper, X). between_(Lower, Upper, Lower) :-