|
About the General category
|
|
0
|
293
|
August 29, 2022
|
|
Welcome to Discourse
|
|
0
|
3221
|
February 4, 2019
|
|
Learning CSGs in DCG notation with ILP
|
|
1
|
63
|
November 12, 2026
|
|
Http://www.swi-prolog.org/pldoc/doc_for?object=manual
|
|
1
|
63
|
November 8, 2026
|
|
Hacking Janus bridge, which connects Python and Prolog
|
|
0
|
46
|
November 3, 2026
|
|
Issue with UTF-8 in yaml_read
|
|
2
|
65
|
November 2, 2026
|
|
Why does call_with_time_limit/2 fail to interrupt tight repeat loops with frequent I/O?
|
|
12
|
218
|
November 1, 2026
|
|
Other languages are different, but not that different
|
|
6
|
213
|
October 30, 2026
|
|
Thread_get_message/3 can spin with a pending signal during cleanup
|
|
1
|
57
|
October 20, 2026
|
|
[Flash Report] Fast sorting & canonical deduplication for rational trees via C foreign predicate (tcoa_sort/2)
|
|
7
|
150
|
October 19, 2026
|
|
Possible database update problem
|
|
3
|
88
|
October 13, 2026
|
|
Tdd methology
|
|
0
|
56
|
October 13, 2026
|
|
Writing a CSG in DCG notation
|
|
5
|
169
|
October 9, 2026
|
|
Mixed info deduction
|
|
7
|
188
|
October 4, 2026
|
|
Plunit and optimise
|
|
1
|
83
|
October 3, 2026
|
|
Minimum MacOS requirements for SWI Prolog
|
|
9
|
185
|
September 27, 2026
|
|
Can't start SWI IDE from daily build for windows
|
|
8
|
161
|
September 22, 2026
|
|
Generating SWI-Prolog code with GPT-6 Astra
|
|
0
|
148
|
September 22, 2026
|
|
Term_factorized, term_minimal, term_automaton, automaton_minimal
|
|
14
|
248
|
September 20, 2026
|
|
Xml_write to a zipfile
|
|
6
|
109
|
September 17, 2026
|
|
Term_factorized/3 error for compound_name_arity zero term
|
|
20
|
259
|
September 10, 2026
|
|
Break_hook/7
|
|
1
|
91
|
September 10, 2026
|
|
Epilog console freeze on dragging scroll bar track
|
|
2
|
121
|
September 10, 2026
|
|
Atom_json_dict/3 options are not as documented
|
|
1
|
97
|
September 1, 2026
|
|
Emacs - File - Show buffer menu error
|
|
1
|
81
|
August 30, 2026
|
|
Unicode NO-BREAK SPACE not normalized by normalize_space/2
|
|
4
|
137
|
August 29, 2026
|
|
Wikipedia WASM
|
|
0
|
76
|
August 29, 2026
|
|
Help with extremely large integer arithmetic
|
|
19
|
404
|
August 28, 2026
|
|
New SDL+Cairo bindings pack
|
|
3
|
174
|
August 26, 2026
|
|
Installing and using third party packs in WASM swipl
|
|
10
|
316
|
August 25, 2026
|