rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

update between/3 to allow inf as upper bound

Browse Source
This commit is contained in:
Mark Thom
2020-02-19 15:55:56 -07:00
parent d3da2683cb
commit 617f803355
1 changed files with 9 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
src/prolog/lib/between.pl
View File

@@ -6,10 +6,15 @@
:- use_module(library(error)). :- use_module(library(error)).
between(Lower, Upper, X) :- between(Lower, Upper, X) :-
must_be(integer, Lower), ( Upper == inf ->
must_be(integer, Upper), must_be(integer, Lower),
can_be(integer, X), can_be(integer, X),
between_(Lower, Upper, X). enumerate_nats(Lower, X)
; must_be(integer, Lower),
must_be(integer, Upper),
can_be(integer, X),
between_(Lower, Upper, X)
).
between_(Lower, Upper, Lower) :- between_(Lower, Upper, Lower) :-
Lower =< Upper. Lower =< Upper.