Ciao-users

ciao-users@cliplab.org

948 discussions

Re: Prolog to Java interface question
by michelangelo.castagnone＠inwind.it 12 Aug '04

12 Aug '04

> > If I try to run the example programs offered with the ciao prolog > > suite (example.pl and benchmark.pl) an error always come: > > > > java: not found > > {ERROR: connect_to_socket_type/[3,4]: 2nd argument must be a port number} > > Hi Michelangelo, could you send us the version of Ciao, Windows, and > JDK you are using? > > Regards, > > The Ciao Development Team I have resolved the problem: there wasn't the executable of the plserver.pl file nedded by the java - prolog interface and also was not compilated the CiaoJava package... So it was my fault because now all work correctly!! Thanks anyway for the anwser!! A little suggest: could be useful to insert in the readme file of the examples this is thing: It is necessary recompile all the CiaoJava package and also must be created the executable of the plserver.pl file. Sorry for my "not so good" English. Best reguards, Michelangelo Castagnone. ============================================================================== 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

Prolog to Java interface question
by michelangelo.castagnone＠inwind.it 10 Aug '04

10 Aug '04

---------- Initial Header ----------- >From : "michelangelo.castagnone(a)inwind.it" michelangelo.castagnone(a)inwind.it To : "ciao" ciao(a)clip.dia.fi.upm.es Cc : Date : Sat, 7 Aug 2004 12:02:13 +0200 Subject : Prolog to Java interface question Hi I am an Italian student. I'm using Ciao Prolog for the development of a project for the Politecnica of Madrid. I have serious problems to use the interface between prolog and java under windows: If I try to run the example programs offered with the ciao prolog suite (example.pl and benchmark.pl) an error always come: java: not found {ERROR: connect_to_socket_type/[3,4]: 2nd argument must be a port number} I should have to put these examples in some particular directories? I try also to use the other interface from java to prolog with its example..and another error comes: The output of the java program was just a number: no window interface..why this? I don't why these errors comes.. I hope that someone could help me! Thank you, Michelangelo Castagone. ============================================================================== 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

AISC 2004. Call for Participation
by AISC 2004 03 Aug '04

03 Aug '04

[we appologize for multiple copies] ********************************************************** CALL FOR PARTICIPATION 7th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION September 22-24, 2004, RISC (Research Institute for Symbolic Computation), Castle of Hagenberg, Austria. For the detailed program and registration information see http://www.risc.uni-linz.ac.at/conferences/aisc2004/ Bruno Buchberger John Campbell Conference Chairman Program Committee Chairman ************************************************************ Before and/or after AISC2004, you may easily attend MKM 2004, ASE 2004, and SYNASC 2004, see: MKM 2004 3rd International Conference on Mathematical Knowledge Management, Bialowieza, Poland, September 19 - 21. URL : http://mizar.org/MKM2004 ASE 2004 Automated Software Engineering, Linz, Austria, September 20 - 24. URL: http://ase-conference.org/index.html SYNASC 2004: 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 26 - 30. URL: http://synasc04.info.uvt.ro/ ============================================================================== 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

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

← Newer
1
...
55
56
57
58
59
60
61
...
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