:- use_module(library(lists)).
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].