Exercise
In pairs, discuss how on earth can prolog be Turing complete.
How could I write a loop?
What is it good for?
