Newsgroups: comp.ai,comp.ai.shells,comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!godot.cc.duq.edu!news.duke.edu!convex!cs.utexas.edu!math.ohio-state.edu!jussieu.fr!univ-lyon1.fr!ghost.dsi.unimi.it!dm.unibo.it!cs.unibo.it!gaspari
From: gaspari@cs.unibo.it (Gaspari Mauro)
Subject: New Forward Chaining Support in Prolog
Message-ID: <Cx7H4C.1GE@dm.unibo.it>
Keywords: production rules, Prolog
Sender: gaspari@eolo (Gaspari Mauro)
Organization: Laboratory for Computer Science, University of Bologna, Italy.
Date: Wed, 5 Oct 1994 15:16:59 GMT
Lines: 43
Xref: glinda.oz.cs.cmu.edu comp.ai:24528 comp.ai.shells:1848 comp.lang.prolog:11385


Hi, 

A new sicstus Prolog library supporting data driven rules is 
available.

---------
	  FW_RULES 1.0: SUPPORT FOR FORWARD RULES IN PROLOG

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.

_________________________________________________________________________
AVAILABILITY: 
Needed: (sicstus2.1 #9)
The library is available from the Computer Science Laboratory of the 
University of Bologna: 
ftp.cs.unibo.it pub/gaspari/fw_rules/fw_rules.tar.Z
		pub/gaspari/fw_rules/README

Please mail to gaspari@csr.unibo.it if you are going to use the library.
_________________________________________________________________________
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 also as a  Technical Report UBLCS-94-3 from ftp.cs.unibo.it 
    pub/UBLCS/94-3.ps.gz

For more information mail to: gaspari@cs.unibo.it

|||||||||||||||||||||||||||||||||||||||||||||| Mauro Gaspari   		   |
| Steal a little and they throw you in jail  | Dipartimento di Matematica  |
| Steal a lot and they make you king         | Universita' di Bologna      |
|				  Bob Dylan  | Piazza di P. S. Donato 5	   |
|||||||||||||||||||||||||||||||||||||||||||||| 40126 - Bologna - Italy 	   |

