| Did you know ... | Search Documentation: |
| Predicate numlist/3 |
[semidet]numlist(+Low,
+High, -List)type_error(integer, Low) type_error(integer, High)
is_odd(I) :-
0 =\= I mod 2.
?- numlist(1, 6, List), include(is_odd, List, Odd). List = [1, 2, 3, 4, 5, 6], Odd = [1, 3, 5].