Resources

Topic	Replies	Views	Activity
About the Resources category	0	500	April 3, 2019
Neuro symbolic reasoning on a AI laptop	1	99	May 13, 2026
Probabilistic Logic Programming request	20	4566	March 25, 2025
GitHub Actions and Workflows for Logtalk and Prolog repos	13	910	January 23, 2025
Libraries: queues and heaps	38	831	May 27, 2024
Any Property Based Testing Tool for SWI Prolog?	2	261	March 25, 2024
Incorporation of edwards elliptic curves into swipl? discussion , software	1	157	February 19, 2024
Update version of coverage analysis	3	521	February 7, 2024
Can anyone recommend a good book for learning modern Prolog?	10	2879	June 18, 2023
Advice on modeling program behavior with Prolog how-to	6	590	April 20, 2023
Ann: sweep (Emacs interface) version 0.8.0 emacs	0	450	October 24, 2022
Ann: Sweep (new Emacs interface) version 0.6.0 emacs	0	408	October 12, 2022
Implementing negation from this book discussion	1	757	July 3, 2022
Book recommendations?	5	916	May 21, 2022
Pengines library for Go pengines	1	671	April 17, 2022
Chromatic diagnostics	3	492	April 4, 2022
Cosmos 0.13 alpha released discussion , packs	0	483	March 5, 2022
DAP Backed Toplevel	1	588	February 26, 2022
Debug Adapter Protocol Server 0.2.13 debugging	8	854	February 24, 2022
Game graphics	0	528	December 28, 2021
Trap/1 for trapping errors	6	871	August 12, 2021
Initial port for sCASP, a top-down interpreter for ASP programs with constraints	7	1140	July 15, 2021
FOIL Algorithm Implementation how-to	2	1399	April 8, 2021
Learning resources	7	1015	February 9, 2021
MongoDB Driver	0	528	November 8, 2020
Save prolog execution state discussion	3	682	October 31, 2020
Block chain/distributed ledger library? request	14	1200	June 27, 2020
Probabilistic Logic Programming Forum	4	769	May 31, 2020
Delphi library for SWI-Prolog	13	2032	March 15, 2020
Json-LD, Graphql-LD support...?	0	585	March 5, 2020