5 Commits (main)

Author	SHA1	Message	Date
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