From: Lee Christensen
Subject: Question about efficiency
Date: Wed, 29 Jan 2003 19:36:49 +0000
Message-ID: <6616c19a.0301291136.2872028b@posting.google.com>

I am planning to write a simple prolog-style backward chaining
inference engine, with a twist.  Rather than

(defun inference-engine (arg1 arg2 arg3)

From: Joe Marshall
Subject: Re: Question about efficiency
Date: Wed, 29 Jan 2003 19:42:30 +0000
Message-ID: <of5zpwt5.fsf@ccs.neu.edu>

········@ihc.com (Lee Christensen) writes:

> I am planning to write a simple prolog-style backward chaining
> inference engine, with a twist.  Rather than
> 
> (defun inference-engine (arg1 arg2 arg3)


Hm.  I guess leaving out the body qualifies as a `twist', but this
might be too simple to implement a prolog-style backward chaining
inference engine.  Unless you intend to leave your axioms blank as
well.