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

remove redundancy positivity check in repeat/1

Browse Source
This commit is contained in:
Mark Thom
2019-02-24 13:12:46 -07:00
parent 7edbb540bd
commit 8f9c620a89
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -45,7 +45,7 @@ repeat_integer(N0) :-
N0 > 0, N1 is N0 - 1, repeat_integer(N1). N0 > 0, N1 is N0 - 1, repeat_integer(N1).
repeat(N) :- repeat(N) :-
must_be(integer, N), N > 0, repeat_integer(N). must_be(integer, N), repeat_integer(N).
numlist(Upper, List) :- numlist(Upper, List) :-
( integer(Upper) -> findall(X, between(1, Upper, X), List) ( integer(Upper) -> findall(X, between(1, Upper, X), List)