|
Installing janus_swi on Windows
|
|
9
|
137
|
November 29, 2024
|
|
Alternate Package Definitions for SWI-Prolog
|
|
11
|
66
|
August 20, 2024
|
|
Bug hunting toolbox
|
|
1
|
2831
|
February 1, 2023
|
|
Found a bug: it involves a variable in a single branch and a lambda
|
|
12
|
109
|
February 3, 2025
|
|
Compiling SWI-Prolog from git source on next macOS 15 beta
|
|
18
|
88
|
July 19, 2024
|
|
Test failure that resolves after consulting again
|
|
15
|
95
|
July 22, 2024
|
|
Understanding Gradients in Prolog
|
|
14
|
98
|
March 26, 2025
|
|
Change in performance measures with non-tail recursion
|
|
9
|
118
|
July 16, 2024
|
|
Concurrent labeling?
|
|
15
|
92
|
April 21, 2025
|
|
Example of validating json in an http handler
|
|
11
|
103
|
August 8, 2024
|
|
Compiling with swipl-ld on MS Windows
|
|
22
|
73
|
February 3, 2025
|
|
The essence of the append infinite loop thread
|
|
12
|
91
|
September 1, 2024
|
|
New podcast about logic programming
|
|
3
|
1631
|
February 7, 2021
|
|
Someone out there having pack(tor) available?
|
|
9
|
58
|
April 14, 2025
|
|
3 Step Non-Monotonic Tweety Example in SWISH
|
|
16
|
72
|
December 4, 2024
|
|
PL_get_integer returns false even with confirmed integer term_t
|
|
10
|
88
|
January 24, 2025
|
|
The exercise "flatten a list" from the LPN course seems impossible to do with only course material
|
|
15
|
70
|
March 25, 2025
|
|
SWI-Prolog 9.2.3 built from sources crashes with "Illegal instruction 4" on macOS Monterey 12.7.6
|
|
11
|
80
|
September 13, 2024
|
|
Making more than one janus.consult() statements possible
|
|
13
|
73
|
September 28, 2024
|
|
How to use JPL in alpine container from java service
|
|
9
|
85
|
July 19, 2024
|
|
Segfault happening some time after 9.3.0
|
|
12
|
71
|
July 26, 2024
|
|
SWI-Prolog Solutions b.v
|
|
0
|
788
|
December 1, 2020
|
|
Posix time formatting is offset by locale
|
|
9
|
78
|
September 27, 2024
|
|
Pack_list_installed?
|
|
10
|
73
|
December 19, 2024
|
|
Using library(persistency) inside pengines
|
|
10
|
73
|
October 8, 2024
|
|
Fail the build if a dependency is not found
|
|
17
|
57
|
July 15, 2024
|
|
Linked binary of swiprolog does not use SWI_HOME
|
|
9
|
58
|
February 24, 2025
|
|
Seeming* inconsistency between ground/1 and nonvar/2 predicates?
|
|
10
|
45
|
November 28, 2024
|
|
Popper (Inductive Logic Programming, ILP) and my Popper page
|
|
3
|
2063
|
June 30, 2022
|
|
Ann: Paper about Web Prolog
|
|
0
|
3615
|
August 27, 2019
|
|
Little testing tip
|
|
4
|
1151
|
October 10, 2019
|
|
SWI-Prolog Class
|
|
0
|
803
|
March 19, 2020
|
|
Yet another web applications tutorial
|
|
0
|
4200
|
April 21, 2019
|
|
Ann: SWI-Prolog 8.4.0
|
|
2
|
1335
|
October 10, 2021
|
|
Best practices for printing
|
|
4
|
2945
|
January 12, 2023
|
|
Introducing "Praxis" (WIP) - visual programming in Prolog
|
|
0
|
572
|
June 6, 2022
|
|
Documentary about Alain Colmeraur
|
|
0
|
554
|
August 25, 2021
|
|
Announcing swipl-rs - a high-level interface to SWI-Prolog for rust
|
|
0
|
1564
|
May 6, 2021
|
|
Analyse big Prolog terms using SWISH
|
|
2
|
455
|
January 17, 2023
|
|
Pushed library(intercept)
|
|
0
|
1337
|
January 2, 2020
|
|
Joe Armstrong
|
|
2
|
745
|
April 25, 2019
|
|
Ann: SWI-Prolog 8.2.0 (stable)
|
|
2
|
2303
|
May 27, 2020
|
|
Using monotonic tabling for RDFS entailment reasoning
|
|
1
|
819
|
November 25, 2020
|
|
My Coursera "guided project" on Swish is now public
|
|
0
|
529
|
April 16, 2021
|
|
Ludum Dare 45 Team SWI-Prolog (Discussion)
|
|
3
|
250
|
November 3, 2019
|
|
New library(macros)
|
|
0
|
497
|
May 24, 2023
|
|
Pack PASCAL
|
|
0
|
485
|
January 11, 2022
|
|
Www.swi-prolog.org goes https
|
|
0
|
2679
|
June 13, 2019
|
|
Interface between Julia and SWI-Prolog
|
|
0
|
1476
|
September 23, 2019
|
|
Rolog - calling Prolog from R
|
|
0
|
817
|
December 12, 2021
|