|
About the General category
|
|
0
|
255
|
August 29, 2022
|
|
Welcome to Discourse
|
|
0
|
3041
|
February 4, 2019
|
|
Buying the ISO Prolog standard at a cheap price?
|
|
2
|
102
|
October 11, 2025
|
|
Game: Chess vs zombie-checkers (Prolog WASM + Phaser) - Reply 01
|
|
1
|
47
|
October 4, 2025
|
|
ChatGPT Can Convert Some Standards to Prolog, e.g. USPAP (Uniform Standards Of Professional Appraisal Practice)
|
|
4
|
69
|
October 4, 2025
|
|
Technical Failure Management and Root Cause Prediction with an Expert System
|
|
25
|
235
|
October 2, 2025
|
|
Performance improvements
|
|
0
|
69
|
September 30, 2025
|
|
Vega-Lite in SWISH?
|
|
8
|
84
|
September 30, 2025
|
|
WASM performance
|
|
10
|
108
|
September 29, 2025
|
|
SWI-Prolog won 2025 Alain Comerauer Prize
|
|
18
|
307
|
September 28, 2025
|
|
SWI-Prolog in the browser using WASM - Reply 1
|
|
4
|
731
|
August 5, 2022
|
|
One button in the gui tracer has stopped working
|
|
6
|
65
|
September 21, 2025
|
|
Example program for modal logic in mleancop
|
|
0
|
41
|
September 20, 2025
|
|
How does Prolog lexing of the `<NEWLINE>` work?
|
|
13
|
141
|
September 19, 2025
|
|
Current_predicate(make/0) is false
|
|
5
|
41
|
September 16, 2025
|
|
Pengines: inconsistent series of events received for sequence of ask requests to the same pengine
|
|
4
|
56
|
September 15, 2025
|
|
E-Graph implementation using prolog variables
|
|
2
|
86
|
September 14, 2025
|
|
Is this a known bug on `term_factorized/3`?
|
|
5
|
74
|
September 13, 2025
|
|
Pengines success event produced with two different term structures
|
|
0
|
23
|
September 12, 2025
|
|
Advent of Code 2024
|
|
56
|
866
|
September 12, 2025
|
|
Swish docker image
|
|
6
|
86
|
September 12, 2025
|
|
Graphic debugger in cursor (vs-code)
|
|
6
|
63
|
September 9, 2025
|
|
E-Graph matching with monotonic tabling
|
|
3
|
87
|
September 8, 2025
|
|
Osx / font size in pce-based editor
|
|
5
|
23
|
September 5, 2025
|
|
There really needs to be an Idiot's Guide for using Packs
|
|
1
|
40
|
September 4, 2025
|
|
XPCE keyboard input issues
|
|
9
|
28
|
September 3, 2025
|
|
`Too many stacked strings` bug in WASM, with repro example
|
|
8
|
120
|
September 1, 2025
|
|
Question on comma and semicolon vs dot in Prolog grammar
|
|
9
|
97
|
August 30, 2025
|
|
Laziness with lazy_lists vs freeze
|
|
8
|
74
|
August 29, 2025
|
|
Cyclic terms unification `X=f(f(X), X), Y=f(Y, f(Y)), X = Y. `
|
|
73
|
676
|
August 29, 2025
|