I am redoing all the Prolog exercises I have done so far.