Fw_rules 1.0

Appeared in Volume 8/1, February 1995

fw_rules version 1.0 is a new Sicstus Prolog library providing a compiler for forward chaining rules. The implementation is based on a non-state saving technique coupled with an indexing mechanism on the working memory based on C bitwise operations to achieve efficiency. The library supports interoperability between the forward chaining language and the underlying Prolog engine. Terms in the working memory are represented as Prolog facts and can be accessed from Prolog to perform deduction.

The library is available from the Computer Science Lab of the Univ. of Bologna via anonymous FTP at ftp://ftp.cs.unibo.it/pub/gaspari/fw_rules/ . Copy the files fw_rules.tar.Z and README. Sicstus2.1 #9 is required.

Reference:
M. Gaspari, "Extending Prolog with Data Driven Rules", In Proc. of The 6th Int. Conf. AI and Information-Control Systems of Robots, 1994. Also available as the technical report UBLCS-94-3 from ftp://ftp.cs.unibo.it/pub/UBLCS/94-3.ps.gz

For more information contact:

Mauro Gaspari
Dipartimento di Matematica
Universita' di Bologna
Piazza di P. S. Donato 5
40126 Bologna, Italy
Email: gaspari@cs.unibo.it