Ciao-users

ciao-users@cliplab.org

948 discussions

DES 2.2 Released
by fernan＠sip.ucm.es 24 Mar '11

24 Mar '11

[Apologies for multiple receptions] Hello. This is a mail just for informing that the new release Datalog Educational System version 2.2 http://des.sourceforge.net has been launched on March, 24th, 2011, and ported to Ciao Prolog 1.13.0 There have been several improvements in this release but not a major feature. For instance, a new type inferencing system has been added, which now allows users to impose type constraints on intensional predicates, not only in extensional ones as in previous version. As well, type inference precision has been upgraded by adding constraint solving in the inference process. To ease type declarations, a new syntax is provided, which coexists with the original. ODBC connections have been revisited, upgraded and tested against other DBMSs and databases, as Oracle and SQL Server. In particular, access to spatial databases has been successful. New ports have been provided (replacing the old ones) to SICStus Prolog 4.2.0 and Ciao Prolog 1.13.0, which includes a brand new unreleased CLP(FD) library and has been tested on Windows 7 (former version 1.10p5 does not work on such OS). Help system has been refactorized and commands to ask for help on specific topics are provided. Built-in Prolog DCG expansion has been replaced with an explicit translation to avoid target system differences. 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.2 of DES (released on March, 24th, 2011) * Enhancements: o Type constraints can be imposed and checked on intensional predicates, not only on extensional ones o Improved type inference precision o Propositional relations can also be typed o Datalog type char added o Added alternative syntax for Datalog type constraints: :- type(pred(col1:type1,...,coln:typen)) and :- type(pred(type1,...,coln)) o Added Oracle predefined 'dual' table o Added FROM-less SQL SELECT statements o Help system refactoring o New commands: - /help Keyword Display detailed help about command Keyword - /apropos Keyword Synonym for /help Keyword - /prolog_system Display the underlying Prolog engine version o Formatted ODBC error messages o From the Datalog input, ALTER, USE and CREATE TABLE SQL statements are also automatically sent to the opened ODBC datatabase, if a connection is already opened o Added warning for undeclared predicates occurring in basic queries (i.e., those predicates which have not been provided with either a defining rule or a type declaration) o When executing a query in development mode, its compilation is displayed o Multi-line remarks are allowed at the system prompt o Developer commands are now available in Ciao source distribution o New port to Ciao Prolog 1.13.0. Includes unreleased all-new clpfd library. This port replaces the old port to version 1.10p5 o New port to SICStus Prolog 4.2.0, which includes enhanced and fixed ODBC library. Former limitations of DES w.r.t. this port are removed o In the context of an opened ODBC connection, predicate dependency graph and stratification are computed from the relational database schema, instead of querying each table and view. Computing the deductive database part does not change o More robust handling of ODBC exceptions o SIGINT interrupt signal is catched in SWI-Prolog version so that users can now interrupt DES (Ctrl-C usual keyboard interrupt) o SQL Server ODBC connections tested on spatial databases * Changes: o Built-in Prolog DCG expansion replaced with an explicit translation, which can now be found in des_dcg.pl. This file is an adaptation of Ciao's dcg_expansion.pl. It works with all supported Prolog systems but GNU Prolog 1.3.1, which does not provide term expansion o A singleton anonymous variable denoted by an underscore in listings is displayed with an underscore. Up to version 2.1, it was given a name with letters, starting with A o Instantiation error exceptions coming from code implementing DES are now displayed (only useful for DES implementors) o Some program simplifications related to equalities have been omitted for the sake of type inferencing. This involves different source-to-source translations during query evaluation o Built-in is/2 is translated into =/2 at compilation-time when its right argument is already evaluated o Removed input error message from attempting to add types in the context of an opened ODBC connection * Fixed bugs: o Unsafety was not reported for anonymous variables (as, e.g., asserting the rule p(_)) o Negation involving an aggregate or outer join predicate with atom syntactic form was not transformed (e.g., not(count(p,0))) o Changing some system flags in no verbose mode displayed an info message o Datalog types char(N) and varchar(N) were not parsed o Some Datalog queries with duplicates enabled and an opened ODBC connection were incomplete in some special cases where rule identifiers collided o Log recording upon exceptions repeated previous lines in some keyboard inputs o Predicate dependency graph and stratification was not computed when closing an ODBC connection o Some calls to predicates resulting from translating SQL queries involving disjunctions were incorrectly built, as in select * from t where a=1 or b=1

1 0

Implementation of TCP / IP for the Windows in ciao prolog
by koziolwojciech 09 Mar '11

09 Mar '11

Hi, I have a question. Can I use the library use_module (library (sockets)) on Windows? If not, how to implement a TCP/IP in the prolog ciao for Windows. Wojciech Kozioł

1 0

[Lpmas] LPMAS CFP
by Son Cao Tran 25 Feb '11

25 Feb '11

apologies for multiple posts; please distribute LPMAS 2011: International Workshop on Logic Programming and Multi-Agent Systems Date: July 9 or 10, 2011 Location: Lexington, Kentucky The area of Multi Agent Systems (MAS) has gained popularity, as a viable problem solving paradigm in a variety of domains. MAS are viewed as communities or societies of computing and problem-solving engines that can operate either individually or as part of the society, interacting with both the environment as well as the other engines to achieve their own individual goals and/or joint goals of the society. Research in MAS has expanded to embrace contributions from a variety of communities, including artificial intelligence, natural language processing, distributed computing, and philosophy. Logic, in general, and logic programming, in particular, continue playing an important role in both the modeling as well as the implementation and deployment of MASs. Logic programming offers a powerful paradigm for the construction of individual intelligent agents, enabling the formalization of knowledge, beliefs, goals, and in the development of models and algorithms for several reasoning and problem solving tasks, such as planning and diagnosis. Moreover, logic and logic programming can play a part in the representation of features that are specific to the interactions among agents, such as ability to reason about other agents’ goals and knowledge, communication and communication protocols, negotiation, cooperation and competition, and analysis of agent groups and emergent cooperative behavior. The aim of this workshop is to explore the application of Logic Programming to MAS. The focus of the workshop will be on multi-agent rather than single agent issues, with emphasis on co-operative and conflicting agents, where there could be common and joint goals as well as goals for individual agents. In such contexts, reasoning about other agents' goals and beliefs, communication, negotiation, belief revision and conflict resolution could be essential for the achievement of the goals of the agents. The workshop will provide a forum for presentation of ongoing research and new ideas and initiatives in the area of logic programming support and applications in MAS. As a forum of discussion, we welcome contributions from both established as well as preliminary and ground-breaking new projects. The workshop is designed not only as a venue for discussing current research, but also as an open forum for the identification of promising directions and discussion of possible collaborations among groups with complementary expertise. We plan to include in the program of the workshop a round-table discussion, which we hope will converge on the development of a challenge paper to the LP/MAS community. Topics of interest include (but are not limited to): • Logic programming to formalize agents in MAS, e.g., o Interaction protocols o Negotiation o Argumentation in MAS o Representation of knowledge and beliefs • MAS reasoning tasks in LP, e.g., planning, diagnosis, prediction • Logic programming platforms for MAS • Evaluation and empirical studies of LP-based MAS systems • Investigation of extensions of LP to meet the needs of MAS systems We solicit submissions in the following forms • Technical papers: a technical paper is limited in length to 15 pages; • System paper: a system paper is limited in length to 6 pages and it is aimed at highlighting the features of a MAS system or implemented platform, available for the public to download and use. Both technical papers and system papers are to be prepared using the standard LNCS format (see also http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions should be performed using the Easychair submission site located at: https://www.easychair.org/conferences/?conf=lpmas2011 Papers will be technically reviewed by the workshop program committee. Authors of papers accepted for presentation are expected to register for the workshop and present their work at the event. The proceedings of the workshop will be made available on-line in the Computing Research Repository (CoRR). A special issue of a journal with extended versions of selected submissions will be also considered. Important Dates: Submission Deadline: May 1st, 2011 Notification of Acceptance: May 20th, 2011 Camera-ready Due: June 10th, 2011 Workshop: July 9 or 10, 2011 Chitta Baral, Arizona State University Chiaki Sakama, Wakayama University Joao Leite, New University of Lisbon Francesca Toni, Imperial College Paolo Torroni, University of Bologna Andrea Formisano, University of Perugia Agostino Dovier, University of Udine Gerhard Brewka, University of Leipzig Matteo Baldoni, University of Torino Birna van Riemsdijk, Technical University of Delft For more information and submission instruction, please see http://www.cs.nmsu.edu/~epontell/LPMAS11/ _______________________________________________ Lpmas mailing list Lpmas(a)mail.cs.nmsu.edu https://intranet.cs.nmsu.edu/mailman/listinfo/lpmas

1 0

Installation - Windows 7 - 64 bits
by Regis Riveret 14 Dec '10

14 Dec '10

Hi, I 'm looking forward to using Ciao, but it seems to me that there are some installation issues on Windows 7 - 64 bits. The install.bat was not working due a path problem with key registration. In install.bat, instead of regedit ciao.reg write regedit "c:\Program Files (x86)\ciao-1.8p2Win32\ciao.reg" On this basis, the registry is updated (I had a look to it) but I guess it is not properly updated, because when I try ciaosh.cpx, I have a message: "Registry key not found. Please remember to install Ciao prologor to set the CIAO LIB environment variable!" Is there anyone who installed Ciao in Windows 7 - 64 bits ? Best regards, Regis

3 2

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

DAMP 2011 Call for Papers
by Manuel Carro 16 Sep '10

16 Sep '10

[We apologize in advance for the reception of multiple copies] DAMP 2011 Declarative Aspects of Multicore Programming Austin, Texas (colocated with POPL 2011) January 23, 2011 damp2011.cs.uchicago.edu SUBMISSION DEADLINE: OCTOBER 11, 2010 The advent of multicore architectures has profoundly increased the importance of research in parallel computing. Modern platforms are becoming more complex and heterogenous and novel solutions are needed to account for their peculiarities. Multicore architectures will differ in significant ways from their multisocket predecessors. For example, the communication to compute bandwidth ratio is likely to be higher, which will positively impact performance. More generally, multicore architectures introduce several new dimensions of variability in both performance guarantees and architectural contracts, such as the memory model, that may not stabilize for several generations of product. Programs written in functional or (constraint-)logic programming languages, or in other highly declarative languages with a controlled use of side effects, can greatly simplify parallel programming. Such declarative programming allows for a deterministic semantics even when the underlying implementation might be highly non-deterministic. In addition to simplifying programming this can simplify debugging and analyzing correctness.rations of product. DAMP 2011 is the sixth in a series of one-day workshops seeking to explore ideas in declarative programming language design that will greatly simplify programming for multicore architectures, and more generally for tightly coupled parallel architectures. The emphasis will be on (constraint-)logic and functional programming, but any declarative programming language ideas that aim to raise the level of abstraction are welcome. DAMP seeks to gather together researchers in declarative approaches to parallel programming and to foster cross fertilization across different approaches. Specific topics include, but are not limited to: * investigation of applications of logic, constraint logic, and functional programing to multicore programing * run-time issues of exploitation of parallelism using declarative programming approaches (e.g., garbage collection, scheduling) * architectural impact on exploitation of parallelism from declarative languages * type systems and analysis for accurately detecting dependencies, aliasing, side effects, and impure features * language level declarative constructs for expressing parallelism * declarative language specification for the description of data placement and distribution * compilation and static analysis techniques to support exploitation of parallelism from declarative languages (e.g., granularity control) * practical experiences and challenges arising from parallel declarative programming * technology for debugging parallel programs * design and implementation of domain-specific declarative languages for multicore programming Submission: Submitted papers papers should be written in English and should not exceed 10 pages in ACM SIGPLAN conference format. Submission is electronic via: http://www.easychair.org/conferences/?conf=damp11 Accepted papers will be published in the ACM Digital Library and in a physical proceedings. Papers must adhere to the SIGPLAN Republication Policy: http://www.sigplan.org/republicationpolicy.htm Concurrent submissions to other conferences, workshops, journals, or similar forums of publication are not allowed. However, DAMP is intended to be a venue for discussion and exploration of works-in-progress, and so publication of a paper at DAMP 2011 is not intended to preclude later publication as appropriate. Additional information about the submission process can be found at the conference web site. Important dates: Paper submission: Oct. 11 Notification to authors: Nov. 8 Camera ready: Nov. 22 Program Chair: John Reppy University of Chicago General Chair: Manuel Carro Universidad Politécnica de Madrid Program Committee: Fred Barnes University of Kent (UK) Gopal Gupta University of Texas, Dallas (USA) Kerri Hammil Microsoft (USA) Kevin Hammond University of St Andrews (UK) Stephan Herhut University of Hertfordshire (UK) Manuel Hermenegildo IMDEA Software Institute and UPM (Spain) Gabriele Keller University of New South Wales (Australia) John Reppy University of Chicago (USA) URL: http://damp2011.cs.uchicago.edu/ -- +------------------------------------------------------------------------------+ | Manuel Carro --- Facultad de Informática -- U. Politécnica de Madrid (UPM) | | Campus de Montegancedo --- E-28660 Boadilla del Monte --- Spain | | Phone: +34-913363747 --- FAX: +34-913363669 |

1 0

CFP: DAMP 2011
by Manuel Carro 10 Sep '10

10 Sep '10

1 0

← Newer
1
...
25
26
27
28
29
30
31
...
95
Older →

Jump to page:

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