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