From c081e9774d65adee780f01e7b7bc08cc9cafc515 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Fri, 16 Jan 2015 20:07:00 -0800 Subject: [PATCH] docs --- pl/init.yap | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pl/init.yap b/pl/init.yap index 562520a10..94adcfc9c 100644 --- a/pl/init.yap +++ b/pl/init.yap @@ -315,10 +315,10 @@ modules defining clauses for it too. :- dynamic user:portray_message/2. -/** @pred exception(+ _Exception_, + _Context_, - _Action_) +/** @pred prolog:exception(+ _Exception_, + _Context_, - _Action_) -Dynamic predicate, normally not defined. Called by the Prolog system on run-time exceptions that can be repaired `just-in-time`. The values for _Exception_ are described below. See also catch/3 and throw/1. +Dynamic predicate, originally defined in SWI-Prolog. The prolog:exception/3 dynamic predicate is Called by the Prolog system on run-time exceptions that can be repaired `just-in-time`. The values for _Exception_ are described below. See also catch/3 and throw/1. If this hook predicate succeeds it must instantiate the _Action_ argument to the atom `fail` to make the operation fail silently, `retry` to tell Prolog to retry the operation or `error` to make the system generate an exception. The action `retry` only makes sense if this hook modified the environment such that the operation can now succeed without error. + `undefined_predicate`