Ciao-users

ciao-users@cliplab.org

948 discussions

Re: [Ciao-users] Trouble with lpdoc
by ciao＠clip.dia.fi.upm.es 11 May '12

11 May '12

> What is the procedure for updating the Mac OS X package? > I installed by double-clicking on the icon. > Should I uninstall before attempting to install the fixed version? Yep, you need to uninstall the old version and install the new one. Please let us know how it goes! -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | Technical University of Madrid ciao(a)clip.dia.fi.upm.es | IMDEA Software Institute http://www.ciaohome.org / http://www.cliplab.org -----------------------------------------------------------------------------

1 0

DES 3.0 Released
by fernan＠sip.ucm.es 10 May '12

10 May '12

[Apologies for multiple receptions] Hello. This is a mail just for informing that the new release Datalog Educational System version 3.0 http://des.sourceforge.net has been launched on May, 10th, 2012, and ported to Ciao Prolog 1.14.2 There are two relevant enhancements in the current release: Predicate persistency supported by external databases, and an extended SQL debugger. The first one motivates raising the major version as it opens a brand new scenario for several reasons: First, predicates are no longer limited by available memory; instead, persisted predicates are using as much secondary storage as needed and provided by the underlying external database. Second, processing is directed to the external database for those rules that can be projected, and to the deductive engine for rules that can not. This way, one can take advantage of the external database performance and scalability. Third, queries which are not possible in an external database can be solved by the deductive engine. So, one can extend external database expressiveness with the added features in DES. Finally, as several ODBC connections are allowed at a time, different predicates can be made persistent in different DMBSs, which allows for interoperability among external relational engines and the local deductive engine, therefore enabling business intelligence applications. With respect to the new SQL Debugger version, which is a new implementation, it also now accept user information about wrong and missing tuples, allowing to focus the questions directed to the user on more precise error sources, therefore preventing many questions involving large sets of data. New ports to SICStus Prolog 4.2.1 and SWI-Prolog 6.0.2 have been provided. Finally, the license has been relaxed to LGPL version 3. 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 3.0 of DES (released on May, 10th, 2012) * Enhancements: o New commands: + /close_db Name Close the given ODBC connection. TAPI enabled + /drop_assertion Drop an assertion + /start_stopwatch Start stopwatch. Precision depends on host Prolog system (1 second or milliseconds) + /stop_stopwatch Stop stopwatch + /reset_stopwatch Reset stopwatch + /display_stopwatch Display stopwatch + /list_persisted Display the persisted predicates. TAPI enabled + /show_dbs Display the open database connections. TAPI enabled + /show_sql Display whether SQL statements which are sent to an external database are to be displayed + /show_sql Switch Enable or disable display of SQL statements which are sent to an external database (on or off, resp.) + /use_db Name Make Name the current ODBC connection. TAPI enabled + /dbschema Connection:Name Display the database schema for the given view or table name in the given connection + /license Display GPL and LGPL licenses. If not found, please visit http://www.gnu.org/licenses o New assertions: + :-persistent(PredSpec[,Connection])) Make a predicate to persist on an external RDBMS via an ODBC connection. PredSpec can be either the pattern PredName/Arity or PredName(Schema), where Schema can be either ArgName1, , ArgNameN or ArgName1:Type1, , ArgNameN:TypeN. If a connection name is not provided, the current open database is used o Binary flags in commands are no longer case-sensitive o New port to SICStus Prolog 4.2.1. This release fixes in particular some issues with ODBC connections (exceptions about misencoded string in non-ASCII ODBC messages, and incorrect handling of SQL_BIGINT and related types) o New port to SWI-Prolog 6.0.2 * Changes: o License has been relaxed to GNU Lesser General Public License o New versions of command /debug_sql does not admit a traversing order yet (order option removed) o Release notes of older DES versions are moved to the new document: releasenotesDES.pdf * Fixed bugs: o Some spanned inputs without leading blanks in multi-line mode were not recognised o Duplicated object rules were retrieved several times o Some commands were not recognized in mixed or uppercase o Some listings in development mode did not display all rules o Some hypothetical queries led to exceptions o Existency of table and attributes in an INSERT SQL statement with a SQL data source was not checked o Parsing of a SQL relation separated by a leading space before the comma lead to syntax error o Predefined strong constraints relating a tuple of column names were rejected if its lexicographic order did not match the order in which they occur in table definition o Running info were logged o Some rules with conjunctions and disjunctions were not parsed correctly from consulted files o GNU Prolog source distribution stopped processing of batch files while encountering a /shell command o Predicate dependency graph and strata were not computed after issuing DML SQL statements INSERT, DELETE and DQL SQL statement WITH

1 0

Trouble with lpdoc
by John O'Gorman 10 May '12

10 May '12

Hi 2 problems: a. lpdoc does not seem to be installed with the OSX package b. On Linux, lpdoc seems to be missing the SETTINGS_DEFAULT.pl file. I've laboured and got ciao 1.14 working with emacs and info on both Linux and OSX. Most impressive - especially the integration of emacs and ciao with the info manuals. But I can't get to 1st base with lpdoc. On Linux and from emacs when I use the lpdoc menu option to create a new SETTINGS file I get an error message: Opening input file: no such file or directory, /local/lib/lpdoc/lpdoc-3.0/SETTINGS_DEFAULT.pl >From the command line on Linux, running the command: lpdoc lpsettings produces the error message: { Program ended with failure } I've installed ciao and lpdoc on SUSE linux from source on one machine and from the RPM package on another. The behaviour is the same on both. The path on the RPM version is /usr/lib/lpdoc/ .., I've also installed on a Max OSX machine. There is no lpdoc on that installation. Can someone help me? Perhaps a sample SETTINGS_DEFAULT.pl file (I don't mind altering paths where appropriate). Or is lpdoc lpsettings no longer available? The -h option does not show it as a command. Regards John O'Gorman

2 2

Installing Ciao Prolog on Windows 7 with Emacs
by John Sampson 09 May '12

09 May '12

Hello - I have installed the current version of Ciao Prolog on Windows 7. I think the instructions in the user manual are out of date as it discusses a Zip file whereas the current download is an executable. The user manual also mentions a file called ForEmacs.txt but after installation of both Emacs and Ciao prolog I can find no sign of it. At the end of the download the programming environment looks as if Emacs is being used, but if I shut down Emacs and the programming environment, I can make Emacs come up again by itself and also Ciao by itself, but I think the two should work together. What is the current procedure for installing Ciao Prolog with Emacs on Windows 7? What is the procedure for restarting Ciao Prolog with Emacs after closing down at the end of a session? Regards _John Sampson_

1 0

Second CFP Synasc 2012, Timisoara, Romania
by Dramnesc Isabela 01 May '12

01 May '12

[Please post - apologies for multiple copies.] Second Call for Papers --------------------- SYNASC 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ~~ In honor of Professor Bruno Buchberger's 70th birthday and of Professor Stefan Maruster's 75th birthday ~~ September 26-29, 2012, Timisoara, Romania http://synasc12.info.uvt.ro/ Aim --- SYNASC aims to stimulate the interaction between the two scientific communities of symbolic and numeric computing and to exhibit interesting applications of the areas both in theory and in practice. The choice of the topic is motivated by the belief of the organizers that the dialogue between the two communities is very necessary for accelerating the progress in making the computer a truly intelligent aid for mathematicians and engineers. Important Dates --------------- 12 May 2012 : Abstract submission 22 May 2012 : Paper submission 22 July 2012 : Notification of acceptance 01 September 2012 : Registration 08 September 2012 : Revised papers according to the reviews 26-29 September 2012 : Symposium 30 November 2012 : Final papers for post-proceedings Tracks ------ * Symbolic Computation * Numerical Computing * Logic and Programming * Distributed Computing * Artificial Intelligence * Advances in the Theory of Computing Invited Speakers ---------------- * Bruno Buchberger, Johannes Kepler University, Linz, Austria * Tetsuo Ida, University of Tsukuba, Japan * Sumit Gulwani, Microsoft Research, Redmond, USA * Paul Tarau, University of North Texas, USA Workshops --------- * Workshop of HPC Services * Workshop on Management of Resources and Services in Cloud and Sky Computing * Workshop on Deduction and Arithmetic * Workshop on Agents for Complex Systems * Workshop on Natural Computing and Applications * Workshop on Iterative Approximation of Fixed Points Tutorials --------- * MPI Tutorial - James Davenport, University of Bath, UK * Globus Tutorial for Administrators and Users - Ioan Lucian Muntean, Technical University of Cluj Napoca, Romania * Computing with numbers and symbols in a bio-inspired framework: Membrane Computing - Gheorghe Paun, Romanian Academy & University of Sevilla, Spain Publication ----------- The research papers accepted and presented at the symposium will be collected as post-proceedings published by IEEE Computer Society Press (included in IEEE Xplore and indexed in ISI Web of Science, DBLP, SCOPUS). Honorary Chairs --------------- * Bruno Buchberger, Johannes Kepler University, Austria * Stefan Maruster, West University of Timisoara, Romania General Chair ------------- * Viorel Negru, West University of Timisoara, Romania Program Chair ------------- * Andrei Voronkov, Manchester University, UK Steering Committee ------------------ * Tetsuo Ida, University of Tsukuba, Japan * Tudor Jebelean, Johannes Kepler University, Austria * Viorel Negru, West University of Timisoara, Romania * Dana Petcu, West University of Timisoara, Romania * Stephen Watt, University of Western Ontario, Canada * Daniela Zaharie, West University of Timisoara, Romania Track Chairs ------------ * Symbolic Computation + Tetsuo Ida, University of Tsukuba, Japan + Stephen Watt, University of Western Ontario, Canada * Numerical Computing + Yonghong Yao, Tianjin Polytechnic University, China + Ioan A. Rus, “Babes-Bolyai” University of Cluj-Napoca, Romania * Logic and Programming + Tudor Jebelean, Johannes Kepler University, Austria + Laura Kovacs, Vienna University of Technology, Austria + Nikolaj Bjorner, Microsoft * Distributed Computing + Dana Petcu, West University of Timisoara, Romania + Karoly Bosa, Johannes Kepler University, Austria * Artificial Intelligence + Siby Abraham, University of Mumbay, India + Daniela Zaharie, West University of Timisoara, Romania * Advances in the Theory of Computing + Mircea Marin, West University of Timisoara, Romania + Gabriel Istrate, Research Institute e-Austria Timisoara,Romania Special sessions and workshops chair ------------------------------------ * Laura Kovacs, Vienna University of Technology, Austria Tutorial chair -------------- * Dana Petcu, West University of Timisoara, Romania Proceedings Chairs ------------------ * Andrei Voronkov, Manchester University, UK * Daniela Zaharie, West University of Timisoara, Romania Local Committee Chairs ---------------------- * Isabela Dramnesc, West University of Timisoara, Romania * Silviu Panica, Institute e-Austria Timisoara, Romania Submission ----------- Submissions of research papers are invited. The papers must contain original research results not submitted and not published elsewhere. The submission process consists of two steps. * In the first step the authors are invited to express their intention to participate at the conference by submitting a short abstract (1/2 page, at maximum) where it is clearly stated the main contribution(s) of the paper. * In the second step the authors should submit the full paper (up to 8 pages in the two-columns IEEE conference style). Both the abstract and the full paper should be submitted electronically through http://www.easychair.org/conferences/?conf=synasc2012. ----------- SYNASC 2012 West University of Timisoara Department of Computer Science Bd. V. Parvan 4, 300223 Timisoara, Romania tel: + (40) 256 592155 fax: + (40) 256 592316 e-mail: synasc12(a)info.uvt.ro

1 0

Re: [Ciao-users] ciao emacs questions SOLVED for emac but not Xemacs.
by ciao＠clip.dia.fi.upm.es 29 Apr '12

29 Apr '12

> Still no luck with Xemacs. I'm not worried about that as there seems > very little difference on the openSUSE platform between the 2 apps. Right. Although we used to keep things up to date with xemacs we have not been checking much lately... It seems that standard emacs development has essentially outrun the development of xemacs and the vast majority of people use GNU emacs nowadays. If there are still users of Ciao under xemacs out there please let us know! > I gather that Aquamacs is not quite kosher in that it conforms to Apple > Mac conventions more than GNU emacs. Any comments? While we know of a number of users which use Aquamacs successfully with Ciao, the kosher thing is indeed to use the "real" emacs. You can get e.g., the port from macports or fink, or, easiest, simply install the very nice distros from: http://emacsformacosx.com/ Hope that helps! -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | Technical University of Madrid ciao(a)clip.dia.fi.upm.es | IMDEA Software Institute http://www.ciaohome.org / http://www.cliplab.org -----------------------------------------------------------------------------

1 0

CFP: COLA@EPIA 2011
by Paulo Moura 27 Apr '12

27 Apr '12

[apologies for multiple posts; please distribute] ------------------------------------------------- First Call for Papers EPIA 2011 - 15th Portuguese Conference on Artificial Intelligence Thematic Track: COLA - COmputational Logic with Applications October 10-13 Universidade de Lisboa, Portugal http://epia2011.appia.pt/ == Overview == The development of sophisticated intelligent systems requires more and more sound and appropriate foundations and tools, resulting in new problems and challenges for the computational logic practitioners. Computational logic has been widely used in complex applications in important areas such as the Deductive Databases, Natural Language Processing and Program Analysis, and more recently on the Semantic Web and related Web Tools. These novel applications have exposed the limits of existing approaches, showing the need for research on better languages and more sophisticated implementations of reasoning systems. The COLA thematic track of EPIA 2011 covers the broad area of Computational Logic and its applications, with special interest on topics related with new formalisms, environments, languages, tools, and applications. A non-exhaustive list of topics follows: - Logic based knowledge representation and applications - Declarative semantics of rule languages and applications - Program Analysis, Program Transformation, Validation and Verification, Debugging, Profiling - Implementation of reasoning systems, in particular logic programming, contextual logic programming, and tabling systems - Abductive and Inductive Logic Programming - Ontologies, Description Logics and integration with reasoning systems - Reasoning with incomplete and uncertain information, including non-monotonic reasoning as well as probabilistic and fuzzy logic programming formalisms - Reasoning on the Semantic Web - Applications: Deductive Databases, Data Integration, Natural Language, Semantic Web, and Web Tools == Important Dates == Deadline for paper submission: May 10, 2011 Notification of paper acceptance: June 10, 2011 Camera-ready papers: July 1, 2011 Conference dates: October 10-13, 2011 == Submission Guidelines == All papers should be submitted through the conference management website at: http://www.easychair.org/conferences/?conf=epia2011 Papers should not exceed fifteen (15) pages in length and must be formatted according to the information for LNCS authors. Papers must be submitted in PDF (Adobe's Portable Document Format) format and will not be accepted in any other format. Papers that exceed 15 pages or do not follow the LNCS guidelines risk being rejected automatically without a review. At least one author of each accepted paper must register for the conference. More information about the Springer's Lecture Notes in Computer Science (LNCS) are available on the Springer LNCS Web site http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The best papers (the exact number is decided by the EPIA Chairs) will appear in the proceedings published by Springer in the LNAI series. The remaining accepted papers will be published in a venue TBA. == Organizing Committee == Paulo Moura, Universidade da Beira Interior, Portugal Vitor Nogueira, Universidade de Évora, Portugal == Program Committee == Angelika Kimmig, K. University of Leuven, Belgium Axel Pollers, National University of Ireland, Ireland Bart Demoen, K. University of Leuven, Belgium Daniel Diaz, University of Paris 1, France David Warren, University of Stony Brook, USA Enrico Pontelli, New Mexico State University, USA Gopal Gupta, University of Texas at Dallas, USA Joachim Schimpf, Monash University, Australia João Leite, CENTRIA and Universidade Nova de Lisboa, Portugal José Alferes, CENTRIA and Universidade Nova de Lisboa, Portugal Paulo Gomes, Universidade de Coimbra, Portugal Peter Robinson, University of Queensland, Australia Roberto Bagnara, University of Parma, Italy Salvador Abreu, Universidade de Évora, Portugal Vítor Costa, Universidade do Porto, Portugal == Contact Information == cola2011(a)di.uevora.pt ----------------------------------------------------------------- Paulo Jorge Lopes de Moura, PhD Assistant Professor Dep. of Computer Science, University of Beira Interior 6201-001 Covilhã, Portugal Office 3.18 Ext. 3276 Phone: +351 275319891 Fax: +351 275319899 Email: <mailto:pmoura(a)di.ubi.pt> Home page: <http://www.di.ubi.pt/~pmoura> Research: <http://logtalk.org/> Blog: <http://blog.logtalk.org/> -----------------------------------------------------------------

4 4

FLOPS 2012: Call for Participation
by Tom Schrijvers 29 Mar '12

29 Mar '12

CALL FOR PARTICIPATION: FLOPS 2012 ================================== Eleventh International Symposium on Functional and Logic Programming May 23-25, 2012 Takikawa Memorial Hall, Kobe University, Kobe, Japan http://www.org.kobe-u.ac.jp/flops2012/ *Early Registration: April 25 (Wed)* FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and logic programming, and aims to promote cross-fertilization and integration between the two paradigms. The 23rd International Conference on Rewriting Techniques and Applications (RTA 2012) and satellite workshops including WFLP 2012 will be held in the week after FLOPS at Nagoya, Japan. Invited Speakers @ FLOPS ================ - Tachio Terauchi (Graduate School of Information Science, Nagoya University). Automated Verification of Higher-order Functional Programs - Michael Codish (Department of Computer Science, Ben-Gurion University of the Negev). Programming with Boolean Satisfaction - Stephanie Weirich (School of Engineering and Applied Science, University of Pennsylvania). Dependently-typed programming in GHC See the full program at http://www.org.kobe-u.ac.jp/flops2012/program.html Register now at http://www.org.kobe-u.ac.jp/flops2012/index.html#REGISTRATION CONFERENCE ORGANIZERS GENERAL CHAIR ============= - Naoyuki Tamura (Kobe University, Japan) PROGRAM CO-CHAIRS ================= - Tom Schrijvers (Ghent University, Belgium) - Peter Thiemann (University of Freiburg, Germany) CONFERENCE SPONSORS =================== - Japan Society for Software Science and Technology (JSSST) SIGPPL - Information Science and Technology Center, Kobe University IN COOPERATION WITH =================== - ACM SIGPLAN - Asian Association for Foundation of Software (AAFS) - Association for Logic Programming (ALP) -- prof. dr. ir. Tom Schrijvers Programming Languages Group Department of Applied Mathematics and Computer Science University of Ghent Krijgslaan 281 S9 9000 Gent Belgium Phone: +32 9 264 4805 http://users.ugent.be/~tschrijv/

1 0

Re: [Ciao-users] Ciao preprocessor (command line)
by ciao＠clip.dia.fi.upm.es 08 Mar '12

08 Mar '12

Hi Peter, CiaoPP is not currently being included by default in the installers, you access it instead via the repo. To access the repo it is enough to ask us for it and join our testers list. We will go ahead and do this if you agree. -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | Technical University of Madrid ciao(a)clip.dia.fi.upm.es | IMDEA Software Institute http://www.ciaohome.org / http://www.cliplab.org -----------------------------------------------------------------------------

1 0

Ciao preprocessor (command line)
by Peter Schneider-Kamp 08 Mar '12

08 Mar '12

Hi! I would like to use the Ciao preprocessor (if possible through the command line utility ciaoppcl). Unfortunately, I cannot find any executable of that name in the standard binary distribution for Mac OS X (CiaoDE-1.15.0-14566). The same when I built from source with the following commands: ./ciaosetup configure --cc=/usr/bin/gcc-4.2 --with_ciaoppcl=yes ./ciaosetup build ./ciaosetup docs ./ciaosetup install How can I run the Ciao preprocessor command line interface? If that is not possible right now, how can I call it from a Prolog program? Cheers, Peter -- Peter Schneider-Kamp mailto:petersk(a)imada.sdu.dk Math. & Computer Science http://imada.sdu.dk/~petersk/ University of Southern Denmark phone +45 6550 2327

1 0

← Newer
1
...
20
21
22
23
24
25
26
...
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