|
Setarg/3 circular bug?
|
|
13
|
361
|
July 27, 2022
|
|
Windows, unit test swipl/rational
|
|
10
|
407
|
March 31, 2022
|
|
Trouble with Unicode
|
|
10
|
406
|
September 21, 2021
|
|
Memory problem while using the Janus library to call Prolog from Python
|
|
11
|
387
|
April 17, 2024
|
|
Rate limiting library?
|
|
15
|
335
|
April 16, 2024
|
|
Is there a way to control tabling for functional predicates with very large argument as computation state
|
|
13
|
358
|
January 9, 2024
|
|
Check array of statements against state array
|
|
9
|
420
|
February 23, 2022
|
|
How to convert standard json into prolog json?
|
|
42
|
202
|
March 26, 2025
|
|
We have a segfault
|
|
11
|
120
|
February 21, 2025
|
|
Set_breakpoint crash
|
|
9
|
413
|
December 27, 2021
|
|
[Feasibility] Custom file format containing records and query it with prolog
|
|
10
|
393
|
April 9, 2020
|
|
C code generator
|
|
11
|
209
|
November 19, 2024
|
|
Async I/O in SWI-Prolog
|
|
14
|
329
|
June 27, 2024
|
|
Solve this declaratively
|
|
24
|
253
|
December 12, 2024
|
|
A logical reading in a specification on division on family of sets similar to division by 0
|
|
9
|
390
|
November 25, 2022
|
|
Supporting flatpak?
|
|
23
|
249
|
August 19, 2024
|
|
When a new variable is created it can clash with existing variables (maybe not)
|
|
16
|
294
|
May 28, 2024
|
|
Sample queries in functional syntax on toplevel query
|
|
13
|
322
|
December 23, 2023
|
|
Problem loading python module
|
|
16
|
292
|
February 1, 2024
|
|
Problem with Calling Prolog from Python
|
|
10
|
361
|
April 7, 2024
|
|
"Default" clause first
|
|
9
|
377
|
July 2, 2023
|
|
Persistent CHR store
|
|
15
|
299
|
November 23, 2023
|
|
Package fine_upload corrupts files
|
|
10
|
358
|
March 17, 2022
|
|
Janus and Python venv
|
|
9
|
369
|
February 20, 2025
|
|
Det-if?
|
|
11
|
333
|
January 24, 2024
|
|
SWI Prolog 9.0.4 Linux: run_tests runs only the first file
|
|
11
|
329
|
January 21, 2024
|
|
Complete lists and not just in "abridged" form
|
|
10
|
341
|
July 11, 2023
|
|
WASM wait for user input
|
|
31
|
199
|
February 28, 2025
|
|
Problems with call_with_time_limit and test
|
|
10
|
338
|
February 10, 2023
|
|
Performance cost of dictionaries?
|
|
14
|
289
|
September 18, 2024
|
|
Inconsistent tabling behavior across linux/mac
|
|
14
|
289
|
March 12, 2024
|
|
Use_module sometimes loads from current working directory
|
|
38
|
178
|
August 28, 2024
|
|
Is a PIP for Syntax extensions necessary?
|
|
18
|
254
|
October 14, 2024
|
|
Snap for SWI-Prolog available (Discussion)
|
|
12
|
304
|
April 22, 2020
|
|
`settings:env` as arithmetic function
|
|
19
|
243
|
February 3, 2024
|
|
Tabling meets negation! (Discussion)
|
|
12
|
301
|
August 27, 2019
|
|
I'm looking for a more elegant way to solve the problem
|
|
10
|
321
|
December 26, 2023
|
|
Exhausting decimal Munichausen numbers in Prolog under convention 0^0 = 1
|
|
9
|
335
|
March 15, 2023
|
|
How many of you realize that SWI-Prolog is an excellent, genuinely excellent language?
|
|
4
|
1489
|
December 4, 2021
|
|
Dealing with an asynchronous call, in a synchronized manner
|
|
9
|
329
|
March 6, 2023
|
|
Any Symbolic Expression Lib?
|
|
15
|
259
|
March 16, 2025
|
|
Does SWI-Prolog http_open/3 have some cache control options?
|
|
10
|
307
|
May 31, 2023
|
|
Switching away from DFS: yet another beginner mystified
|
|
21
|
217
|
March 7, 2025
|
|
Can SWI-Tinker use a library(markup)?
|
|
14
|
261
|
April 6, 2025
|
|
:-multifile and DCG rules being stubborn, predicate fails immediately
|
|
9
|
319
|
April 5, 2021
|
|
Cannot catch continuation through findall/3
|
|
14
|
257
|
December 10, 2023
|
|
Janus: calling python exec fails
|
|
12
|
275
|
November 8, 2023
|
|
Compress a list that contains segments of continuous numbers to a list which contains list of range of segments [start,end]
|
|
18
|
223
|
April 30, 2024
|
|
SWI Prolog and Raylib?
|
|
18
|
222
|
July 25, 2024
|
|
Sweep-module.so from the development release (9.4.2-1) not usable on macOS from emacs
|
|
14
|
249
|
May 23, 2024
|