DES 5.0 Released

[Fernando Sáenz Pérez]

[Apologies for multiple receptions]

Hello.
This is a mail just for informing that the new release

Datalog Educational System version 5.0
http://des.sourceforge.net

has been launched on February, 24th, 2017, and tested for

SICStus Prolog 4.3.1
SWI-Prolog 7.2.3

The current major version features the inclusion of fuzzy
reasoning in a deductive database: Formal concepts
supporting the fuzzy logic programming system Bousi~Prolog
are translated into the deductive database system. A version
of fuzzy Datalog as query language is provided, where
programs and queries are compiled to the DES core Datalog
language. Weak unification and weak SLD resolution are
adapted to this setting, and extended to allow rules with
truth degree annotations. A bunch of commands to handle this
new system mode is provided. Apart from this, other
additions include using selected commands as directives (so
that a command in a file can be automatically executed upon
consulting the file), a default constraint for SQL table
creation, exception control in type casting, several
relation primitives supported in the tiny Prolog
interpreter, and the possibility to elide PDG construction
when opening external databases with slow connections.

A complete list of enhancements and fixed bugs is attached
to the end of this message.
Please, see http://des.sourceforge.net for details.

Best regards.



=============================================================
Fernando Saenz Perez
Profesor Titular de Universidad / Associate Professor
Home Page: http://www.fdi.ucm.es/profesor/fernan
Tel: + 34 913947642. Fax: + 34 913947547
Despacho / Office: 435 (4ª planta / 4th floor)
Dept. Ingenieria del Software e Inteligencia Artificial /
Department of Software Engineering and Artificial
Intelligence
Universidad Complutense de Madrid
Facultad de Informatica
C/Profesor Jose Garcia Santesmases, s/n
E - 28040 Madrid. Spain

=============================================================



Version 5.0 of DES (released on February, 24th, 2017)

* Enhancements:
o Fuzzy Datalog as a new query language for fuzzy
reasoning. A new system mode FuzzyDES is switched with the
new command /system_mode fuzzy, which enables fuzzy
queries and programs, changing the command prompt to FDES>
o Several commands can be used as assertions so that they
are executed if present in consulted Datalog files (the
new commands /solve and /system_mode, /clear_et, and most
fuzzy commands for portability with Bousi~Prolog)
o SQL DEFAULT constraint for CREATE TABLE and DEFAULT
keyword for INSERT
o Exception control in type casting
o Several relation primitives supported in the tiny Prolog
interpreter
o New commands:
- /external_pdg Display whether external PDG
construction is enabled.
- /external_pdg Switch Enable or disable external PDG
construction (on or off) Some ODBC drivers are so slow
that makes external PDG construction impractical. If
disabled, tracing and debugging external databases are
not possible.
- /fuzzy_expansion Display current fuzzy expansion: bpl
(Bousi~Prolog) or des (DES). For each fuzzy equation
P~Q=D, the first one generates as many rules for Q as
rules for P, whereas for the second one, generates only
one rule for Q.
- /fuzzy_expansion Value Set the fuzzy expansion as of
the given system: bpl (Bousi~Prolog) or des (DES). If
changed, the database is cleared. The value bpl is for
experimental purposes and may develop unexpected
behaviour when retracting either clauses or equations.
Can be used as a directive.
- /fuzzy_relation Display each fuzzy relation and its
properties.
- /fuzzy_relation ListOfProperties Synonym for
/fuzzy_relation ~ ListOfProperties.
- /fuzzy_relation Relation ListOfProperties Set the
relation name with its properties given as a list of:
reflexive, symmetric and transitive. If a property is
not given, its counter-property is assumed (irreflexive
for reflexive, asymmetric for symmetric, and
intransitive for transitive). Can be used as a
directive.
- /fuzzy_rel ListOfProperties Synonym for
/fuzzy_relation ~ ListOfProperties.
- /lambda_cut Display current lambda cut value, a float
between 0.0 and 1.0. It defines a threshold for
approximation degrees of answers.
- /lambdacut Synonym for /lambda_cut.
- /lambda_cut Value Set the lambda cut value, a float
between 0.0 and 1.0. It defines a threshold for
approximation degrees of answers. Can be used as a
directive.
- /lambdacut Value Synonym for /lambda_cut Value.
- /list_fuzzy_equations List fuzzy equations of the form
X~Y=D, meaning that symbol X is similar to symbol Y with
approximation degree D. Equivalent to
/list_fuzzy_equations ~.
- /list_fuzzy_equations Relation List fuzzy equations of
the form X Relation Y = D, meaning that predicate X is
related under Relation to predicate Y with approximation
degree D.
- /list_t_closure List the t-closure of the similarity
relation ~ as fuzzy equations of the form X~Y=D, meaning
that symbol X is similar to predicate Y with
approximation degree D. Equivalent to /list_t_closure ~.
Can be used as a directive.
- /list_t_closure Relation List the t-closure of the
similarity relation ~ as fuzzy equations of the form
X~Y=D, meaning that symbol X is similar to predicate Y
with approximation degree D. Can be used as a directive.
- /solve Input : Solve the input as it was directly
submitted from the prompt. The command, used as a
directive, can submit goals during consulting a Datalog
program. Can be used as a directiv
- /system_mode Display the current system mode.
- /system_mode Mode Set the system mode to Mode (des or
fuzzy) Switching between modes abolishes the current
database. Can be used as a directive.
- /t_closure_comp Display the way for computing the
t-closure, which can be either datalog or prolog.
- /t_closure_comp Value Set the way for computing the
t-closure, which can be either datalog or prolog. Can be
used as a directive.
- /t_norm Synonym for /t_norm ~.
- /t_norm Value Synonym for /t_norm ~ Value. Can be used
as a directive.
- /t_norm Relation Display the current t-norm for
Relation, which can be: goedel, lukasiewicz, product,
hamacher, nilpotent, where min is synonymous for goedel,
and luka for lukasiewicz. Can be used as a directive.
- /t_norm Relation Value Set the current t-norm for
Relation, which can be: goedel, lukasiewicz, product,
hamacher, nilpotent, where min is synonymous for goedel,
and luka for lukasiewicz. Can be used as a directive.
- /transitivity Synonym for /transitivity ~.
- /transitivity Value Synonym for /transitivity ~ Value.
- /transitivity Relation Display the current t-norm for
Relation, which can be: goedel, lukasiewicz, product,
hamacher, nilpotent, where min is synonymous for goedel,
and luka for lukasiewicz. Can be used as a directive.
- /transitivity Relation Value Set the current t-norm
for Relation, which can be: goedel, lukasiewicz,
product, hamacher, nilpotent, where min is synonymous
for goedel, and luka for lukasiewicz. Can be used as a
directive.
* Fixed bugs:
o Tracing might deliver incomplete answers for predicates
including built-ins
o Building groups for aggregations failed to build some
groups as a result of subsequent iterations of the memo
function for recursive predicates
o Exception raised when either renaming or creating (with
the clause LIKE) a table for some constraints
o Arithmetic constants raised an exception in SELECT
statements
o 0-degree functions (as CURRENT_DATE) were not recognized
in SELECT statements
o 0-degree functions and arithmetic constants were not
recognized but in lower-case
o The function substr was not recognized by the parser
o Built-in relations introduced in version 4.2 were not
given types. This might deal to incorrect inferred types
o Trying to insert into a non-existent column generated a
second incorrect error message
o Datetime constants were not normalized in SQL
o Exception when parsing the command /set_flag
o Columns with the name of an arithmetic symbol could not
be referenced but with *



//------------------------------//
// ACIDE 0.17 Release Notes //
// September, 10th 2015 //
//------------------------------//


* Enhancements, changes and fixed bugs:
o Localization to French
o Multiple editors for new files
o New Reset and Refresh buttons for the Database panel
o The Datalog query for Trace Datalog becomes single-lined
o Keyboard shortcut (F9) for Play
o Rule (SQL statement, resp.) location becomes disabled
by-default in Trace Datalog (Trace SQL, resp.)
o New Debug SQL panel but with incomplete functionality
o Bug fixes in several panels (Console, Database, ...) but
presumably others added.


IMPORTANT CAVEATS / KNOWN BUGS:
o Ctrl+Mouse Wheel for resizing font display may take long
time depending on the number of open file editors.
o Opening medium-sized text files may take long time due
to lexical analysis. No progress indicators are provided.
Only when all editor windows are processed they are
displayed.
o As an alpha version, there are expected many bugs and
incomplete functionalities. Please report them to
fer...@sip.ucm.es