Does it exist for Common Lisp/Scheme? I know that could be implemented in a day, but still...
Other than that there are a bunch of rule-based systems in Common Lisp.
For example LispWorks Enterprise includes "KnowledgeWorks", which features a forward chainer based on the RETE algorithm.