Re: [eclipse-clp-users] Question about ECH: Can a rule body leave a choice point?

From: Kish Shen <kisshen_at_cisco.com>
Date: Wed, 17 Nov 2010 15:59:32 +0000
On 16/11/2010 21:51, Ulrich Scholz wrote:
> It's probably not good style.  But can the body of an ECH rule leave a
> choice point?
>

Yes. You can have any Prolog goals in the body of a CHR/ECH rule.
All ECH rules are translated into Prolog code, and body goals (unless 
they are ECH rules themseleves) are left unchanged, so they will behave 
as they normally do.

Cheers,

Kish
-- 
This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.
Received on Wed Nov 17 2010 - 15:59:42 CET

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET