animal(sheep). animal(wolf). range(X) :- #int(X), 0 <= X, X <= 3.