Ciao-users July 2004

ciao-users@cliplab.org

11 participants
10 discussions

RE: Installation errors with Soalris 9 box
by ciao＠clip.dia.fi.upm.es 26 Jul '04

26 Jul '04

>> Hi, >> I still got the same errors as before: >> >> bash-2.05# make install >> cat: cannot open /space/ciao-1.8p2/version/GlobalVersion >> cat: cannot open /space/ciao-1.8p2/version/GlobalPatch >> SHARED:38: /space/ciao-1.8p2/makefile-sysindep: No such file or directory >> Makefile:33: /mkf-: No such file or directory >> make: *** No rule to make target `/mkf-'. Stop. Hi. We really recommend you to use the 1.9 version, instead of the 1.8. The latter is quite old now, and many bugs have been corrected in the meantime. Going back to your previous mail, >> bash-2.05# make install >> cat: cannot open /space/ciao-1.9p351/version/GlobalVersion >> cat: cannot open /space/ciao-1.9p351/version/GlobalPatch >> SHARED:38: /space/ciao-1.9p351/makefile-sysindep: No such file or directory >> Makefile:48: /mkf-: No such file or directory >> make: *** No rule to make target `/mkf-'. Stop. Does the file /space/ciao-1.9p351/version/GlobalVersion exist? If so, does cat /space/ciao-1.9p351/version/GlobalVersion work? Cheers, The Ciao Team ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

1 0

Installation errors with Soalris 9 box
by Rong,Yongjun(CS) 24 Jul '04

24 Jul '04

Hi, I'm trying to install Ciao Prolog in out Sun-Sparc solaris9 box. After I change the correnponding Dirs in SETTINGS, I run " make install" as root in my box. I got errors as below: bash-2.05# make install cat: cannot open /space/ciao-1.9p351/version/GlobalVersion cat: cannot open /space/ciao-1.9p351/version/GlobalPatch SHARED:38: /space/ciao-1.9p351/makefile-sysindep: No such file or directory Makefile:48: /mkf-: No such file or directory make: *** No rule to make target `/mkf-'. Stop. I have checked make is an a gnu make 3.80 bash-2.05# make -v GNU Make 3.80 Copyright (C) 2002 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. Any suggestions? Thanks. Rong ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

2 1

CFP - Practical Aspects of Declarative Languages 2005
by Manuel Hermenegildo 23 Jul '04

23 Jul '04

[ Apologies if you receive multiple copies. ] PRELIMINARY CALL FOR PAPERS Seventh International Symposium on Practical Aspects of Declarative Languages 2005 (PADL 05) http://www.unm.edu/~herme/padl05/ Long Beach, California, USA January 10-11, 2005 Co-located with ACM POPL, January 12-14, 2005 Paper submission deadline: September 10th Declarative languages build on sound theoretical foundations to provide attractive frameworks for application development. These languages have been successfully applied to a wide array of different real-world situations, including database management, active networks, software engineering, decision support systems, or music composition. New developments in theory and implementation have opened up new application areas. At the same time, the application of declarative languages to novel problems raises numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications often 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 practioners 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: * Innovative applications of declarative languages. * Declarative domain-specific languages and applications. * Practical applications of theoretical results. * New language developments and their impact on applications. * Evaluation of implementation techniques on practical applications. * Novel implementation techniques relevant to applications. * Novel uses of declarative languages in the classroom. * Practical experiences. PADL 05 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages, and is not limited to the scope of the first six PADL symposia (past proceedings can be found in Springer Verlag LNCS, numbers 1551, 1753, 1990, 2257, 2562, and 3057). In this occasion PADL is co-located, as traditionally, with ACM POPL, which will be held immediately following PADL, January 12-14. IMPORTANT DATES Paper Submission: September 10, 2004 Notification: October 10, 2004 Camera-ready: November 10, 2004 Symposium: January 10-11, 2005 SUBMISSION GUIDELINES Authors should submit an electronic copy of the full paper (written in English) in Postscript (Level 2) or PDF. Submission should be completed using the electronic procedure available at the conference website. Papers must be no longer than 15 pages, written in 11-point font and with single spacing. Since the final proceedings will be published as Lecture Notes in Computer Science by Springer Verlag, authors are strongly encouraged to use the LNCS paper formatting guidelines for their submission. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email and postal addresses, telephone and fax numbers, abstract, and three to four keywords. The keywords will be used to assist us in selecting appropriate reviewers for the paper. If electronic submission is impossible, please contact the program chairs for information on how to submit hard copies. MOST PRACTICAL PAPER AWARD A cash prize of US$500 will be awarded to the submission that is judged by the program committee to be the best in terms of practicality, originality, and clarity of presentation. The program committee may choose not to make an award; or may make multiple awards, in which case the award money will be evenly divided. CONTACTS Please visit the conference web site: http://www.unm.edu/~herme/padl05/ for further information. For additional information about papers and submissions, please contact the Program Chairs: Manuel Hermenegildo (1,2) herme(a)unm.edu, or Daniel Cabeza (2) dcabeza(a)fi.upm.es 1 Departments of Computer Science and Electrical and Computer Engineering The University of New Mexico, Albuquerque, NM 87131, U.S.A. 2 Facultad de Informatica, Universidad Politecnica de Madrid 28660-Boadilla del Monte, Madrid, Spain For additional information about the conference please contact the General Chair: Gopal Gupta Department of Computer Science University at Texas at Dallas, Dallas, TX, U.S.A. gupta(a)utdallas.edu -- ----------------------------------------------------------------------------- Manuel Hermenegildo | University of New Mexico, NM, USA Professor, P. of Asturias Chair | Office: ECE 219A Depts. of Computer Science and | Tel: +1 (505) 277 -9328/-3112 Electrical and Computer Engineering | http://www.unm.edu/~herme ----------------------------------------------------------------------------- ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

1 0

None
by Daniel Saidi Parto 23 Jul '04

23 Jul '04

I'm a french independant programmer and web designer eventually interested by Ciao Prolog. Can you precise if this language is currently in active development or not ? Best regards. Daniel Daniel Saidi Parto ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

3 2

Debian Package Updates
by Brent Fulgham 12 Jul '04

12 Jul '04

I've corrected a few issues with the first Ciao-Prolog package for Debian. Please update to the new version at http://www.debian.org/~bfulgham/packages if you have not done so already (this is version -2). Thanks, -Brent ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

3 4

Logtalk 2.18.0 is now available for downloading
by Paulo Moura 09 Jul '04

09 Jul '04

Hi! Logtalk 2.18.0 is now available for downloading from the Logtalk web site: http://www.logtalk.org/ This version features several optimizations, including caching of method lookups, greatly improving performance. From the release notes: * Added caching of method lookups in order to improve message processing performance (including messages to self and super calls). Applied several optimizations to runtime translation of messages in order to further improve performance. * Improved error checking while parsing and compiling messages to self. * Update ECLiPSe config files to compile the Prolog files generated by Logtalk (when compiling source files) in optimized mode instead of traceable mode. * Updated description of patches needed for running Logtalk with XSB, added a shell script for easy integration of Logtalk with this Prolog compiler, and corrected a problem with its corresponding config file. * Added multifile/1 directive to the syntax coloring configuration files of the supported text editors. The CVS tag for this release is "lgt2180". Happy logtalking! Paulo ----------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Informatics Office 4.3 Ext. 3257 University of Beira Interior Phone: +351 275319700 6201-001 Covilhã Fax: +351 275319891 Portugal <mailto:pmoura(a)di.ubi.pt> <http://www.di.ubi.pt/~pmoura> <http://www.logtalk.org> ----------------------------------------------------------- ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe cFrom owner-ciao-users(a)clip.dia.fi.upm.es Fri Jul 9 10:32:25 2004 Received: from clip.dia.fi.upm.es (IDENT:xcA/01JvGenl/MxgjxdnWw7Kv1IPQsvI(a)localhost.localdomain [127.0.0.1]) by clip.dia.fi.upm.es (8.12.8/8.11.6) with ESMTP id i698WPtg001960; Fri, 9 Jul 2004 10:32:25 +0200 Received: (from majordom(a)localhost) by clip.dia.fi.upm.es (8.12.8/8.12.8/Submit) id i698WPti001958; Fri, 9 Jul 2004 10:32:25 +0200 X-Authentication-Warning: clip.dia.fi.upm.es: majordom set sender to owner-ciao-users(a)clip.dia.fi.upm.es using -f Received: from clip.dia.fi.upm.es (IDENT:m9zqkbKVgmINhtaaAWMGuscDL4kYyXPn(a)localhost.localdomain [127.0.0.1]) by clip.dia.fi.upm.es (8.12.8/8.11.6) with ESMTP id i698WPtg001953 for <ciao-users-maj-lst(a)clip.dia.fi.upm.es>; Fri, 9 Jul 2004 10:32:25 +0200 Received: (from clip-mod(a)localhost) by clip.dia.fi.upm.es (8.12.8/8.12.8/Submit) id i698WPQN001951; Fri, 9 Jul 2004 10:32:25 +0200 Received: from goofy.fi.upm.es (goofy.fi.upm.es [138.100.8.23]) by clip.dia.fi.upm.es (8.12.8/8.11.6) with ESMTP id i698WJtk001942; Fri, 9 Jul 2004 10:32:22 +0200 Received: from salmon.ls.fi.upm.es (salmon.ls.fi.upm.es [138.100.10.4]) by relay.fi.upm.es (PMDF V6.2-X27 #30875) with ESMTP id <01LC9647CVC20002QR(a)relay.fi.upm.es>; Fri, 09 Jul 2004 10:32:18 +0200 (MET-DST) Received: by salmon.ls.fi.upm.es (Postfix, from userid 1015) id 5739E304808; Fri, 09 Jul 2004 10:32:18 +0200 (CEST) Date: Fri, 09 Jul 2004 10:32:18 +0200 From: Brent Fulgham <bfulg(a)pacbell.net> Subject: Re: Performance of static multifile predicates on CIAO In-reply-to: <16621.24069.898345.346117(a)salmon.ls.fi.upm.es> To: Paulo Moura <pmoura(a)di.ubi.pt>, Daniel Cabeza Gras <bardo(a)clip.dia.fi.upm.es> Cc: ciao-users(a)clip.dia.fi.upm.es, Paulo Moura <pmoura(a)di.ubi.pt> Message-id: <16622.22546.67660.957072(a)salmon.ls.fi.upm.es> MIME-version: 1.0 Content-type: text/plain; charset=us-ascii X-Spam-Checker-Version: SpamAssassin 2.60 (1.212-2003-09-23-exp) on clip.dia.fi.upm.es X-Spam-Level: X-Spam-Status: No, hits=-4.9 required=6.9 tests=BAYES_00 autolearn=ham version=2.60 Sender: owner-ciao-users(a)clip.dia.fi.upm.es Precedence: bulk --- Paulo Moura <pmoura(a)di.ubi.pt> wrote: > P.S ciao-1.9p351 seams to be broken: lots of error > messages regarding > comment directives when I try to compile it. > I get these errors also, but they seem harmless (i.e., the finished engine and compilers seem to work properly as far as I can tell). -Brent ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ ----------------------------------------------------------------------------- iao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

1 0

Performance of static multifile predicates on CIAO
by Paulo Moura 08 Jul '04

08 Jul '04

Hi! Can anyone comment on the performance of static multifile predicates on CIAO when compared with "single file" static predicates? Can the same performance be expected? Does multifile predicates support first-argument indexing? What happen when a new file is loaded which add an additional clause for a multifile predicate? Is re-indexing automatic? I'm looking at the feasibility of eliminating most meta-calls which occurs when processing a message in Logtalk. The solution which I'm planning uses multifile static predicates. Cheers, Paulo ----------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Informatics Office 4.3 Ext. 3257 University of Beira Interior Phone: +351 275319700 6201-001 Covilhã Fax: +351 275319891 Portugal <mailto:pmoura(a)di.ubi.pt> <http://www.di.ubi.pt/~pmoura> <http://www.logtalk.org> ----------------------------------------------------------- ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

2 2

Re: Command-Line Processing Question
by mcharity＠vendian.org 04 Jul '04

04 Jul '04

Brent, Thank you for resurrecting the Shootout! Others will no doubt provide a better answer, but just to get you unstuck, I note that this no-op kludge run_list([Arg|Args]) :- name(Arg,ArgStr), name(ArgN,ArgStr), % Kludge fibo(ArgN,Val), write(Val), nl, halt. works around the problem on my Ciao-Prolog 1.9 #344. Fyi. Thanks again for your work. Mitchell Charity ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

4 3

deductive database support?
by mayuresh＠acm.org 04 Jul '04

04 Jul '04

Hello, Came across this documentation of persistent predicate database. ciao_html/ciao_141.html#SEC548 "The concept of persistent predicates provided by this library essentially implements a light-weight, simple, and at the same time powerful form of relational database (a deductive database),..." Does ciao support deductive database features like handling of recursive rules using tabling etc? (as done by XSB e.g?) Regards, Mayuresh. ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

3 2

Aborting computations
by Amoss 01 Jul '04

01 Jul '04

Hi guys, I've got a bit of a problem with aborting computations. It only appears to work once, then if I re-run the computation I can't abort it and have to kill the ciao process. Take the following example: nzeros( 0,[]). nzeros( N,[0|Zs] ) :- NN is N-1, nzeros( NN,Zs ). So this code has a bug in that the first and second instances of the predicate don't have mutually exclusive guards. If I ask it to generate a list in the ciao shell: :- nzeros(5,X). I get the correct answer first, and then ask it to backtrack at which point ciao correctly goes into an infinite loop trying the second call to nzeros with negative values of N. I can then ^c^c and hit a to abort this. If I now execute the same call again ':- nzeros(5,x).' and again ask it to backtrack then I can no longer abort the computation. ^c^c is ignored and I get no response, the only way out is to kill the ciao process. Is this a bug in ciao? Amoss ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

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 July 2004