A forward chaining algorithm with cost logarithmic wrt number of rules + facts | Dark Hacker News