Exercise 4.68 - reversing lists via logic programming. the 'reverse' direction isn't working right now...
trying various things and they're not quite working...