Assuming that the natural numbers are represented using 0 for zero and s(n) for the successor of n and using a primitive write(x) that writes the term t, write a logic program (Prolog) that prints all the natural numbers.