From e5a0ba7bf3d8add1de0e409a023fa6d72613f4a5 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Thu, 20 Feb 2020 10:07:45 -0700 Subject: [PATCH] revert to older between.pl --- src/prolog/lib/between.pl | 13 ++++--------- 1 file changed, 4 insertions(+), 9 deletions(-) diff --git a/src/prolog/lib/between.pl b/src/prolog/lib/between.pl index a8e06882..1f49dfc7 100644 --- a/src/prolog/lib/between.pl +++ b/src/prolog/lib/between.pl @@ -6,15 +6,10 @@ :- use_module(library(error)). between(Lower, Upper, X) :- - ( Upper == inf -> - must_be(integer, Lower), - can_be(integer, X), - enumerate_nats(Lower, X) - ; must_be(integer, Lower), - must_be(integer, Upper), - can_be(integer, X), - between_(Lower, Upper, X) - ). + must_be(integer, Lower), + must_be(integer, Upper), + can_be(integer, X), + between_(Lower, Upper, X). between_(Lower, Upper, Lower) :- Lower =< Upper. -- 2.54.0