Support for shared monotonic tabling
|
|
2
|
33
|
August 8, 2024
|
Example of validating json in an http handler
|
|
11
|
87
|
August 8, 2024
|
Opportunity for Prolog Developers – Remote Position
|
|
1
|
144
|
August 7, 2024
|
SWI-Prolog feature sizes
|
|
9
|
106
|
August 7, 2024
|
Difference between ls/1 and use_module/1 when finding a module
|
|
7
|
48
|
August 6, 2024
|
Meta interpreter for tracking state?
|
|
4
|
66
|
July 21, 2024
|
SWI Prolog and Raylib?
|
|
23
|
177
|
July 25, 2024
|
A swipl command shell options to use pack zdd library to counting families of sets
|
|
8
|
37
|
August 2, 2024
|
Auto qcompile mode seems not work on macOS 15 (Sequoia) beta
|
|
2
|
22
|
July 26, 2024
|
Segfault happening some time after 9.3.0
|
|
12
|
54
|
July 26, 2024
|
Differences on swi-prolog command line options -f, -F, -l, -s
|
|
2
|
27
|
July 24, 2024
|
Swi-prolog build: various questions
|
|
20
|
91
|
July 24, 2024
|
Indexing on Genomic Positions for Range Queries in SWI-Prolog
|
|
2
|
44
|
July 22, 2024
|
Advent of Code: Combinatorial Logic
|
|
3
|
313
|
July 22, 2024
|
Expert Systems in Prolog: Good Practices
|
|
3
|
94
|
July 22, 2024
|
Swi-prolog bindings to SDL
|
|
17
|
92
|
July 22, 2024
|
SWISH term_singletons/2 and easy text coloring?
|
|
5
|
105
|
June 27, 2024
|
How to use JPL in alpine container from java service
|
|
9
|
68
|
July 19, 2024
|
Why are included libraries not qcompiled?
|
|
17
|
106
|
July 19, 2024
|
Compiling SWI-Prolog from git source on next macOS 15 beta
|
|
18
|
74
|
July 19, 2024
|
Swipl used for unit tests (test_saved_states.pl)
|
|
4
|
26
|
July 18, 2024
|
Prolog client for BaseX XML database
|
|
5
|
61
|
July 16, 2024
|
Fail the build if a dependency is not found
|
|
17
|
51
|
July 15, 2024
|
Kernel panics in garbage collection?
|
|
7
|
46
|
July 12, 2024
|
What does "Cannot represent due to `predicate references'" mean?
|
|
1
|
36
|
July 10, 2024
|
Term expansion when loading compiled qlf files
|
|
1
|
34
|
July 8, 2024
|
Code_type/2 seems non-relational - bug?
|
|
2
|
42
|
July 8, 2024
|
Automatic Dark or Light Mode for SWI-Prolog
|
|
1
|
45
|
July 8, 2024
|
Dictionaries and ('.')/2
|
|
2
|
47
|
July 4, 2024
|
Async I/O in SWI-Prolog
|
|
14
|
293
|
June 27, 2024
|