Forward Chainer for Prolog Rules

Appeared in Volume 9/4, November 1996

mueller@informatik.uni-leipzig.de
Robert Mueller
14th December 1995

Does anyone know of a forward chainer (written in Prolog or other language), that can process Prolog rules in forward chaining mode?

I have a knowledge base written in Prolog, and use it for backward chaining problems, but there are some forward chaining problems I would like to solve as well.

mary@amzi.com
Mary Kroening
15th December 1995

There are two prototypes on our web site at http://www.amzi.com. They are in the demo section, under "Expert Systems in Prolog".

The first is called FOOPS, which a forward chainer with frames, similar to OPS5. The second is called RETEFOOP, which uses a rete-like network to enhance performance.

There are comments in the code. A complete tutorial on how to build them can be found in Building Expert Systems in Prolog, published by Springer-Verlag.

timm@insect.sd.monash.edu.au
Tim Menzies
15th December 1995

Have a look at:
http://www.sd.monash.edu.au/~timm/pub/code/ruler.tar.Z.U

This is a small forward chainer which I wrote for some students in 1992. It works under UNSW Prolog, but if anyone is interested, I could port it to SWI Prolog.