How to list all built in libraries

[razetime]

from the README it is given that libraries are loaded with use_module(library(Library_name)).

I tried to list all available libraries like this:

?- library(X).
   error(existence_error(procedure,library/1),library/1).

How do I do this correctly?

[EricGT]

I do not have Scryer Prolog installed so this reply is based on my knowledge of SWI-Prolog and AFAIK there is no official documentation for Scryer Prolog.

Do you really just want what is implied as a library or do you really want modules?

The use of the term library in use_module(library(Library_name)). is really an Alias as used with file_search_path/2 . I explain the details in this SWI-Prolog forum post.

However to find all of the built-in modules AFAIK one has to look at the source code on the file system. If the Prolog system keeps such as a list of facts then that could be used but I am not aware of such.

To search the source code the best place would be the GitHub repository. Here is a search for Scryer Prolog GitHub repository for module(, i.e.

https://github.com/mthom/scryer-prolog/search?l=Prolog&q=module%28

---

To see the list of currently loaded Prolog modules one can use current_module/1.

---

If one wants to find all of the paths that the Alias library uses one could use absolute_file_name/2, i.e. user:file_search_path(library,Path). Also remember the results of file_search_path/2 could themselves include an Alias.

---

AFAIK Scryer Prolog does not use Git submodules to bring in other modules, (SWI-Prolog packages), and does not have add-ins (SWI-Prolog packs), so there is no need to search other source code repositories for possible modules.

HTH

[pmoura]

AFAIK Scryer Prolog does not use Git submodules to bring in other modules, (SWI-Prolog packages), and does not have add-ins (SWI-Prolog packs), so there is no need to search other source code repositories for possible modules.

https://github.com/aarroyoc/aarroyoc-packs

[razetime]

I want what is implied as a library. current_module/1 throws an instantiation error. The built-in modules are listed here: https://github.com/mthom/scryer-prolog#modules. I would just like an in-terminal version is all.

[aarroyoc]

A future website will need to have a searchable HTML-version of the documentation, probably very similar to PlDoc

[gruhn]

I glossed over the paper. PIDoc looks very nice. Is this still downloadable anywhere? I didn’t see a direct link in the paper.

[EricGT]

Is this still downloadable anywhere?

https://github.com/SWI-Prolog/packages-pldoc

PlDoc is an SWI-Prolog package which means it is a part of SWI-Prolog, think git submodule (ref). While I have not tried, it might be possible to download, build and run as a standalone server (ref)

Warning: The terminology used with SWI-Prolog for pack and packages is not consistent so if you search for SWI-Prolog and pack or package you have to know the context to understand the meaning. I documented the different context but at present can not locate it.

[aarroyoc]

@gruhn I started to work on DocLog. It was stopped while I was making a Markdown library for it, but now I think I can resume working on it.