How to Print numbers from 1 to 100 in Prolog?

Question

The following code is a Prolog code which gives all integers greater than 0. Each time i put ; in the interpreter, it gives the next number:

is_integer(0).
is_integer(X) :- is_integer(Y),X is Y+1.

Is there a way where it gives numbers between 0 and 100 only. When it reaches 100 it should stop.

Answer 1

What a nice quiz. It exemplifies very well how difficult can be to control the recursion with the minimal tools that Prolog defines. We must commit our solutions to values lower than the predefined limit, restricting the otherless unbound search:

is_integer(0).
is_integer(X) :-
    is_integer(Y),
    ( Y >= 100, ! ; X is Y + 1 ).

Here is the trace output limiting the range to 3 (i.e. ... Y >= 3, ! ; ...)

?- is_integer(X).
X = 0 ;
X = 1 ;
X = 2 ;
X = 3 ;
true.