![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
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.
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |