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/ -----------------------------------------------------------------------------
Hi, When I try to compiled this new version in a Solaris sparc9 box. I got errors as below:
===================================================================== bash-2.05# make -version 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. bash-2.05# make all *** ========================================================= *** Compiling ciao *** ========================================================= make engine compiler applications libraries environment make[1]: Entering directory `/space/ciao-1.10p5' *** --------------------------------------------------------- *** Compiling ciao engine for SolarisSparc... *** --------------------------------------------------------- make -j1 version-ciao make[2]: Entering directory `/space/ciao-1.10p5' rm -f /space/ciao-1.10p5/bin/SolarisSparc/version.c chmod 664 /space/ciao-1.10p5/bin/SolarisSparc/version.c make[2]: Leaving directory `/space/ciao-1.10p5' make -j1 dostateng make[2]: Entering directory `/space/ciao-1.10p5' (umask 002 && cd /space/ciao-1.10p5/bin/SolarisSparc && make configure.h && \ make -j1 ciaoengine ADDOBJ='sockets_c.o random.o ' \ CURRLIBS='-ldl -lm -lnsl -lsocket') make[3]: Entering directory `/space/ciao-1.10p5/bin/SolarisSparc' make[3]: `configure.h' is up to date. make[3]: Leaving directory `/space/ciao-1.10p5/bin/SolarisSparc' make[3]: Entering directory `/space/ciao-1.10p5/bin/SolarisSparc' gcc -O2 -DATOMGC -DFOREIGN_FILES -DSolaris -DSparc -c -o version.o version.c gcc wam.o format.o inout.o misc.o startgoal.o ciao.o nondet.o objareas.o streams.o timing.o wambuiltin.o wamfunction.o unix_utils.o attr.o dynlink.o tasks.o locks.o prolog_tasks.o own_malloc_linear.o alloc.o heapgc.o indexing.o initial.o registers.o stacks.o support.o term_support.o wamsupport.o qread.o qget.o builtin.o interrupt.o gauge.o bignum.o profile.o float_consts.o float_tostr.o ciao_prolog.o start.o version.o sockets_c.o random.o main.o -ldl -lm -lnsl -lsocket -o ciaoengine chmod 664 *.o chgrp clip *.o chgrp: unknown group: clip make[3]: [ciaoemulator] Error 2 (ignored) ( cd /space/ciao-1.10p5/etc && make force_fix_size; ) make[4]: Entering directory `/space/ciao-1.10p5/etc' gcc -o fix_size fix_size.c make[4]: Leaving directory `/space/ciao-1.10p5/etc' /space/ciao-1.10p5/etc/fix_size ciaoengine chmod 775 ciaoengine chgrp clip ciaoengine chgrp: unknown group: clip make[3]: [ciaoemulator] Error 2 (ignored) if test ! -f /space/ciao-1.10p5/include/SolarisSparc/configure.h ; then \ for f in datadefs.h configure.h alloc.h registers.h termdefs.h access.h locks.h objareas.h support.h debug.h initial.h compat.h ciao_prolog.h ciao_gluecode.h threads.h task_areas.h ; do \ ln -f -s /space/ciao-1.10p5/bin/SolarisSparc/$f /space/ciao-1.10p5/include/SolarisSparc; \ done ; \ fi true make[3]: Leaving directory `/space/ciao-1.10p5/bin/SolarisSparc' cp /space/ciao-1.10p5/bin/SolarisSparc/ciaoengine /space/ciao-1.10p5/bin/SolarisSparc/ciaoengine.sta chgrp: unknown group: clip make[2]: [dostateng] Error 2 (ignored) make[2]: Leaving directory `/space/ciao-1.10p5' (cd /space/ciao-1.10p5/bin/SolarisSparc && \ make libciao CURRLIBS='-ldl -lm -lnsl ' && \ make ciaoobject CURRLIBS='-ldl -lm -lnsl ' ) make[2]: Entering directory `/space/ciao-1.10p5/bin/SolarisSparc' ar -r libciao.a wam.o format.o inout.o misc.o startgoal.o ciao.o nondet.o objareas.o streams.o timing.o wambuiltin.o wamfunction.o unix_utils.o attr.o dynlink.o tasks.o locks.o prolog_tasks.o own_malloc_linear.o alloc.o heapgc.o indexing.o initial.o registers.o stacks.o support.o term_support.o wamsupport.o qread.o qget.o builtin.o interrupt.o gauge.o bignum.o profile.o float_consts.o float_tostr.o ciao_prolog.o start.o version.o make[2]: Leaving directory `/space/ciao-1.10p5/bin/SolarisSparc' make[2]: Entering directory `/space/ciao-1.10p5/bin/SolarisSparc' ld -r wam.o format.o inout.o misc.o startgoal.o ciao.o nondet.o objareas.o streams.o timing.o wambuiltin.o wamfunction.o unix_utils.o attr.o dynlink.o tasks.o locks.o prolog_tasks.o own_malloc_linear.o alloc.o heapgc.o indexing.o initial.o registers.o stacks.o support.o term_support.o wamsupport.o qread.o qget.o builtin.o interrupt.o gauge.o bignum.o profile.o float_consts.o float_tostr.o ciao_prolog.o start.o version.o -o ciaoengine.o make[2]: Leaving directory `/space/ciao-1.10p5/bin/SolarisSparc' (umask 002; cd /space/ciao-1.10p5/bin/SolarisSparc && \ make configure.h && \ make -j1 ciaoengine CURRLIBS='-ldl -lm -lnsl ') make[2]: Entering directory `/space/ciao-1.10p5/bin/SolarisSparc' make[2]: `configure.h' is up to date. make[2]: Leaving directory `/space/ciao-1.10p5/bin/SolarisSparc' make[2]: Entering directory `/space/ciao-1.10p5/bin/SolarisSparc' gcc wam.o format.o inout.o misc.o startgoal.o ciao.o nondet.o objareas.o streams.o timing.o wambuiltin.o wamfunction.o unix_utils.o attr.o dynlink.o tasks.o locks.o prolog_tasks.o own_malloc_linear.o alloc.o heapgc.o indexing.o initial.o registers.o stacks.o support.o term_support.o wamsupport.o qread.o qget.o builtin.o interrupt.o gauge.o bignum.o profile.o float_consts.o float_tostr.o ciao_prolog.o start.o version.o main.o -ldl -lm -lnsl -o ciaoengine chmod 664 *.o chgrp clip *.o chgrp: unknown group: clip make[2]: [ciaoemulator] Error 2 (ignored) ( cd /space/ciao-1.10p5/etc && make force_fix_size; ) make[3]: Entering directory `/space/ciao-1.10p5/etc' gcc -o fix_size fix_size.c make[3]: Leaving directory `/space/ciao-1.10p5/etc' /space/ciao-1.10p5/etc/fix_size ciaoengine chmod 775 ciaoengine chgrp clip ciaoengine chgrp: unknown group: clip make[2]: [ciaoemulator] Error 2 (ignored) if test ! -f /space/ciao-1.10p5/include/SolarisSparc/configure.h ; then \ for f in datadefs.h configure.h alloc.h registers.h termdefs.h access.h locks.h objareas.h support.h debug.h initial.h compat.h ciao_prolog.h ciao_gluecode.h threads.h task_areas.h ; do \ ln -f -s /space/ciao-1.10p5/bin/SolarisSparc/$f /space/ciao-1.10p5/include/SolarisSparc; \ done ; \ fi true make[2]: Leaving directory `/space/ciao-1.10p5/bin/SolarisSparc' cd lib/compiler && make exe_header make[2]: Entering directory `/space/ciao-1.10p5/lib/compiler' /space/ciao-1.10p5/etc/substitute_string substitute_this_text_by_the_installed_engine_path /usr/local/ciao/lib/ciao/ciao-1.10/engine/ciaoengine header_skeleton header make[2]: Leaving directory `/space/ciao-1.10p5/lib/compiler' *** --------------------------------------------------------- *** Compiling ciao standalone compiler *** (this may take a while and is silent; please be patient) *** --------------------------------------------------------- cd ciaoc && make compiler make[2]: Entering directory `/space/ciao-1.10p5/ciaoc' cp -f ciaoc /space/ciao-1.10p5/ciaoc/ciaoc.sta cp: cannot access ciaoc make[2]: *** [compiler] Error 2 make[2]: Leaving directory `/space/ciao-1.10p5/ciaoc' make[1]: *** [compiler] Error 2 make[1]: Leaving directory `/space/ciao-1.10p5' make: *** [all] Error 2 bash-2.05# ================================================================
My SETTINGS is as below:
============================================================== bash-2.05# more SETTINGS # -*- mode: Makefile; -*- # -------------------------------------------------------------------------- -- # Ciao Global Compilation/Installation SETTINGS # -------------------------------------------------------------------------- -- # Define this to be a directory where the sources are reachable # system-wide
# SRC=/usr/local/src/ciao # or # SRC=/usr/src/ciao
SRC=/space/ciao-1.10p5
#--------------------------------------------------------------------------- -- # Define the following to be the places under which the installation # will be performed:
# CIAOROOT=/usr/local # or # CIAOROOT=/usr # or #CIAOROOT=/tmp
CIAOROOT=/usr/local/ciao
# Executables will go here: BINROOT=$(CIAOROOT)/bin
# Directory libraries will grow here: LIBROOT=$(CIAOROOT)/lib
# Headers will go here: INCLUDEROOT=$(CIAOROOT)/include
# Define this to be the directory in which you want the documentation # installed. Ideally, this directory should be accessible via WWW, # emacs info, and man: # DOCROOT=/usr/local/etc/httpd/htdocs # or # DOCROOT=/var/www/html/ciao
DOCROOT=$(CIAOROOT)/html #--------------------------------------------------------------------------- -- # Misc installation options:
# For the PiLLoW Web programming library, define WEB_IMAGES_PATH as the # directory (accessible via WWW) where the icons which come with PiLLoW # (in library/pillow/images) will go, and define WEB_IMAGES_URL to the # corresponding URL for accessing that directory via WWW. # WEB_IMAGES_PATH=/usr/local/etc/httpd/htdocs/images/ # WEB_IMAGES_URL=http:/my.host.here/images/ # WEB_IMAGES_PATH=$(CIAOROOT)/icons WEB_IMAGES_URL=/icons/
# Set to "no" if you do not want to create a link to Ciao named # "prolog", for example because there are more prolog's in the system INSTALL_PROLOG_NAME=yes
# Set to "no" if you do not want to install the Ciao emacs libraries, # which implement the Ciao Emacs mode (highly recommended). It should # be set to no if emacs is not installed in the system. It is safe to # leave as "yes" otherwise: INSTALL_EMACS_SUPPORT=yes
# Set to "no" if you do not want to interface with the MySQL database. # If you choose to have the MySQL interfafe, you should have the MySQL # client part installed in the machine where you are compiling and # using it. The MySQL daemon should also be up and running when using # the interface. You should also know where the MySQL client library # is installed. In a Linux machine you can do that by looking at the # output of the command "locate mysqlclient.a". The directory part of # the path is what is relevant here. WITH_MYSQL=no MYSQL_CLIENT_DIRECTORY=/usr/lib/mysql
# Do you have a reasonably recent Java (i.e., jdk 1.3 or equivalent)? # If so you may want to compile the utilities for the Java interface. # These are currently under $(SRC)/library/javall, along with examples # and documentation. If you do not have java you should better set # the option below to "no", in order to avoid compile-time error. # Otherwise, it is safe to set it to "yes". WITH_JAVA_INTERFACE=no
# If you want to compile an engine with threads capability # (concurrency), set the following variable to "yes". Otherwise, set # it to "no". If the architecture does not support threads (or thread # support has not yet been added to Ciao Prolog for this # architecture), this will be automatically disabled at compile time. # Concurrency support does not cause any appreciable runtime overhead # for non-concurrent programs, so it is safe to leave it as "yes". USE_THREADS=no
# When using threads, locks are mandatory, and they do not make any # sense if you are not using threads. So, threads enable locks. Ciao # Prolog includes native code locks for some architectures, but allows # specifying the use of POSIX-compliant locks if posix libraries are # available. POSIX locks will be automatically selected if no native # lock implementation is included in Ciao for a given architecture. # We recommend letting this option set to "no" since a primitive lock # implementation is usually much faster than then library-based POSIX # one. USE_POSIX_LOCKS=no
# Optimization level used when compiling the bytecode emulator. Choose one of:
# optimized -- Turn on optimization flags # normal -- Normal emulator (non-optimized code)
# For normal use, we recommend leaving it as "optimized". But if you # suspect that your compiler performs buggy optimizations (which # should not be the case), turn optimization off. This can be happen # more easily in concurrent applicacions: if you write any # thread-based program and unexpected results appear, try recompiling # Ciao without optimization options first. OPTIM_LEVEL=optimized
# If you want to compile the Ciao libraries with their bytecode compressed # then set the following variable to "yes". Libraries generated this way # will be smaller at the sake of a slightly slower usage, both in their load # as when employed to create an executable. COMPRESS_LIBS=no
# -------------------------------------------------------------------------- -- # You should not need to touch anything below this line. However, # these are user-definable settings, so changing them should not be # critical (it may create some minor discrepancies with the # installation documentation). # -------------------------------------------------------------------------- --
# This is quite standard: put executables right in their directory. # You probably do not want to change it. BINDIR=$(BINROOT)
# This is also quite standard, a ciao directory will contain all ciao libs: # LIBDIR=$(SRC)/lib LIBDIR=$(LIBROOT)/ciao
# Define this to be the dir in which you want the documentation # installed. Ideally, this dir should be accessible via WWW, emacs # info, and man: DOCDIR=$(DOCROOT)
# Define this to be the permissions for installed execs/dirs and data # files: EXECMODE=775 DATAMODE=664 INSTALLGROUP=clip
# You only want to change this if you are a developer. Additionally, # setting the environment variable CIAODEBUG to the value '-debug' at # the time of compiling the engine will override the OPTIM_LEVEL and # DEBUG_LEVEL flags, and produce non optimized emulator code with # debugging information.
# Level of debugging built into the bytecode emulator. Choose one of: # nodebug -- Do not include debug information or messages # debug -- Emulator with C level debugging info available # plus extended C compilation warnings # profile -- Include profiling options for the emulator # paranoid-debug -- Emulator with C level debugging info available # plus paranoid C compilation warnings # DEBUG_LEVEL=nodebug DEBUG_LEVEL=nodebug
# This is to compile locally the engine in cygwin across a Samba share
# SAMBASRCDIR=//clip/clip/Systems/ciao-1.9 # ifeq (CYGWIN,$(findstring CYGWIN,$(shell uname))) # SRC=$(SAMBASRCDIR) ALT=win32 EXECSUFFIX=.exe endif # ifeq ($(OSTYPE),cygwin) # SRC=$(SAMBASRCDIR) ALT=win32 EXECSUFFIX=.exe endif # ifeq ($(OSTYPE),cygwin32) # SRC=$(SAMBASRCDIR) ALT=win32 EXECSUFFIX=.exe endif
# -------------------------------------------------------------------------- -- # Happy compilation! # -------------------------------------------------------------------------- -- bash-2.05# ============================================================== Any suggestion is welcome. Thanks in advance. Rong.
-----Original Message----- From: owner-ciao-users(a)clip.dia.fi.upm.es [mailto:owner-ciao-users(a)clip.dia.fi.upm.es]On Behalf Of ciao(a)clip.dia.fi.upm.es Sent: Friday, August 06, 2004 12:51 PM To: ciao-users(a)clip.dia.fi.upm.es Subject: Ciao 1.10 released
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/ ---------------------------------------------------------------------------- -
============================================================================== 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/ -----------------------------------------------------------------------------
Rong,Yongjun(CS) writes:
Hi, When I try to compiled this new version in a Solaris sparc9 box. I got errors as below:
[...]
*** --------------------------------------------------------- *** Compiling ciao standalone compiler *** (this may take a while and is silent; please be patient) *** --------------------------------------------------------- cd ciaoc && make compiler make[2]: Entering directory `/space/ciao-1.10p5/ciaoc' cp -f ciaoc /space/ciao-1.10p5/ciaoc/ciaoc.sta cp: cannot access ciaoc
This looks like if /space/ciao-1.10p5/ciaoc/ciaoc does not exist. Does it exist, and, if so, is it readable for the user who is making the compilation? If it does not exist, did any error message appear while unpacking the .tar.gz file?
============================================================================== 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/ -----------------------------------------------------------------------------