>> 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/
-----------------------------------------------------------------------------
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/
-----------------------------------------------------------------------------
[ 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/
-----------------------------------------------------------------------------
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/
-----------------------------------------------------------------------------
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/
-----------------------------------------------------------------------------
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/
-----------------------------------------------------------------------------
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/
-----------------------------------------------------------------------------
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/
-----------------------------------------------------------------------------
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/
-----------------------------------------------------------------------------
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/
-----------------------------------------------------------------------------