fixed a bug related to the automatic handling of Prolog errors