The following is a possible implementation of a for loop construct in Prolog, similar to the statement for(I = L; I

Using this definition, we can repeat operations over I, such as printing all integers between L and H as follows:

Explain how backtracking causes the for predicate to behave like a loop.

for (I, I, I) : - !. for (I, I, H) . for (I, L, H) : L1 is L + 1, for (I, L1, H).