3 ms·A forward chaining algorithm with cost logarithmic wrt number of rules + facts2 points by enriquepablo 7y ago