From: Tom Fawcett
Subject: Looking for backward-chaining rule interpreter for common lisp
Date: Mon, 18 Jun 1990 21:39:26 +0000
Message-ID: <9315@bunny.GTE.COM>

I'm developing a system that will have a significant backward-chaining rule
component.  I'm looking for a public-domain backward-chaining rule system for
common lisp -- sort of like a Prolog in Lisp, but without the environment and
many builtins that Prolog comes with.  Speed and size are *not* very
important, but it needs to have:

(1)  Access to the database (via the equivalent of the Prolog predicates
	term, clause, functor, assert, retract, etc.)
(2)  Access to LISP (callable to and from LISP)
(3)  Extensible and/or well-documented source code, especially if it doesn't
	  have (1) and I have to implement the predicates myself.
(4)  A sophisticated pattern matcher, preferably Prolog-style unification.

Does anyone know of anything that satisfies these requirements, or at least
most of them?

Thanks,
-Tom Fawcett
UMass/Amherst
& GTE Labs