|
Denoising Fixpoint Operator in Prolog
|
|
0
|
56
|
May 8, 2025
|
|
Meta-interpreter with modules and meta-predicates
|
|
10
|
64
|
May 13, 2025
|
|
Using http_daemon with --debug
|
|
0
|
22
|
May 12, 2025
|
|
Installing Sweeprolog plugin in Emacs
|
|
1
|
32
|
May 12, 2025
|
|
I am having error with janus
|
|
7
|
113
|
May 11, 2025
|
|
Clib
|
|
2
|
32
|
May 11, 2025
|
|
Neurosymbolic AI
|
|
20
|
3741
|
February 23, 2021
|
|
Sweeprolog: Overriding theme
|
|
0
|
34
|
May 8, 2025
|
|
ChatGPT SWI-Prolog assistent
|
|
24
|
332
|
May 6, 2025
|
|
Playing around with local LLM and having issues handling chunked responses
|
|
3
|
65
|
May 2, 2025
|
|
Creating dynamic test cases
|
|
3
|
60
|
May 1, 2025
|
|
How to "One-Hot" cleanly
|
|
7
|
80
|
May 1, 2025
|
|
Cmake with gcc does not recognise -quiet option / swipl 9.2.9
|
|
3
|
20
|
April 30, 2025
|
|
Multipart_open does not advance the stream's pointer
|
|
8
|
51
|
April 29, 2025
|
|
Support precompiled (.qlf) libraries
|
|
5
|
120
|
April 29, 2025
|
|
Beginner's question: findall with predicate that does not "return" anything
|
|
4
|
49
|
April 27, 2025
|
|
Ann: SWI-Prolog 9.3.24
|
|
2
|
225
|
April 27, 2025
|
|
Confusion over functor versus predicate -- and predicates in general
|
|
15
|
138
|
April 26, 2025
|
|
Choice points with lists
|
|
4
|
75
|
April 26, 2025
|
|
Named singleton variables
|
|
7
|
162
|
April 9, 2025
|
|
Prolog LSP Update - Code Formatting!
|
|
10
|
195
|
April 24, 2025
|
|
Emacs Babel for Prolog is "goal-oriented"
|
|
17
|
176
|
April 24, 2025
|
|
Selecting a range in a dictionary
|
|
2
|
47
|
April 24, 2025
|
|
Concurrent labeling?
|
|
15
|
92
|
April 21, 2025
|
|
Prolog LSP now supports colours (Discussion)
|
|
27
|
1316
|
April 22, 2025
|
|
predicate_property(:Head, exported) returning false?
|
|
7
|
52
|
April 21, 2025
|
|
SWIPL+sCASP Dockerfile no longer runs: changes to swipl:latest?
|
|
2
|
36
|
April 21, 2025
|
|
Solving the 8-Puzzle with group theory
|
|
8
|
348
|
April 20, 2025
|
|
ChatGPT o3 insists there is a "walk_directory" procedure, but it doesn't exist
|
|
1
|
51
|
April 19, 2025
|
|
Documentation systems (PlDoc, LpDoc, etc.)
|
|
8
|
69
|
April 19, 2025
|