Ciao-users

ciao-users@cliplab.org

948 discussions

CFP - PADL'2005 - Submission deadline *extended*, Sept. 17
by Manuel Hermenegildo 09 Sep '04

09 Sep '04

*** PAPER SUBMISSION DEADLINE EXTENDED: September 17th! *** FINAL 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. PROGRAM COMMITTEE Kenichi Asai, Ochanomizu University, Japan Manuel Carro, T.U. Madrid, Spain Bart Demoen, K.U. Leuven, Belgium John Gallagher, Roskilde University, Denmark Hai-Feng Guo, University of Nebraska at Omaha, US Joxan Jaffar, National U. of Singapore, Singapore Alan Mycroft, Cambridge University, UK Gopalan Nadathur, U. of Minnesota, US Lee Naish, U. of Melbourne, Australia Simon Peyton-Jones, Microsoft Research, US John Reppy, University of Chicago, US Morten Rhiger, Roskilde University, Denmark Francesca Rossi, University of Padova, Italy Vitor Santos-Costa, U, Federal do Rio de Janeiro, Brazil Terrance Swift, S.U. of New York at Stony Brook, US David S. Warren, S.U. of New York at Stony Brook, US 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 SPONSORED BY: ACM SIGPLAN (applied for), COMPULOG Americas (http://www.cs.nmsu.edu/~complog), The Association for Logic Programming (http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/) -- ----------------------------------------------------------------------------- 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

RE: gunzip error
by guerra martinez julio alberto 07 Sep '04

07 Sep '04

Most probable reason is a corrupted input file. You could check with gzip -tv ciao-1.10p5.tar.gz. If the file is corrupted then download again -----Mensaje original----- De: nazri(a)mydomain.com [mailto:nazri(a)mydomain.com] Enviado el: lun 06/09/2004 11:08 Para: ciao-users(a)clip.dia.fi.upm.es CC: Asunto: gunzip error Hi All, I do have a problem during extracting the .gz file. The error came up is [root(a)metalab root]# gunzip < ciao-1.10p5.tar.gz | tar -xvf gunzip: stdin: unexpected end of file tar: option requires an argument -- f Try `tar --help' for more information. Server system is under Linux Mandrake thank you ============================================================================== 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/ ----------------------------------------------------------------------------- ============================================================================== 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

gunzip error
by nazri＠mydomain.com 06 Sep '04

06 Sep '04

Hi All, I do have a problem during extracting the .gz file. The error came up is [root(a)metalab root]# gunzip < ciao-1.10p5.tar.gz | tar -xvf gunzip: stdin: unexpected end of file tar: option requires an argument -- f Try `tar --help' for more information. Server system is under Linux Mandrake thank you ============================================================================== 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

CFP - PADL'2005 - Deadline Sept. 10
by Manuel Hermenegildo 05 Sep '04

05 Sep '04

************************************************************************* * - PAPER SUBMISSION DEADLINE APPROACHING: *** September 10th! *** * * - BEST PAPER AWARD: A best paper award ($500) will be given to the * * paper judged most innovative and practical. * * - PADL 05 proceedings will be published as Springer Verlag LNCS. * * Past proceedings: LNCS 1551, 1753, 1990, 2257, 2562, and 3057. * ************************************************************************* FINAL 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 SPONSORED BY: ACM SIGPLAN (applied for), COMPULOG Americas (http://www.cs.nmsu.edu/~complog), The Association for Logic Programming (http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/) -- ----------------------------------------------------------------------------- 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

"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

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