Hello,
Came across this documentation of persistent predicate database.
ciao_html/ciao_141.html#SEC548
"The concept of persistent predicates provided by this library essentially implements a light-weight, simple, and at the same time powerful form of relational database (a deductive database),..."
Does ciao support deductive database features like handling of recursive rules using tabling etc? (as done by XSB e.g?)
Regards, Mayuresh.
============================================================================== 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/ -----------------------------------------------------------------------------
"The concept of persistent predicates provided by this library essentially implements a light-weight, simple, and at the same time powerful form of relational database (a deductive database),..."
The fundamental idea here is achieving persistence, i.e., remembering values from one execution to another in a very simple and automatic way without having to bother working directly with files or a database. This is very useful for example for remembering configuration options (saving them e.g. in ~/.foo.d/...), producing logs, maintaining mailing lists, etc., etc. It also provides the nicest interface to databases that we know of.
Does ciao support deductive database features like handling of recursive rules using tabling etc? (as done by XSB e.g?)
Tabling improves completeness, which is useful in databases and in fact in many other applications. Ciao does not support tabling yet, although it is in the plans. It does however include several execution rules (e.g., breadth first and iterative deepening) which ensure completeness (at a cost, of course).
Hope this helps!
Does ciao support deductive database features like handling of recursive rules using tabling etc? (as done by XSB e.g?)
Tabling improves completeness, which is useful in databases and in fact in many other applications. Ciao does not support tabling yet, although it is in the plans. It does however include several execution rules (e.g., breadth first and iterative deepening) which ensure completeness (at a cost, of course).
Maybe you are interested in a software that runs on Ciao (and some other systems) and deals with basic deductive databases: http://des.sourceforge.net Best regards
============================================================= Fernando Sáenz Pérez e-mail : fernan(a)sip.ucm.es Home page: http://www.ucm.es/info/dsip/directorio/FSP/ Tel: + 34 913947642. Fax: + 34 913947529 Despacho/Office: 435 Dept. Sistemas Informáticos y Programación / Department of Computer Systems and Programming Universidad Complutense de Madrid Facultad de Informática C/Juan del Rosal, nº 8 E - 28040 Madrid. Spain =============================================================
============================================================================== 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/ -----------------------------------------------------------------------------
-
ciao＠clip.dia.fi.upm.es -
Fernando Sáenz Pérez -
mayuresh＠acm.org