SWI-Prolog documentation site: How do I reach page "Pack lambda -- prolog/lambda.pl"?

SWI-Prolog web site and services
1

This may be a silly question, but:

How do I reach this page about “Pack lambda – prolog/lambda.pl” with URL

http://eu.swi-prolog.org/pack/file_details/lambda/prolog/lambda.pl

for example from the SWI-Prolog library page:

http://eu.swi-prolog.org/pldoc/man?section=libpl

Maybe it’s a dead page and it is not supposed to be reachable?

2

I don’t understand. The libpl page is generated from the LaTeX docs of the core system. That is not going to point at packs. Which page is supposed to be (un)reachable?

3

Sorry for the confusion.

What I mean is, if I search for “swi prolog lambda” on DuckDuckGo ( https://duckduckgo.com/?t=ffsb&q=swi+prolog+lambda&ia=web ) then I find the link to

https://www.swi-prolog.org/pack/file_details/lambda/prolog/lambda.pl

on the first page of results (“Pack lambda – prolog / lambda.pl”)

But where does it fit in with the SWI-Prolog documentation? It doesn’t seem to be reachable through the menu system, or even by searching.

4

In the menu, if you go to Download -> Add-ons you’ll get to this link:

https://www.swi-prolog.org/pack/list

Where all the packs (including lambda) are listed.