CMU Artificial Intelligence Repository
FW_Rules: Support for Forward Chaining Rules in Prolog
lang/prolog/code/ext/fw_rules/
FW_RULES is a 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.
Origin:
ftp.cs.unibo.it:/pub/gaspari/fw_rules/
as the files README and fw_rules.tar.Z
Version: 1.1 (5-DEC-94)
Requires: Sicstus Prolog 2.1 #9
Copying: Please mail to gaspari@cs.unibo.it if you are going to
use the library.
GNU GPL v2
Updated: Tue Dec 6 15:52:22 1994
CD-ROM:
Author(s): Mauro Gaspari
Dipartimento di Matematica
Universita' di Bologna
Piazza di P. S. Donato 5
40126 - Bologna - Italy
Keywords:
Data Driven Rules, FW_Rules, Forward Chaining Rules, GNU GPL,
Prolog!Code, Prolog!Extensions
References:
M. Gaspari, "Extending Prolog with Data Driven Rules", In Proceedings
of The Sixth International Conference Artificial Intelligence and
Information-Control Systems of Robots, World Scientific, September
12-16, 1994. [Available as Technical Report UBLCS-94-3 from
ftp.cs.unibo.it:/pub/UBLCS/
as the file 94-3.ps.gz]
Last Web update on Mon Feb 13 10:33:35 1995
AI.Repository@cs.cmu.edu