Ciao-users August 2004

ciao-users@cliplab.org

8 participants
9 discussions

"Low-level socket interface to SQL/ODBC databases" documentation incomplete
by Paul Mateescu 30 Aug '04

30 Aug '04

Hello, The documentation in the chapter "Low-level socket interface to SQL/ODBC databases" from the Ciao Reference Manual is rather incomplete. Is there other documentation available? Best regards, Paul Mateescu ===== "There's no place like 127.0.0.1" _______________________________ Do you Yahoo!? Express yourself with Y! Messenger! Free. Download now. http://messenger.yahoo.com ============================================================================== 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

{dynamic link failed} in persdb_mysql under Windows
by Paul Mateescu 29 Aug '04

29 Aug '04

Hello, I am trying to use the persdb_mysql library. Every time I use it, I get a "{dynamic link failed}" message. What should I do? Would re-compiling Ciao help? Operating system: Windows XP home edition Ciao version: 1.10#5 Mysql version (if of any help): 3.23.34 Best regards, Paul Mateescu ===== "There's no place like 127.0.0.1" __________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com ============================================================================== 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

Apache configuration
by Paul Mateescu 25 Aug '04

25 Aug '04

Hello, Sorry to ask a question somehow off-topic. I have Apache 1.3.6 / Windows. I was not able to make ciao prolog 1.10#5 work under Apache (to make Apache process .cpx files correctly). Could someone please post the exact directives that have to be added in the httpd.conf? (assuming that I have ciao installed in c:\ciao). Thank you and once again please excuse me if I am off-topic. Best regards, Paul Mateescu ===== "There's no place like 127.0.0.1" __________________________________ Do you Yahoo!? New and Improved Yahoo! Mail - Send 10MB messages! http://promotions.yahoo.com/new_mail ============================================================================== 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

Postdoc Position in Theorema
by Theorema 18 Aug '04

18 Aug '04

[we apologize for multiple copies] Postdoc Position in the Frame of the Theorema Project ====================================================== The new Radon Institute for Computational and Applied Mathematics (RICAM) of the Austrian Academy of Science in Linz, Austria, offers a postdoc position in the frame of the Theorema Project. The Theorema Project aims at creating a system that supports the entire process of Mathematical Theory Exploration (inventing mathematical concepts, inventing and verifying propositions, inventing mathematical problems, inventing and verifying algorithms, building up and manipulating structured mathematical knowledge bases etc.). Prerequisites: - PhD in mathematics or computer science - Expertise or, at least, interest in computational mathematics, computational logic, and software development. Applications (CV, publication list etc.) should be sent to the Theorema project leader: Professor Bruno Buchberger buchberger(a)risc.uni-linz.ac.at For information on Theorema see http://www.theorema.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/ -----------------------------------------------------------------------------

1 0

Logtalk 2.20.0 is now available for downloading
by Paulo Moura 18 Aug '04

18 Aug '04

Hi! Logtalk 2.20.0 is now available for downloading from the Logtalk web site: http://www.logtalk.org/ This release adds a new uses/2 predicate directive, improves installation instructions for Windows users, adds new Windows JScript scripts for automating loading of Logtalk with selected Prolog compilers, and contains new, improved scripts for converting XML documenting files to PDF files and (X)HTML files. From the release notes: * Added support for the uses/2 predicate directive (whose semantics is similar to C++ using-declarations). Updated the uses/1 entity directive to accept as argument a single object identifier. * Improved installation instructions for Windows users. * Added four new sample bash shell scripts and Windows JScript scripts for converting XML documenting files to PDF, HTML, and XHTML using several XSL processors. * Added missing namespace to XSL files in order to generated valid (X)HTML files with recent versions of XSLT processors. * Updated the User Manual documentation on converting XML documenting files to other formats. * Removed the texml.xsl XSLT file as the TeXMLatte application it depends on is no longer available. * Added Windows JScript script for copying the Logtalk examples, library, and xml directories to the user directory. * Added Windows JScript scripts for easy integration of Logtalk with ECLiPSe, SWI-Prolog, SICStus Prolog, and YAP. * Added missing extension for source metafiles to the SWI-Prolog hook file. * Corrected a bug in the lgtxhtml.xsl XSLT file where a wrong reference to the Logtalk CSS file is being used in the xml-stylesheet tag. * The iso_initialization_dir/1 compiler option is now a read only flag, defined in the configuration files. The CVS tag for this release is "lgt2200". 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 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

Ciao 1.10 released
by ciao＠clip.dia.fi.upm.es 15 Aug '04

15 Aug '04

Dear Ciao users, Ciao Prolog 1.10 has just been released. A lot of effort has been put on making this version as resilient as possible. Many bugs have been corrected since 1.8, both at Prolog and emulator level, and a large number of new features have also been added, which we summarize (and we mean that!) below. As usual, Ciao is available for download from http://www.clip.dia.fi.upm.es/Software/Ciao/ Comments, suggestions, bug reports & fixes, patches, etc. are very welcome! The Ciao Prolog Team. --------------------------------------------------------------------------- Summary of changes / improvements from Ciao-1.8 =============================================== * Classical Prolog mode as default behavior. * Emacs-based environment improved. - Improved emacs inferior (interaction) mode for Ciao and CiaoPP. - Xemacs compatibility improved (thanks to A. Rigo). - New icons and modifications in the environment for the preprocessor. - Icons now installed in a separate directory. - Compatibility with newer versions of Cygwin. - Changes to programming environment: + Double-click startup of programming environment. + Reorganized menus: help and customization grouped in separate menus. + Error location extended. + Automatic/Manual location of errors produced when running Ciao tools now customizable. + Presentation of CiaoPP preprocessor output improved. - Faces and coloring improved: + Faces for syntax-based highlighting more customizable. + Syntax-based coloring greatly improved. Literal-level assertions also correctly colored now. + Syntax-based coloring now also working on ASCII terminals (for newer versions of emacs). + Listing user-defined directives allowed to be colored in special face. + Syntax errors now colored also in inferior buffers. + Customizable faces now appear in the documentation. + Added new tool bar button (and binding) to refontify block/buffer. + Error marks now cleared automatically also when generating docs. + Added some fixes to hooks in lpdoc buffer. * Bug fixes in compiler. - Replication of clauses in some cases (thanks to S. Craig). * Improvements related to supported platforms - Compilation and installation in different platforms have been improved. - New Mac OS X kernels supported. * Improvement and bugs fixes in the engine: - Got rid of several segmentation violation problems. - Number of significant decimal digits to be printed now computed accurately. - Added support to test conversion of a Ciao integer into a machine int. - Unbound length atoms now always working. - C interface .h files reachable through a more standard location (thanks to R. Bagnara). - Compatibility with newer versions of gcc. * New libraries and utilities added to the system: - Factsdb: facts defined in external files can now be automatically cached on-demand. - Symfnames: File aliasing to internal streams added. * New libraries added (in beta state): - fd: clp(FD) - xml_path: XML querying and transformation to Prolog. - xdr_handle: XDR schema to HTML forms utility. - ddlist: Two-way traversal list library. - gnuplot: Interface to GnuPlot. - time_analyzer: Execution time profiling. * Some libraries greatly improved: - Interface to Tcl/Tk very improved. + Corrected many bugs in both interaction Prolog to Tcl/Tk and viceversa. + Execution of Prolog goals from TclTk revamped. + Treatment of Tcl events corrected. + Predicate tcl_eval/3 now allows the execution of Tcl procedures running multiple Prolog goals. + Documentation heavily reworked. + Fixed unification of Prolog goals run from the Tcl side. - Pillow library improved in many senses. + HTTP media type parameter values returned are always strings now, not atoms. + Changed verbatim() pillow term so that newlines are translated to <br>. + Changed management of cookies so that special characters in values are correctly handled. + Added predicate url_query_values/2, reversible. Predicate url_query/2 now obsolete. + Now attribute values in tags are escaped to handle values which have double quotes. + Improved get_form_input/1 and url_query/2 so that names of parameters having unusual characters are always correctly handled. - Fixed bug in tokenizer regarding non-terminated single or multiple-line comments. When the last line of a file has a single-line comment and does not end in a newline, it is accepted as correct. When an open-comment /* sequence is not terminated in a file, a syntax error exception is thrown. * Other libraries improved: - Added native_props to assertions package and included nonground/1. - In atom2terms, changed interpretation of double quoted strings so that they are not parsed to terms. - Control on exceptions improved. - Added native/1,2 to basic_props. - Davinci error processing improved. - Foreign predicates are now automatically declared as implementation-defined. - In lists, added cross_product/2 to compute the Cartesian product of a list of lists. Also added delete_non_ground/3, enabling deletion of nonground terms from a list. - In llists added transpose/2 and changed append/2 implementation with a much more efficient code. - The make library has been improved. - In persdb, added pretractall_fact/1 and retractall_fact/1 as persdb native capabilities. - Improved behavior with user environment from persdb. - In persdb, added support for persistent_dir/4, which includes arguments to specify permission modes for persistent directory and files. - Some minor updates in persdb_sql. - Added treatment of operators and module:pred calls to pretty-printer. - Updated report of read of syntax errors. - File locking capabilities included in open/3. - Several improvements in library system. - New input/output facilities added to sockets. - Added most_specific_generalization/3 and most_general_instance/3 to terms_check. - Added sort_dict/2 to library vndict. - The xref library now treats also empty references. * Miscellaneous updates: - Extended documentation in libraries actmods, arrays, foreign_interface, javall, persdb_mysql, prolog_sys, old_database, and terms_vars. --------------------------------------------------------------------------- ============================================================================== 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: 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

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