From: Juergen Loehr
Subject: wanted: forward chaining algorithm in COMMON LISP
Date: 
Message-ID: <1993Apr5.110008.23453@us-es.sel.de>
Hi,

I'm posting this for a friend who has no access to news.

Juergen

---- 8< ---- 8< ---- 8< ---- 8< ---- 8< ---- 8< ---- 8< ---- 8< ---- 8<

Hi Netters,

I am searching for a simple public domain algorithm in COMMON LISP for working
with rules. I need a simple forward chaining algorithm and - if available - also
a backward chainer. It doesn't have to include any truth maintenance
facilities and should be plain LISP without machine specific features. Does
anybody know where such a program is available via ftp or mail or some
literature where such an algorithm is described in detail (with listing)?

Thanks for advice, please reply via email(!) to ········@fn.dornier.de.

Jens Eickhoff