Re: CLP(FD): what is necessary?

"Wit Jakuczun" <wit@xxxxxxxxxxxxx> wrote in message
news:20080313124649.580be484@xxxxxxxxxxxxxxxx
Good environment for developing software that
is based on clp should provide its users with clean
and robust interface. By clean I mean mainly
clear syntax. Delay clauses
(http://eclipse.crosscoreop.com/doc/userman/umsroot111.html)
are good approach. In ECLiPSe there is also another
mechanism based on suspensions (Internally both
approaches are equivalent). The problem with

A successor of Delay Clauses, called Action Rules, have been developed for
implementing constraint propagators. Take a look at my TPLP paper to see how
nicely and efficiently various kinds of propagators can be implemented in
the language. Bart Demoen has added a package for action rules to SWI, but I
don't know how efficient his implementation is.

Cheers,
Neng-Fa



.

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?
    ... and robust interface. ... By clean I mean mainly ... clear syntax. ... A successor of Delay Clauses, called Action Rules, have been developed for ...
    (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?
    ... I call Action Rules a successor of Delay Clauses because AR is ... inspired by DC and AR subsumes DC (A delay clause is a special action rule ... What is the difference between suspension mechanism that ...
    (comp.lang.prolog)