Default exception handler and pretty printer

Author(s): The Ciao Development Team, Jose F. Morales.

Usage and interface

Documentation on exports

Usage:error_protect(Goal,OnError)

Execute Goal with a default exception handler (which shows the exception and executes OnError.

    Meta-predicate with arguments: error_protect(goal,goal).

    Usage:default_error_message(E)

    Default pretty printer for the exception term E.

      Documentation on imports

      This module has the following direct dependencies: