3 ms·

First order logic rule-based system