I've used a few later versions of rule-based tools like https://www.cambridge.org/core/journals/knowledge-engineerin... but never got to try the original Lisp ones. Merging ART or one of the other ones in Common-Lisp with some semantic-web tools like allegrograph would be interesting.