fixed a bug related to automatic handling of Prolog exceptions and added a method for returning all defined Prolog operators