Did you know ... Search Documentation:
Pack xlibrary -- prolog/clambda.pl
PublicShow source

This library is semantically equivalent to the lambda library implemented by Ulrich Neumerkel, but it performs static expansion of the expressions to improve performance.