Ciao-users

ciao-users@cliplab.org

948 discussions

HCVS'15: Call for papers
by Jorge A Navas 24 Feb '15

24 Feb '15

Call for Papers Horn Clauses for Verification and Synthesis (HCVS) July 19, 2015 · San Francisco, USA Submission deadlines: - paper submission: May 22, 2015 - paper notification: June 19, 2015 Most Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the two communities of Constraint/Logic Programming (e.g., ICLP and CP) and Program Verification community (e.g., CAV, TACAS, and VMCAI) on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these two communities in different times and from different perspectives and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences. Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs in various programming paradigms (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Case studies and tools - Challenging problems We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress and presentations covering previously published results that are of interest to the workshop. Invited speakers: - Ranjit Jhala, University of California at San Diego - Joxan Jaffar, National University of Singapore Program Committee: Elvira Albert (Complutense University of Madrid) Nikolaj Bjorner (Microsoft Research) Gregory J. Duck (National University of Singapore) Fabio Fioravanti (University of Chieti-Pescara) John Gallagher (Roskilde University and IMDEA-Software Madrid) Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) - chair Radu Grigore (University of Oxford) Konstantin Korovin (Manchester University) Viktor Kuncak (EPFL) David Monniaux (CNRS/Verimag) Jorge A. Navas (NASA) - chair Corneliu Popeea (CQSE) Maurizio Proietti (IASI-CNR, Italy) Philipp Ruemmer (Uppsala University, Department of Information Technology) Andrey Rybalchenko (Microsoft Research) Valerio Senni (ALES srl) Peter Stuckey (University of Melbourne) Yakir Vizel (Princeton University) The submission format is up to 12 pages plus bibliography for regular papers and 1 to 3 pages (for work-in-progress), both in EPTCS format. Original accepted papers will be published electronically as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/ Authors of accepted papers are required to ensure that at least one of them will be present at the workshop. Papers must be submitted through the EasyChair system using the web page: https://easychair.org/conferences/?conf=hcvs2015.

1 0

CFP: Practical Aspects of Declarative Languages (PADL 2015)
by Enrico Pontelli 15 Feb '15

15 Feb '15

Call for Papers =============== 17th International Symposium on Practical Aspects of Declarative Languages (PADL 2015) http://www.cs.nmsu.edu/padl15 Portland, Oregon, June 18-19, 2015 Conference Description ====================== Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2015 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL 2015 will be co-located with the ACM Federated Computing Research Conferences, in Portland, Oregon. Important Dates and Submission Guidelines ========================================= Paper Submission: February 28, 2015 Notification: March 31, 2015 Camera-ready: April 15, 2015 Symposium: June 18-19, 2015 Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system: https://easychair.org/conferences/?conf=padl2015 All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared. PADL 2015 will accept both technical and application papers: * Technical papers must describe original, previously unpublished research results. Technical papers must not exceed 15 pages (plus one page of references) in Springer LNCS format. * Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 8 pages in Springer LNCS format but such papers can also point to sites with supplemental information about the application or the system that they describe. The proceedings of PADL’15 will appear in the LNCS series of Springer Verlag. Contacts ======== For additional information about papers and submissions, please contact the Program Chairs: Enrico Pontelli and Son Cao Tran New Mexico State University, USA Email: epontell | tson <AT> cs <DOT> nmsu <DOT> edu

1 0

Which scheduling strategy is used by Ciao's tabling implementation?
by Breidenbach Lorenz 12 Feb '15

12 Feb '15

Hello, I am trying to find out more about how tabling is implemented in Ciao. A google search brought me to the paper "A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation” by Guzmán et al. (Link: http://link.springer.com/chapter/10.1007%2F978-3-540-89982-2_79 ) In it the authors mention that “all […] executions were performed using local scheduling”. This paper was written 8 years ago. Has Ciao’s tabling implementation changed since then or is it still the same? Am I right to assume that Ciao uses the local scheduling strategy described in "Beyond depth-first: Improving tabled logic programs through alternative scheduling strategies.“ by Freire et al. ? Is there any other documentation available on how the tabling mechanism works apart from the first paper? Thank you very much! Lorenz

1 0

Tabling: abolish_all_tables/0 cannot be found
by Breidenbach Lorenz 15 Jan '15

15 Jan '15

Hello everybody, I have an issue with Ciao’s tabling: When I try to call abolish_all_tables, I get an error. Here is an example: I have a prolog file ‘foo.pl’ with the following contents: ================= BEGIN ================= :- use_package(library(tabling)). :- data edge/2. :- table tc/2. edge(a, b). edge(b, c). %Left-recursive transitive closure. tc(X, Y) :- edge(X, Y). tc(X, Y) :- tc(X, Z), edge(Z, Y). ================= END ================= I load this file in the ciao repl and have the following interactions: ================= BEGIN ================= ?- ensure_loaded(foo). yes ?- tc(a, b). yes ?- tc(a, c). yes ?- tc(c, a). no ?- asserta_fact(edge(c,a)). yes ?- tc(c, a). no ?- abolish_all_tables. {ERROR: user:abolish_all_tables/0 - existence error: procedure:user:abolish_all_tables/0 does not exist} no ================= END ================= My problem is that the truth of `tc(c,a)` changes due to me asserting the fact `edge(c,a)`. Since I already evaluated `tc(c,a)` once, and tc is declared as tabled, ciao gives me the tabled, now incorrect, value instead of performing a new computation. I would therefore like to abolish all tables to force ciao to evaluate the query anew. What is it that I am doing wrong? Thank you for your help! Lorenz PS: I am using the current development version of ciao (1.15-1781-g328b907). During the configuration stage of the build I explicitly enabled tabling support.

2 1

CFP: Practical Aspects of Declarative Languages (PADL 2015)
by Enrico Pontelli 15 Jan '15

15 Jan '15

1 0

help
by Umberto Vizcaino 16 Sep '14

16 Sep '14

help

3 2

Re: [Ciao-users] :-use_package(use_occurs_check).
by ciao＠clip.dia.fi.upm.es 15 Sep '14

15 Sep '14

Hi Jim, > When I try to use the package in the subject heading I get > > {ERROR: absolute_file_name/7, arg 1 - existence error: source_sink:library > (use_occurs_check) does not exist} > > what should I be using in order to have access to the predicate > > unify_with_occurs_check/2 > ? This depends on your context. In the top level (which loads by default 'iso-misc') you do not need to do anything: it is loaded by default. > ?- unify_with_occurs_check(X,Y). > > Y = X ? > > yes > ?- unify_with_occurs_check(X,f(X)). > > no > ?- The same happens in a module that uses a traditional module declaration, e.g.: > :- module(_,_). > > p(X,Y) :- unify_with_occurs_check(X,Y). since those modules load the same packages as the top level (the set of 'builtins' that is normally provided by standard Prologs). The same happens also in a "user" file (a file with no module declaration): those also load the same modules as the top level. If you specify packages in the module declaration (including 'no packages', as below), then you have to load iso-misc explicitly: > :- module(_,_,[]). > > :- use_module(library(iso_misc)). > > p(X,Y) :- unify_with_occurs_check(X,Y). In this mode one can control specifically which modules and packages are loaded and which not so that, e.g., one can make sure that no unwanted predicates (e.g., assert/retract, higher-order, side-effects, ...) are visible from a given module. How to figure out that unify_with_occurs_check/2 is in iso_misc? - In the manual: look in the index for unify_with_occurs_check/2 and it points you to iso_misc. - Much easier: in the graphical environment. E.g., within emacs, in a .pl file (or the top level) put the cursor on unify_with_occurs_check and do 'C-c TAB', and this will take you to the manual page. The module is on the emacs mode line. Hope this helps. Manuel H -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | IMDEA Software Institute ciao(a)clip.dia.fi.upm.es | and Technical University of Madrid http://www.ciao-lang.org / http://www.cliplab.org -----------------------------------------------------------------------------

1 0

:-use_package(use_occurs_check).
by James Lipton 15 Sep '14

15 Sep '14

When I try to use the package in the subject heading I get {ERROR: absolute_file_name/7, arg 1 - existence error: source_sink:library(use_occurs_check) does not exist} what should I be using in order to have access to the predicate unify_with_occurs_check/2 ? Thanks, --JL I'm using ciao 1.14.2

1 1

Install from source on Ubuntu 14.04 LTS for x86_64
by GreyHat LispHacker 26 Aug '14

26 Aug '14

Has anyone been able to install Ciao on a 64 bit version of Debian or Ubuntu? My initial experience with Ciao was on an older 32 bit system (Ubuntu 10.04) and it worked without any problems. When I attempt to use the Ciao docs to install on an Intel based 64 bit system, I am running into a number of gcc and linker errors, with various .so not being found. What recommendations, if any, are there for getting Ciao to run on 64 bit systems? Thanks for any help.

2 1

Re: [Ciao-users] Cannot get Ciao 1.15 menus on iMac Maverick OS X 10.9.4
by ciao＠clip.dia.fi.upm.es 22 Aug '14

22 Aug '14

This could be because Ciao is using the default Emacs on MacOS (/usr/bin/emacs) instead of Aquamacs during installation. Can you try to clean up and restart installation from scratch with: ./ciaosetup configure --menu (you may also need to set --cc=/usr/local/Cellar/gcc/4.8.3_1/bin/gcc-4.8 or wherever your gcc is, since that 1.15 still needed gcc --newer versions compile with clang but we have not got around making a distro, sorry; this should happen shortly). Select > Please select level of interaction: > > 1 -- Fully automatic (recommended). > 2 -- Manually configure just a minimum set of options. > 3 -- Manually configure an extended set of options. > > INTERACTIVE_CONFIG=[1] ? 2 > > Select the type of installation: > > global -- Install the system in a separate location from the > sources and set up things to use the installed version. > The system will not require the sources to run, and > they can be erased after installation. > local -- The system will be compiled in, and run from the > sources (this is specially useful for developers). > > INSTYPE=[global] ? local > > Registration type: > > all -- Make the system available to all users. Typically you > you will need to complete the installation as root. > user -- Make the system available only for the current user > (configure it in the user's home directory). > > REGISTRATION_TYPE=[user] ? user and, simply 'enter' for everything else, except: > The version of emacs that you wish to use with Ciao. The > development environment will be compiled for use with this version. > > EMACS_FOR_CIAO=[/usr/bin/emacs] ? /Applications/Aquamacs.app/Contents/MacOS/Aquamacs (with no space at the end of the line). And then './ciaosetup build', './ciaosetup docs', './ciaosetup install'. This should work. Please let us know. MH -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | IMDEA Software Institute ciao(a)clip.dia.fi.upm.es | and Technical University of Madrid http://www.ciao-lang.org / http://www.cliplab.org -----------------------------------------------------------------------------

5 8

← Newer
1
...
9
10
11
12
13
14
15
...
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