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