got prolog halfway done, pick up again at some point