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