Trying to undertake the Prolog coursework again.