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

Merge pull request #498 from notoria/between

Browse Source 
Enhanced between/3
This commit is contained in:
Mark Thom
2020-05-13 17:32:31 -03:00
committed by GitHub
parent 6d6f6ed8fc a86019d53b
commit b5b1f7ff8a
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -9,7 +9,11 @@ between(Lower, Upper, X) :-
must_be(integer, Lower), must_be(integer, Lower),
must_be(integer, Upper), must_be(integer, Upper),
can_be(integer, X), can_be(integer, X),
between_(Lower, Upper, X). ( nonvar(X) ->
Lower =< X,
X =< Upper
; between_(Lower, Upper, X)
).
between_(Lower, Upper, Lower) :- between_(Lower, Upper, Lower) :-
Lower =< Upper. Lower =< Upper.