Ciao-users November 2010

ciao-users@cliplab.org

4 participants
4 discussions

DES 2.1 Released
by fernan＠sip.ucm.es 30 Nov '10

30 Nov '10

[Apologies for multiple receptions] Hello. This is a mail just for informing that the new release Datalog Educational System version 2.1 http://des.sourceforge.net has been launched on November, 30th, 2010, and ported to Ciao Prolog 1.10p5 The main novelty in this release is the ability to access Datalog relations from SQL statements. To this end, types and optionally column names can be declared for Datalog relations. Types are one kind of integrity constraints which can be imposed to the database. This release also offers other Datalog (strong) integrity constraints: primary key, foreign key, functional dependencies and user-defined integrity constraints. As opposed to relational database systems, such constraints can be imposed not only on the extensional database (facts) but also on the intesional database (views). When constraint checking is enabled (it can be enabled or disabled with a command), the system monitors such constraints whenever a new fact or rule is asserted. As well, given a database, asserting an integrity constraint only succeeds if the database is consistent w.r.t. such constraint. Detailed error reporting in both cases is provided. A complete list of enhancements, changes 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 2.1 of DES (released on November, 30th, 2010) * Enhancements: o Access to Datalog relations from SQL statements. To this end, type declarations are provided to allow both give types and names to relation columns o Datalog (strong) integrity constraints: type, primary key, foreign key, functional dependencies and user-defined integrity constraints o SQL statements can be directly submitted from the Datalog prompt o Revised compilation of SQL views to Datalog rules, avoiding unnecesary intermediate relations o Enhanced performance: Built-in operators (is, <, >, ...) do not longer rely on the extension table mechanism, speeding computations up to ten times (cf. fib(1000,X) in fib.dl) o Negation can be applied to compound goals o Displaying of the number of consulted rules o Formatted Datalog syntax errors (error text, file name, line and column) o Updated manual o Output from the command /builtins rearranged in a way similar to /help o User inputs with trailing blanks after the ending optional dot are now accepted o Now, string type constraints limit the length of strings as specified in their declarations (e.g., char(1) does not permit strings of length more than 1). Working but in Ciao Prolog source distribution o Consulted Datalog files can contain multi-line remarks enclosed between /* and */ o Reworked shell command. Outtput and error streams are redirected to the window application in MS Windows distros (this applies to GNU Prolog, SICStus Prolog and SWI-Prolog) o New commands: - /cat Filename Type the contents of Filename. Also, the synonym /type Filename is provided - /check Display whether integrity constraint checking is enabled - /check [Switch] Enable or disable integrity constraint checking (on or off, resp.) - /spy Pred[/Arity] Set a spy point on the given predicate in the host Prolog interpreter (command intended for implementors, not users) - /nospyall Remove all Prolog spy points (command intended for implementors, not users) - /t Terminate the current DES session without halting the host Prolog system (command intended for implementors, not users) * Changes: o For ODBC connections, the table db_schema, which is automatically created to have access to table and view names, was hiden in SICStus Prolog source version o Consulting an incorrect line in a Datalog program does not halt from reading subsequent files, if any * Fixed bugs: o Empty strings were not displayed between single quotes o The empty constant ('') was rejected in Datalog rules o SICStus Prolog source version failed in retrieving tuples with Datalog queries in ODBC connections o Exiting without closing an ODBC connection raised an exception o Duplicated answers containing null values were not removed with duplicates disabled. Bug introduced in version 2.0 o Character inputs were not displayed during batch processing as, e.g., answering single-character inputs ('y', 'n', ...) o Ciao Prolog source distribution displayed incorrect paths when listing contents of directories containing '..' o When duplicates were enabled, some recursive rules did not provide answers, as fib(3) in fib.dl o Windows application entered a loop when closing the window with the white-crossed red button o DES could not be interrupted via Ctrl-C in the Ciao source distribution o Bitwise disjunction and conjunction were not correctly parsed

1 0

Coding Guidelines for Prolog: revised version
by Roberto Bagnara 24 Nov '10

24 Nov '10

We have just published a new, improved and extended version of the article "Coding Guidelines for Prolog": http://arxiv.org/abs/0911.2899 Constructive comments are welcome. All the best, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara(a)cs.unipr.it

2 1

19 Nov '10

Hello, It seems to be an issue in the top-level when loading the following program (say, p.pl): :- initialization(main). main :- repeat, read(X), X==stop. By submitting 'ensure_loaded(p)' the program does not stop when reading the term 'stop'. However, the very same program without the initialization directive does return to the top-level when explicitly called with the goal 'main'. Is this a bug or a feature? This execution corresponds to the Windows stable version 1.10p5 running on Windows XP SP3. By the way, when will the next stable version be released? All the best, Fernando Sáenz

2 2

ciao on Mac OSX intel (snow leopard - 10.6.5)
by John Velman 16 Nov '10

16 Nov '10

I've tried to compile ciao-1.10p8 and get the following result: Makefile:48: /Users/jr/Compile/ciao-1.10p8/makefile-sysdep/mkf-DARWINi86: No such file or directory make: *** No rule to make target `/Users/jr/Compile/ciao-1.10p8/makefile-sysdep/mkf-DARWINi86'. Stop. Is it possible to compile and install ciao prolog on intel OS X 10.6? I've googled every set of key words I can think of with now help. Thanks, John Velman

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users November 2010