|
Ann: SWI-Prolog 8.4.2 (stable)
|
|
0
|
1149
|
February 10, 2022
|
|
Graph traversal for problem solving tutorial
|
|
0
|
1999
|
June 13, 2019
|
|
Experimental library for type-class-like polymorphic predicates
|
|
0
|
606
|
March 26, 2020
|
|
Docker for building Windows version of SWI-Prolog
|
|
0
|
570
|
July 1, 2020
|
|
Ann: SWI-Prolog 8.1.6
|
|
1
|
402
|
May 17, 2019
|
|
Ann: SWI-Prolog 8.5.8
|
|
0
|
548
|
March 7, 2022
|
|
STOMP package
|
|
0
|
536
|
July 6, 2021
|
|
PrologHub.pl First Month Update
|
|
0
|
525
|
June 12, 2019
|
|
Some notes on using the SWI-Prolog "ecosystem" I've written
|
|
1
|
370
|
September 11, 2019
|
|
Updated Web tutorial
|
|
0
|
911
|
May 19, 2020
|
|
Copy code block to clip board
|
|
0
|
894
|
April 28, 2020
|
|
TUS in prolog
|
|
0
|
494
|
January 26, 2021
|
|
Almost A* Search for Planning: SWISH Notebook
|
|
0
|
488
|
July 28, 2019
|
|
Paizo Prolog - Mobile-first Prolog Playground
|
|
0
|
479
|
March 8, 2022
|
|
Some CLP(FD) shenanigans with indexing predicates
|
|
0
|
454
|
December 5, 2020
|
|
International Travel Law database
|
|
0
|
451
|
February 16, 2022
|
|
Howto "ping-pong" between SWI Prolog and Erlang using websocket
|
|
0
|
789
|
February 7, 2020
|
|
Prolog in watson
|
|
2
|
798
|
April 10, 2019
|
|
Ann: Playing with Prolog - Tabling
|
|
0
|
433
|
September 2, 2019
|
|
Automating Commonsense Reasoning with ASP and s(CASP)*
|
|
0
|
431
|
December 2, 2022
|
|
Group_by/4 examples
|
|
0
|
1357
|
July 22, 2020
|
|
Incremental history search
|
|
0
|
425
|
November 17, 2019
|
|
Rclswi: a ROS2 client for SWI-prolog
|
|
0
|
749
|
April 20, 2021
|
|
Intro workshop and SimGen talk - CodeMeshLDN
|
|
0
|
716
|
June 23, 2019
|
|
Ann: SWI-Prolog 8.1.27
|
|
0
|
381
|
April 4, 2020
|
|
Impact of arguments order in maplist
|
|
3
|
1065
|
September 16, 2019
|
|
For those interested in parsing semver 2.0.0 strings: DCG
|
|
0
|
652
|
March 1, 2021
|
|
Ann: SWI-Prolog 8.3.20
|
|
5
|
823
|
March 6, 2021
|
|
Ludum Dare 45 Team SWI-Prolog
|
|
0
|
616
|
October 4, 2019
|
|
Interesting talk by Robert Kowalski I just found on youtube
|
|
1
|
430
|
December 24, 2022
|
|
Children of the Miracle: from Algol to Prolog
|
|
0
|
341
|
January 8, 2023
|
|
SWI Prolog documentation mentions "closures" - but these are not the "closures" you are looking for
|
|
5
|
2382
|
March 6, 2020
|
|
Erlang pengines
|
|
0
|
580
|
August 19, 2019
|
|
Ann: SWI-Prolog 9.0.0
|
|
1
|
1267
|
November 27, 2022
|
|
Ann: SWI-Prolog 8.5.3
|
|
0
|
563
|
November 29, 2021
|
|
Prolog class at FOSS Cafe
|
|
0
|
562
|
June 12, 2019
|
|
New services online
|
|
0
|
177
|
February 23, 2024
|
|
Snap for SWI-Prolog available
|
|
0
|
952
|
April 20, 2020
|
|
New official twitter account - @PrologSWI
|
|
0
|
515
|
July 14, 2020
|
|
Fun fact, from Wikipedia I stumbled to Mistral
|
|
0
|
503
|
August 4, 2021
|
|
World Logic Day
|
|
0
|
503
|
January 13, 2021
|
|
Please test branch no-local-references
|
|
0
|
889
|
August 17, 2020
|
|
New Course - Writing Chatbots That Don't Suck
|
|
0
|
845
|
August 9, 2020
|
|
Ann: SWI-Prolog 8.1.20
|
|
0
|
469
|
January 4, 2020
|
|
Predicates for drawing terms, draw/1 and drawv/1
|
|
0
|
466
|
February 8, 2022
|
|
Linear and logistic regression
|
|
0
|
817
|
December 19, 2021
|
|
Commandline check for completeness of the code
|
|
0
|
254
|
October 28, 2021
|
|
Comparing GCC and CLANG for compiling SWI-Prolog
|
|
0
|
794
|
November 23, 2020
|
|
Changes in error handling
|
|
0
|
446
|
May 8, 2021
|
|
CLPFD: Introduction to Solving Problems with Limited Resources (SWISH)
|
|
0
|
789
|
July 29, 2019
|