« Return to Thread: lambda-like continuations (was: maplist and friends)

Re: lambda-like continuations (was: maplist and friends)

by Ulrich Neumerkel :: Rate this Message:

In the meantime, and thanks to several comments, I have improved
the notation. The unwieldy notation for nonlocal variables has been
replaced by a more compact one. E.g.

?- Ys = [_,_], maplist(X+\Y^dif(X,Y), Ys).

Everything can now be used by using the module lambda,
discussed and described at:

http://www.complang.tuwien.ac.at/ulrich/Prolog-inedit/ISO-Hiord

Lambdas now allow to make also setof/3 simpler to use!

Comments welcome, as always!
_______________________________________________
SWI-Prolog mailing list
SWI-Prolog@...
https://mailbox.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog

« Return to Thread: lambda-like continuations (was: maplist and friends)