kernel suspend predicate

From: BRAND Sebastian <brand_at_comp.nus.edu.sg>
Date: Wed 23 Mar 2005 06:05:37 AM GMT
Message-ID: <20050323060537.GA5862@comp.nus.edu.sg> 
Hi,

I've been looking at the plain

	suspend(+Goal, +Prio, +CondList)

predicate from the kernel, and its description in the
reference manual.  The second example

	suspend(writeln(X), 2, [X,Y]->bound), X=Y.

works as stated, but the simpler variant

	suspend(writeln(X), 2, [X]->bound), X=Y.

delays.  I think this is incorrect.


I'm using Eclipse 5.8 #84 on a Sun Sparc.


Cheers,
Sebastian
Received on Wed Mar 23 06:06:08 2005

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:25 PM GMT GMT