Clean up prolog solution