Hi @jan. Would your suggestion “[…] for the community would be to come up with a collectively maintained core documentation that includes the variations between predicates such as subtract/3 and the availability (built-in, (which) library) […]” align with PEP-like (or similar) repository? I understand that those documents would be useful and shared not only for SWI but for other Prolog systems. Actually, it looks a lot like Prolog Commons, with the difference that it is not necessary to share code, just specifications/documentation for the “common good”.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Documentation of user-defined predicates in the prolog lsp-server | 32 | 935 | October 25, 2023 | |
| Pure and correct Prolog - what is it? (Creating Prolog Cookbook) | 19 | 2058 | January 30, 2020 | |
| Towards an infrastructure for examples | 20 | 1543 | December 17, 2020 | |
| What happens if Dr. Wielemaker is hit by a van? | 40 | 2062 | April 7, 2021 | |
| SWI Prolog docset for Dash, Zeal etc | 0 | 906 | February 25, 2019 |