Did you know ... Search Documentation:
Packs (add-ons) for SWI-Prolog

Package "lambda"

Title:Lambda expressions
Latest version:1.0.0
SHA1 sum:bfae0bc0f3db35199bf5ebb6569012c89d8d3351
Author:Ulrich Nuemerkel <ulrich@complang.tuwien.ac.at>
Packager:Jan Wielemaker <J.Wielemaker@vu.nl>
Download URL:http://www.swi-prolog.org/download/pack/lambda-*.tgz


Write a review or add a rating.
Showing 4 reviews, sorted by date entered, last review first.
Must have, could be moved to "standard" Swi-Prolog library in my opinion.
Sunday 08 March 2015, Prolog Hermit
Although a very nice library this is (I use it all the time), the meta-predicate declarations appear scattered throughout the file. However, SWI-Prolog expects them to occur at the top of the file, before the first clause.
Tuesday 16 September 2014, Wouter Beek
Brilliantly useful. My one request is to support destructuring in the argument list -- though I guess this would not conform to lambda calculus syntax.
Monday 25 November 2013, John Stewart
library(lambda) makes it more palatable to work with maplist, foldl, etc. I no longer have to create and name auxiliary predicates that are used in only one place.
Friday 13 September 2013, Michael Hendricks

Details by download location


Contents of pack "lambda"

Pack contains 2 files holding a total of 5.9K bytes.