|
About the Resources category
|
|
0
|
513
|
April 3, 2019
|
|
OpenSearch Query Gateway - with Prolog
|
|
0
|
60
|
October 4, 2026
|
|
Probabilistic Logic Programming
|
|
20
|
4857
|
March 25, 2025
|
|
GitHub Actions and Workflows for Logtalk and Prolog repos
|
|
13
|
1014
|
January 23, 2025
|
|
Libraries: queues and heaps
|
|
38
|
1227
|
May 27, 2024
|
|
Any Property Based Testing Tool for SWI Prolog?
|
|
2
|
289
|
March 25, 2024
|
|
Incorporation of edwards elliptic curves into swipl?
|
|
1
|
196
|
February 19, 2024
|
|
Update version of coverage analysis
|
|
3
|
558
|
February 7, 2024
|
|
Can anyone recommend a good book for learning modern Prolog?
|
|
10
|
3022
|
June 18, 2023
|
|
Advice on modeling program behavior with Prolog
|
|
6
|
909
|
April 20, 2023
|
|
Ann: sweep (Emacs interface) version 0.8.0
|
|
0
|
470
|
October 24, 2022
|
|
Ann: Sweep (new Emacs interface) version 0.6.0
|
|
0
|
437
|
October 12, 2022
|
|
Implementing negation from this book
|
|
1
|
782
|
July 3, 2022
|
|
Book recommendations?
|
|
5
|
1043
|
May 21, 2022
|
|
Pengines library for Go
|
|
1
|
698
|
April 17, 2022
|
|
Chromatic diagnostics
|
|
3
|
558
|
April 4, 2022
|
|
Cosmos 0.13 alpha released
|
|
0
|
498
|
March 5, 2022
|
|
DAP Backed Toplevel
|
|
1
|
627
|
February 26, 2022
|
|
Debug Adapter Protocol Server 0.2.13
|
|
8
|
1018
|
February 24, 2022
|
|
Game graphics
|
|
0
|
538
|
December 28, 2021
|
|
Trap/1 for trapping errors
|
|
6
|
998
|
August 12, 2021
|
|
Initial port for sCASP, a top-down interpreter for ASP programs with constraints
|
|
7
|
1254
|
July 15, 2021
|
|
FOIL Algorithm Implementation
|
|
2
|
1447
|
April 8, 2021
|
|
Learning resources
|
|
7
|
1088
|
February 9, 2021
|
|
MongoDB Driver
|
|
0
|
551
|
November 8, 2020
|
|
Save prolog execution state
|
|
3
|
731
|
October 31, 2020
|
|
Block chain/distributed ledger library?
|
|
14
|
1285
|
June 27, 2020
|
|
Probabilistic Logic Programming Forum
|
|
4
|
843
|
May 31, 2020
|
|
Delphi library for SWI-Prolog
|
|
13
|
2140
|
March 15, 2020
|
|
Json-LD, Graphql-LD support...?
|
|
0
|
595
|
March 5, 2020
|