better display of Prolog exceptions