Hacker News new | ask | show | jobs
A forward chaining algorithm with cost logarithmic wrt number of rules + facts (gitlab.com)
2 points by enriquepablo 2536 days ago