6 lines
193 B
Text
6 lines
193 B
Text
% all_under(N, L)
|
|
% True if every member of L is less than N
|
|
%
|
|
:- pred all_under(int::in, list(int)::in) is semidet.
|
|
all_under(Limit, L) :-
|
|
all [N] (member(N, L) => N < Limit).
|