cats@freja.diku.dk (Carl-Lykke Pedersen) (06/07/89)
Is there someone that can tell me if a product exists which serves as an inference engine/production system capable of foward and backward chaining? It must be implemented in common lisp. Please help. THANKS, cats@diku.dk