From 3d9bd1a49f15568c90e280069030cfc206e77404 Mon Sep 17 00:00:00 2001 From: Ulrich Neumerkel Date: Sun, 24 May 2009 00:38:27 +0200 Subject: [PATCH] DOC: minor --- docs/yap.tex | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/yap.tex b/docs/yap.tex index d58c159f9..349bcf7b8 100644 --- a/docs/yap.tex +++ b/docs/yap.tex @@ -6520,7 +6520,8 @@ execute_once_with_alarm(Time, Goal) :- ( call(Goal) -> alarm(0, alarm, _) ; alarm(0, alarm, _), fail). @end example -The procedure has three arguments: the @var{Time} before the alarm is +The procedure @code{once_with_alarm/3} has three arguments: +the @var{Time} to wait before the alarm is sent; the @var{Goal} to execute; and the goal @var{DoOnAlarm} to execute if the alarm is sent. It uses @code{catch/3} to handle the case the @code{alarm} is sent. Then it starts the alarm, calls the goal