|
Det-if?
|
|
11
|
365
|
January 24, 2024
|
|
Problems with call_with_time_limit and test
|
|
10
|
379
|
February 10, 2023
|
|
Set a default value for a variable if it is not provided by user
|
|
14
|
324
|
September 6, 2024
|
|
I'm looking for a more elegant way to solve the problem
|
|
10
|
375
|
December 26, 2023
|
|
SWI Prolog 9.0.4 Linux: run_tests runs only the first file
|
|
11
|
360
|
January 21, 2024
|
|
Snap for SWI-Prolog available (Discussion)
|
|
12
|
343
|
April 22, 2020
|
|
Sample queries in functional syntax on toplevel query
|
|
13
|
325
|
December 23, 2023
|
|
"Default" clause first
|
|
9
|
382
|
July 2, 2023
|
|
Inconsistent tabling behavior across linux/mac
|
|
14
|
310
|
March 12, 2024
|
|
Janus: loading a Python module from a new Python module search path raises ModuleNotFoundError
|
|
15
|
300
|
September 2, 2024
|
|
SWI Prolog and SLD REesolution
|
|
19
|
274
|
November 21, 2025
|
|
Proper use of temporary module?
|
|
13
|
188
|
February 1, 2026
|
|
Any Symbolic Expression Lib?
|
|
15
|
293
|
March 16, 2025
|
|
Janus: calling python exec fails
|
|
12
|
307
|
November 8, 2023
|
|
Emacs Babel for Prolog is "goal-oriented"
|
|
17
|
258
|
April 24, 2025
|
|
How many of you realize that SWI-Prolog is an excellent, genuinely excellent language?
|
|
4
|
1545
|
December 4, 2021
|
|
Issue with processing Unicode
|
|
15
|
273
|
October 31, 2023
|
|
Dealing with an asynchronous call, in a synchronized manner
|
|
9
|
344
|
March 6, 2023
|
|
Sweep-module.so from the development release (9.4.2-1) not usable on macOS from emacs
|
|
14
|
280
|
May 23, 2024
|
|
PCE Editor - get Text from the Editor Component
|
|
9
|
341
|
February 13, 2023
|
|
Foreign interface: BUF_DISCARDABLE seems to be non-working
|
|
28
|
198
|
October 7, 2024
|
|
:-multifile and DCG rules being stubborn, predicate fails immediately
|
|
9
|
336
|
April 5, 2021
|
|
Write IEEE 754 floats in binary stream
|
|
13
|
275
|
December 5, 2023
|
|
Swi-prolog build: various questions
|
|
20
|
224
|
July 24, 2024
|
|
Ann: SWI-Prolog 9.3.28
|
|
15
|
254
|
September 3, 2025
|
|
Client requests besides GET?
|
|
18
|
232
|
April 30, 2024
|
|
Variables with Janus
|
|
14
|
256
|
May 14, 2024
|
|
Can I use with_output_to/2 with a foreign function that calls Sprintf()?
|
|
13
|
263
|
September 15, 2023
|
|
Composite term not checked
|
|
11
|
282
|
October 25, 2023
|
|
Distributed SWISH
|
|
10
|
292
|
March 13, 2024
|
|
Kindly Requesting Guidance and Direction
|
|
9
|
305
|
May 4, 2023
|
|
Pack operations fail after upgrading swi-prolog to 9.2.1
|
|
11
|
278
|
February 19, 2024
|
|
Date arithmetic?
|
|
10
|
290
|
May 2, 2024
|
|
Phrase_from_file fails after 17 iterations
|
|
9
|
303
|
June 9, 2023
|
|
Janus and Conda
|
|
13
|
255
|
June 3, 2025
|
|
Https://www.swi-prolog.org/pack/query is down a
|
|
11
|
273
|
February 14, 2024
|
|
Must_be, can_be, is_not
|
|
9
|
293
|
May 10, 2023
|
|
Ann: SWI-Prolog 9.3.35
|
|
12
|
143
|
November 20, 2025
|
|
Suspicious warning "The predicates below are not defined ','/6"
|
|
17
|
214
|
October 12, 2025
|
|
SQLite dependency in a pack
|
|
12
|
139
|
July 31, 2024
|
|
Confusion over functor versus predicate -- and predicates in general
|
|
15
|
220
|
April 26, 2025
|
|
Solve logical program as a linear system of (in)equalities
|
|
12
|
242
|
April 11, 2024
|
|
Parser for a simple DSL
|
|
11
|
251
|
January 2, 2024
|
|
Fsyntax in swipl
|
|
9
|
153
|
March 6, 2025
|
|
What is a name for nested lists?
|
|
9
|
272
|
May 19, 2024
|
|
SWI-Prolog Interface to C++/C
|
|
15
|
208
|
August 12, 2024
|
|
O'Keefe's Revenge - Methods of Programming
|
|
20
|
180
|
August 23, 2024
|
|
Keeping tables small in long-lived services
|
|
18
|
188
|
August 29, 2024
|
|
Linear and logistic regression - Reply 2
|
|
10
|
247
|
July 4, 2025
|
|
TIL: CLP (Q) is a natural consequence of CLP (FD)
|
|
13
|
215
|
March 24, 2025
|