From flin@cs.ust.hk  Thu Feb 17 15:28:56 2000
Received: from cssu46.cs.ust.hk (cssu46.cs.ust.hk [143.89.40.46])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id PAA05753
	for <prolog@swi.psy.uva.nl>; Thu, 17 Feb 2000 15:28:55 +0100 (MET)
Received: from cssu67.cs.ust.hk (flin@cssu67.cs.ust.hk [143.89.40.67])
	by cssu46.cs.ust.hk (8.9.2/8.9.2) with ESMTP id WAA07001
	for <prolog@swi.psy.uva.nl>; Thu, 17 Feb 2000 22:28:50 +0800 (HKT)
From: Fangzhen Lin <flin@cs.ust.hk>
Received: (from flin@localhost) by cssu67.cs.ust.hk (8.9.3/8.7.3) id WAA24937 for prolog@swi.psy.uva.nl; Thu, 17 Feb 2000 22:28:50 +0800 (HKT)
Date: Thu, 17 Feb 2000 22:28:50 +0800 (HKT)
Message-Id: <200002171428.WAA24937@cssu67.cs.ust.hk>
To: prolog@swi.psy.uva.nl
Subject: timed goal in SWI-Prolog

Hi. Is there any way to try a goal for a certain amount of time and
fail it when it does not return when the time is up. I mean something
like time(X,T): it returns "yes" if X succeeds in less than T seconds,
and "no" if either the goal X does not return in T seconds or X returns
"no".

Thanks in advance.

-Fangzhen Lin

