SourceForge.net Logo
Contributions

SQL Declarative Debugger v2.

    Authors: Rafael Caballero-Roldán, Yolanda García-Ruiz, and Fernando Sáenz-Pérez
    Date: 5/2012
    Description: Extended tool for the declarative debugging of SQL views (see DES User Manual)
    License: LGPL.
    Contact: Fernando Sáenz-Pérez

SQL Declarative Debugger.

    Authors: Rafael Caballero-Roldán, Yolanda García-Ruiz, and Fernando Sáenz-Pérez
    Date: 5/2011
    Description: Tool for the declarative debugging of SQL views (see DES User Manual)
    License: GPL.
    Contact: Fernando Sáenz-Pérez

Test Case Generator.

    Authors: Rafael Caballero-Roldán, Yolanda García-Ruiz, and Fernando Sáenz-Pérez
    Date: 10/2009 (upgraded version supported in DES 1.8.0)
    Description: Tool for generating test cases for SQL views (see DES User Manual)
    License: LGPL.
    Contact: Yolanda García-Ruiz

ACIDE (A Configurable Development Environment).

    Authors: Diego Cardiel Freire, Juan José Ortiz Sánchez, Delfín Rupérez Cañas, Miguel Martín Lázaro, Javier Salcedo Gómez, Pablo Gutiérrez García-Pardo, Elena Tejeiro Pérez de Ágreda, Andrés Vicente del Cura, Fernando Ordás Lorente, Juan Jesús Marqués Ortiz, Semíramis Gutiérrez Quintana, Sergio Domínguez Fuentes, and Sergio García Rodríguez, led by Fernando Sáenz-Pérez.
    Date: 1/2021 (several releases since 2007)
    Description: This project is aimed to provide a multiplatform configurable integrated development environment which can be configured in order to be used with any development system such as interpreters, compilers and database systems. Features of this system include: project management, multifile editing, syntax colouring, and parsing on-the-fly (which informs of syntax errors  when editing programs prior to the compilation).
    License: LGPL.
    Project Web Page: http://acide.sourceforge.net/

Datalog Declarative Debugger.

    Authors: Rafael Caballero-Roldán, Yolanda García-Ruiz, and Fernando Sáenz-Pérez
    Date: 5/2007
    Description: Tool for the declarative debugging of Datalog programs  (see DES User Manual)
    License: LGPL.
    Contact: Yolanda García-Ruiz

Emacs environment V1.14a.

    Author: Markus Triska.
    Date: 22/2/2007.
    Description: Provides an integration of DES into Emacs. Once a Datalog file has been opened, you can consult it by pressing F1 and submit queries and  commands from Emacs. This works at least in combination with SWI Prolog (it depends on the -s switch); other systems may require slight modifications.
    License: GPL.
    Contact: Markus Triska
    Installation: Copy des.el to your home directory and add to your .emacs:
    (load "~/des")
    ; adapt the following path as necessary:
    (setq des-prolog-file "~/des/systems/swi/des.pl")
    (add-to-list 'auto-mode-alist '("\\.dl$" . des-mode))

    Restart Emacs, open an *.dl file to load it into a DES process (this currently only works with SWI-Prolog). If the region is active, F1 consults the  text in the region. You can then interact with DES as on a terminal.

TextMate Theme for Datalog

    Author: Mitchell Jones.
    Date: 4/11/2013.
    Description: A TextMate Theme for Datalog. It also allows comments to be inserted via the general shortcut in the text editor, and snippets for rule and predicates.
    License: GPL.
    Contact: info@mjwebproductions.com.au