3 ms·If term rewriting interest you : https://github.com/opencog/ure https://github.com/opencog/ureby The_rationalist 6y agoIf term rewriting interest you : https://github.com/opencog/ure https://github.com/opencog/ure