|
Example program for modal logic in mleancop
|
|
0
|
56
|
September 20, 2025
|
|
How does Prolog lexing of the `<NEWLINE>` work?
|
|
13
|
169
|
September 19, 2025
|
|
Current_predicate(make/0) is false
|
|
5
|
59
|
September 16, 2025
|
|
Pengines: inconsistent series of events received for sequence of ask requests to the same pengine
|
|
4
|
64
|
September 15, 2025
|
|
E-Graph implementation using prolog variables
|
|
2
|
111
|
September 14, 2025
|
|
Is this a known bug on `term_factorized/3`?
|
|
5
|
108
|
September 13, 2025
|
|
Pengines success event produced with two different term structures
|
|
0
|
42
|
September 12, 2025
|
|
Advent of Code 2024
|
|
56
|
919
|
September 12, 2025
|
|
Swish docker image
|
|
6
|
108
|
September 12, 2025
|
|
Graphic debugger in cursor (vs-code)
|
|
6
|
89
|
September 9, 2025
|
|
E-Graph matching with monotonic tabling
|
|
3
|
103
|
September 8, 2025
|
|
Osx / font size in pce-based editor
|
|
5
|
52
|
September 5, 2025
|
|
There really needs to be an Idiot's Guide for using Packs
|
|
1
|
63
|
September 4, 2025
|
|
XPCE keyboard input issues
|
|
9
|
55
|
September 3, 2025
|
|
`Too many stacked strings` bug in WASM, with repro example
|
|
8
|
142
|
September 1, 2025
|
|
Question on comma and semicolon vs dot in Prolog grammar
|
|
9
|
135
|
August 30, 2025
|
|
Laziness with lazy_lists vs freeze
|
|
8
|
91
|
August 29, 2025
|
|
Cyclic terms unification `X=f(f(X), X), Y=f(Y, f(Y)), X = Y. `
|
|
73
|
785
|
August 29, 2025
|
|
Question on expression levels in Prolog parsing rules
|
|
1
|
58
|
August 27, 2025
|
|
Coroutine to compare two lists using shif/reset continuation
|
|
1
|
60
|
August 27, 2025
|
|
Site navigation menu changing from hamburger to sidebar
|
|
2
|
49
|
August 16, 2025
|
|
How does this program work?
|
|
8
|
110
|
August 13, 2025
|
|
Graph traversal help
|
|
1
|
66
|
August 10, 2025
|
|
==/2 is exactly bi-similar
|
|
0
|
58
|
August 9, 2025
|
|
Functional notation in swi-prolog
|
|
6
|
112
|
August 6, 2025
|
|
More thread wrangling
|
|
7
|
111
|
August 6, 2025
|
|
When are functional notation of dict compile time expanded?
|
|
4
|
70
|
August 5, 2025
|
|
No query result with dict and javascript object which has _ values
|
|
8
|
59
|
August 1, 2025
|
|
A couple of quick json questions
|
|
2
|
46
|
July 31, 2025
|
|
`strtod` implementation faulty?
|
|
7
|
71
|
July 30, 2025
|