hi,
First: I have read that prolog systems are generally backward-chaining systems. I would like to do forward-chaining so I can deal with notification of particular events to the users.
My approach to add "reactive rules" to prolog was based on a data driven schema which exploits an indexing mechanism based on bitmaps. Although the software has been written for sicstus the idea is general and could be replicated in any prolog which provides a foreign language interface.
ftp.cs.unibo.it:/pub/gaspari/fw_rules/
Efficient Support for Reactive Rules in Prolog by M.Gaspari [LNAI September 1997] ftp.cs.unibo.it:/pub/gaspari/papers/aiia97.ps.gz
May be it could be reasonable to port the library in ciao.
Mauro --- ---- *Mauro Gaspari *Dip. di Scienze dell'Informazione *Universita' di Bologna *Via Mura Anteo Zamboni 7 *40126 - Bologna - Italy
Work (Bologna): +39 051 2094875 Work (Cesena): +39 0547 642813 Fax (Bologna): +39 051 2094510 E-mail: gaspari(a)cs.unibo.it www: http://cs.unibo.it/~gaspari ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------