 bog
|
116dd25881
|
⚡ prune useless facts when solving.
|
2024-05-01 23:38:10 +02:00 |
|
bog
|
0bcd25c693
|
⚡ update only look at previous facts iteration.
|
2024-05-01 22:35:03 +02:00 |
|
bog
|
d44b14e159
|
⚡ predicate indexing before pattern matching.
|
2024-04-29 23:15:06 +02:00 |
|
bog
|
6a4c31d401
|
🐛 used to produce useless facts and rules.
|
2024-04-29 00:43:24 +02:00 |
|
bog
|
bfd64b20b6
|
✨ forward chaining v0.
|
2024-04-28 18:23:47 +02:00 |
|
bog
|
fb41410797
|
✨ formula to CNF converter.
|
2024-04-25 18:47:45 +02:00 |
|
bog
|
badb08ec05
|
✨ parser for formula.
|
2024-04-24 14:40:43 +02:00 |
|
bog
|
5cecb1f1ed
|
🎉 ✨ lexer for formula.
|
2024-04-24 10:56:13 +02:00 |
|
bog
|
36aad850ca
|
Initial commit
|
2024-04-23 16:48:00 +00:00 |