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/ -----------------------------------------------------------------------------