Path: utzoo!mnetor!tmsoft!torsqnt!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!tut.cis.ohio-state.edu!ucbvax!mlpvm1.iinus1.ibm.com!ludemann
From: ludemann@mlpvm1.iinus1.ibm.com ("Peter Ludemann")
Newsgroups: comp.lang.prolog
Subject: REQUEST: blackboard/spreadsheet/TMS
Message-ID: <9102161804.AA05920@ucbvax.Berkeley.EDU>
Date: 16 Feb 91 18:04:12 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Reply-To: ludemann@mlpvm1.iinus1.ibm.com
Lines: 17

POPX@vax.oxford.ac.uk (Jocelyn Paine) asks:
>                                          (Anyone got a program for
> compiling rules into Rete nets?)

You might want to look at:

     "Building Expert Systems in Prolog" by Dennis Merritt
     Springer-Verlag 1989, ISBN 0-387-97016-9
     212 pages of text, 110 pages of programs
     Hardback (acid free): US$34, source diskette: US$35.

There are chapters on forward chaining, explanation, frames, and
performance (including a simple RETE rule compiler).  Forward-chaining
uses assert/retract; you might want to use recorda/recorded instead.
(In my opinion, Merritt's forward chaining programs do not use Prolog as
a logic programming language; rather they use it as it as a powerful
symbolic-processing language with unification -- chacun a son gout.)