puck.jar with updated prolog evaluator