Re: Ann: delay pack

On 9 Aug 2013, at 21:52 , Michael Hendricks <[email protected]> wrote:

> ... I'd also like someone more experienced than me to
> comment on previous approaches :-)
> 
> As I researched this module, I found the following prior art:
> 
>  * library(when) offers when/2 and allows one to do the same thing by
> manually specifying modes at each call site
> 
>  * if I understand NU-Prolog correctly, all its built-in predicates are
> "delayed" by default
> 
>  * Mercury's compiler reorders goals within a clause to obtain a similar
> effect
> 
> I assume this is an old problem in Prolog, so there are probably some great
> solutions that I'm overlooking.

Michael

The SWI libraries

library(clpfd): Constraint Logic Programming over Finite Domains
library(clpqr): Constraint Logic Programming over Rationals and Reals

also do delays.

   --- nef