|
About the General category
|
|
0
|
251
|
August 29, 2022
|
|
Welcome to Discourse
|
|
0
|
2957
|
February 4, 2019
|
|
Beginner's question: findall with predicate that does not "return" anything
|
|
4
|
26
|
April 27, 2025
|
|
Confusion over functor versus predicate -- and predicates in general
|
|
15
|
114
|
April 26, 2025
|
|
Named singleton variables
|
|
7
|
152
|
April 9, 2025
|
|
Emacs Babel for Prolog is "goal-oriented"
|
|
17
|
159
|
April 24, 2025
|
|
Concurrent labeling?
|
|
15
|
86
|
April 21, 2025
|
|
predicate_property(:Head, exported) returning false?
|
|
7
|
52
|
April 21, 2025
|
|
Solving the 8-Puzzle with group theory
|
|
8
|
336
|
April 20, 2025
|
|
ChatGPT o3 insists there is a "walk_directory" procedure, but it doesn't exist
|
|
1
|
44
|
April 19, 2025
|
|
Attributed variables, reachability, garbage collection, debugging
|
|
1
|
28
|
April 17, 2025
|
|
Extending Unification 2
|
|
12
|
115
|
April 14, 2025
|
|
Someone out there having pack(tor) available?
|
|
9
|
57
|
April 14, 2025
|
|
Memory issue while creating python objects with janus
|
|
2
|
28
|
April 11, 2025
|
|
Can SWI-Tinker use a library(markup)?
|
|
14
|
258
|
April 6, 2025
|
|
SWISH and loading csv files
|
|
6
|
58
|
April 9, 2025
|
|
SVG to bypass GraphViz and Cytoscape
|
|
0
|
34
|
April 8, 2025
|
|
Prolog directives aren't consistent with logic and very misleading... right?
|
|
1
|
88
|
April 2, 2025
|
|
Can SWI-Tinker use a shield/1?
|
|
0
|
36
|
April 1, 2025
|
|
How does prolog tell the difference between atoms and zero arity predicates?
|
|
4
|
78
|
April 2, 2025
|
|
Does every clause in prolog correspond to exactly one Horn clause or not?
|
|
7
|
75
|
April 2, 2025
|
|
I've formalized basics of Prolog in Coq to have 100% understanding
|
|
0
|
61
|
April 2, 2025
|
|
Prolog totally missed the AI Boom
|
|
28
|
705
|
March 26, 2025
|
|
How to import python class into janus?
|
|
2
|
29
|
March 27, 2025
|
|
Understanding Gradients in Prolog
|
|
14
|
93
|
March 26, 2025
|
|
How to convert standard json into prolog json?
|
|
42
|
197
|
March 26, 2025
|
|
The exercise "flatten a list" from the LPN course seems impossible to do with only course material
|
|
15
|
69
|
March 25, 2025
|
|
Scrolling up and down in swipl-win does partly delete some of the contents in the window
|
|
7
|
64
|
March 23, 2025
|
|
Higher Order and Autograd
|
|
0
|
117
|
March 11, 2025
|
|
Is there room to adopt a flag strict_iso?
|
|
2
|
49
|
March 19, 2025
|