|
Prolog directives aren't consistent with logic and very misleading... right?
|
|
1
|
99
|
April 2, 2025
|
|
Ann: SWI-Prolog 9.3.22
|
|
6
|
205
|
April 4, 2025
|
|
Can I call use_module/1 with a module created using PL_new_module?
|
|
7
|
60
|
April 3, 2025
|
|
Building clpBNR constraints at runtime
|
|
5
|
57
|
April 3, 2025
|
|
How does prolog tell the difference between atoms and zero arity predicates?
|
|
4
|
82
|
April 2, 2025
|
|
Does every clause in prolog correspond to exactly one Horn clause or not?
|
|
7
|
79
|
April 2, 2025
|
|
I've formalized basics of Prolog in Coq to have 100% understanding
|
|
0
|
77
|
April 2, 2025
|
|
New version of Units pack
|
|
0
|
29
|
March 31, 2025
|
|
Prolog totally missed the AI Boom
|
|
28
|
728
|
March 26, 2025
|
|
How to import python class into janus?
|
|
2
|
30
|
March 27, 2025
|
|
Tinker using .qlf files and no source
|
|
0
|
36
|
March 27, 2025
|
|
Unclear use of timeout in unit tests
|
|
5
|
423
|
March 27, 2025
|
|
Understanding Gradients in Prolog
|
|
14
|
100
|
March 26, 2025
|
|
How to convert standard json into prolog json?
|
|
42
|
211
|
March 26, 2025
|
|
Units: a new pack for units and quantities
|
|
21
|
126
|
March 25, 2025
|
|
The exercise "flatten a list" from the LPN course seems impossible to do with only course material
|
|
15
|
72
|
March 25, 2025
|
|
Probabilistic Logic Programming
|
|
20
|
4430
|
March 25, 2025
|
|
Run deterministic goals first, to improve performance and determinism
|
|
0
|
37
|
March 24, 2025
|
|
TIL: CLP (Q) is a natural consequence of CLP (FD)
|
|
13
|
124
|
March 24, 2025
|
|
Using trace in pengine server, any way to send the output trace to the client?
|
|
0
|
27
|
March 24, 2025
|
|
Scrolling up and down in swipl-win does partly delete some of the contents in the window
|
|
7
|
66
|
March 23, 2025
|
|
Is it possible to serialise PCE Classes?
|
|
3
|
39
|
March 22, 2025
|
|
Higher Order and Autograd
|
|
0
|
124
|
March 11, 2025
|
|
Is there room to adopt a flag strict_iso?
|
|
2
|
51
|
March 19, 2025
|
|
Wasm vs swish and others
|
|
20
|
204
|
March 19, 2025
|
|
Any Symbolic Expression Lib?
|
|
15
|
265
|
March 16, 2025
|
|
Ann: SWI-Prolog 9.3.21
|
|
3
|
162
|
March 13, 2025
|
|
Janus: py_call(1 + 2, Sum)
|
|
8
|
76
|
March 13, 2025
|
|
Spring 2025 Challenge: TicTacToe Transformer
|
|
0
|
78
|
February 24, 2025
|
|
Signaling threads that are waiting on mutexes
|
|
2
|
28
|
March 11, 2025
|