Re: CLP(FD): what is necessary?

Dnia Fri, 14 Mar 2008 12:57:03 -0500
"Neng-Fa Zhou" <nzhou@xxxxxxx> napisał(a):


"Joachim Schimpf" <jschimpf@xxxxxxxxx> wrote in message
news:1205504359.212176@xxxxxxxxxxxxxxxxxxxxxxxxxxx
Neng-Fa Zhou wrote:
...
A successor of Delay Clauses, called Action Rules, ...


I call (AR) Action Rules a successor of (DC) Delay Clauses because AR is
inspired by DC and AR subsumes DC (A delay clause is a special action rule
where the events watched are only ins events and the action is just true).

And what about:

suspend( agent(X),
Priority,
[
inst(X)
]
)

where
agent(X) :-
Condition(X),
Action(X).

It look like:

agent(X), Condition(X), { ins(X) } => Action(X).

What is the difference between suspension mechanism that
is available in ECLiPSe and AR?

Best regards
--
[ Wit Jakuczun <W.Jakuczun [at] wlogsolutions.com> ]
[ WLOG Solutions http://www.wlogsolutions.com ]

.

Relevant Pages

  • Re: CLP(FD): what is necessary?
    ... By clean I mean mainly ... clear syntax. ... A successor of Delay Clauses, called Action Rules, have been developed for ... I have noticed Action Rules but I have not tried them. ...
    (comp.lang.prolog)
  • Re: CLP(FD): what is necessary?
    ... don't affect the declarative meaning of the program (you can remove ... them without changing the meaning of your prgram). ... I call Action Rules a successor of Delay Clauses because AR is ...
    (comp.lang.prolog)
  • Re: CLP(FD): what is necessary?
    ... By clean I mean mainly ... A successor of Delay Clauses, called Action Rules, have been developed for ... implementing constraint propagators. ... Bart Demoen has added a package for action rules to SWI, ...
    (comp.lang.prolog)