Ciao-users March 2013

ciao-users@cliplab.org

9 participants
17 discussions

Re: [Ciao-users] build failed CiaoDE 1.15 g2d800d8
by ciao＠clip.dia.fi.upm.es 19 Mar '13

19 Mar '13

> I'm building CiaoDE for Ubuntu 12.04 amd64. But it fails on > building the emacs plugin and the chr library. It seems that the > emacs plugin is too old. ... Thanks for the report. There compilation warnings are due to elisp changes which we have not had time to clean up but we use the emacs mode regularly with emacs 24.3, so this is probably not the problem. But it does seem to fail to generate word-help.elcs, CHR, and lpdoc, so something is wrong (it did work in our nightly builds for Ubuntu, though...). Can you check if Ciao compiles in your system all the way through using all default options, i.e., with: ./ciaosetup user-install (since you are doing a user install)? If it does we can then try to see what non-default option may be causing the problem. Thanks! --Manuel H -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | IMDEA Software Institute ciao(a)clip.dia.fi.upm.es | and Technical University of Madrid http://www.ciao-lang.org / http://www.cliplab.org -----------------------------------------------------------------------------

2 1

Segmentation Error
by Michael Wernicki 18 Mar '13

18 Mar '13

Hello, The following is from one of the examples supplied with the ciao documentation. The computer setup is a 64 bit Debian based Mint 14 system. There are no compilation errors; however, executing results in a segmentation error. michael(a)14Mint64VM ~/CiaoDE-1.15-1685-g2d800d8/ciao/library/class/examples/geometry $ ciaoc geometry1 michael(a)14Mint64VM ~/CiaoDE-1.15-1685-g2d800d8/ciao/library/class/examples/geometry $ ./geometry1 Segmentation fault Execution in a shell results in most of the predicates being undefined. michael(a)14Mint64VM ~/CiaoDE-1.15-1685-g2d800d8/ciao/library/class/examples/geometry $ ciaosh -f Ciao 0: Sat Mar 16 13:03:15 EDT 2013 ?- [geometry1]. {Compiling /home/michael/CiaoDE-1.15-1685-g2d800d8/ciao/library/class/examples/geometry/poly_class.pl {In *class_expansion* ERROR: (lns 0-0) Predicate fact$exp/3 undefined in source ERROR: (lns 0-0) Predicate $goalpoly_class2/1 undefined in source ERROR: (lns 0-0) Predicate $goalpoly_class1/1 undefined in source ERROR: (lns 0-0) Predicate $goalpoly_class0/1 undefined in source ERROR: (lns 0-0) Predicate $goaltcl_name1/1 undefined in source ERROR: (lns 0-0) Predicate $goalcreation_options1/1 undefined in source The segmentation error looks more like something caused by a 32 versus 64 bit system incompatibility. Any suggestions as to what to check to determine the source of the error? Mike

1 0

No handle for thrown error in simple class example
by Michael Wernicki 18 Mar '13

18 Mar '13

Hello, A simple example of a class stack using the examples supplied from the documentation showed ERROR: No handle.... For more complex examples, I've seen a segmentation error. Are some environmental variables incorrectly set causing these errors? The system is a 64 bit Debian based Mint 14. Case 1 There are no compilation error; however, the program cannot be executed without the ERROR: No handle.... michael(a)14Mint64VM ~/Program Development/Prolog/stack $ ciaoc teststack michael(a)14Mint64VM ~/Program Development/Prolog/stack $ ./teststack {ERROR: No handle found for thrown error error(existence_error(procedure,class_rt:asserta_attr/2),class_rt:asserta_attr/2)} Case 2 Can the error seen when trying to load the package objects in the shell be causing the thrown error? From inside a shell the following is seen: michael(a)14Mint64VM ~/CiaoDE-1.15-1685-g2d800d8/ciao/library/class/examples/geometry $ ciaosh -f Ciao 0: Sat Mar 16 13:03:15 EDT 2013 ?- use_package(objects). {Using package /home/michael/CiaoDE-1.15-1685-g2d800d8/ciao/library/objects/objects.pl ERROR: (lns 36-36) add_clause_trans/2 directive not allowed in shell } yes ?- The program does run in a shell correctly. In addition, it will run correctly in emacs. michael(a)14Mint64VM ~/Program Development/Prolog/stack $ ciaosh -f Ciao 0: Sat Mar 16 13:03:15 EDT 2013 ?- [teststack]. yes ?- main. 89 yes ?- For reference program teststack :- module(teststack,[main/0],[objects]). :- use_class('/home/michael/Program Development/Prolog/stack/stack'). main :- St1 new stack, St2 new stack, St1:push(8), St2:push(9), St1:top(I), St2:top(K), display(I), display(K). program stack %%----------------------------------------------%% %% A class for stacks. %% %%----------------------------------------------%% %% Class declaration: the current source defines a class. :- class(stack,[],[]). % State declaration: storage/1 is an attribute. :- dynamic storage/1. % Interface declaration: the following predicates will % be available at run-time. :- export(push/1). :- export(pop/1). :- export(top/1). :- export(is_empty/0). % Methods push(Item) :- nonvar(Item), asserta_fact(storage(Item)). pop(Item) :- var(Item), retract_fact(storage(Item)). top(Top) :- storage(Top), !. is_empty :- storage(_), !, fail. is_empty.

1 0

build failed CiaoDE 1.15 g2d800d8
by Xiaofeng Yang 17 Mar '13

17 Mar '13

I'm building CiaoDE for Ubuntu 12.04 amd64. But it fails on building the emacs plugin and the chr library. It seems that the emacs plugin is too old. I'm using EMACS 24.2. And, is the chr library complete ? The doc also built failed. Here's the log. nakrakiiya(a)nakrakiiyacomputer:~/source$ tar -xzf ~/downloads/CiaoDE-1.15-1685-g2d800d8.tar.gz nakrakiiya(a)nakrakiiyacomputer:~/source$ cd CiaoDE-1.15-1685-g2d800d8/ nakrakiiya(a)nakrakiiyacomputer:~/source/CiaoDE-1.15-1685-g2d800d8$ ./ciaosetup configure --menu --prefix=/home/nakrakiiya/CiaoDE-1.15-dev --sysavail=user --instype=local --update_bashrc=yes --update_dotemacs=yes --with_mysql=yes --with_gsl=yes --with_java_interface=yes --with_ant=yes --use_threads=yes --use_posix_locks=no --and_parallel_execution=visandor --optim_level=optimized --compile_ciaoppcl=yes --mysql_client_directory=/usr/lib/x86_64-linux-gnu/ --install_emacs_support=yes --stop_if_error=yes --with_chr=yes --with-ciaoppcl=yes --use_threads=yes --optimizing_compiler=yes :: Configuring the Ciao System Building bootstrap engine :: Building dynamic engine for LINUXi86_64 inout.c: 在函数‘print_string’中: inout.c:650:10: 警告：忽略声明有 warn_unused_result 属性的‘write’的返回值 [-Wunused-result] inout.c: 在函数‘writechar’中: inout.c:84:12: 警告：忽略声明有 warn_unused_result 属性的‘write’的返回值 [-Wunused-result] objareas.c: 在函数‘make_bytecode_object’中: objareas.c:416:12: 警告：变量‘num1’被设定但未被使用 [-Wunused-but-set-variable] unix_utils.c: 在函数‘check_pipe’中: unix_utils.c:1897:9: 警告：忽略声明有 warn_unused_result 属性的‘pipe’的返回值 [-Wunused-result] unix_utils.c: 在函数‘compute_cwd’中: unix_utils.c:267:9: 警告：忽略声明有 warn_unused_result 属性的‘getcwd’的返回值 [-Wunused-result] tasks.c: 在函数‘list_of_goals’中: tasks.c:224:7: 警告：变量‘arity’被设定但未被使用 [-Wunused-but-set-variable] heapgc.c: 在函数‘GarbageCollect’中: heapgc.c:716:20: 警告：变量‘tz’被设定但未被使用 [-Wunused-but-set-variable] heapgc.c:716:16: 警告：变量‘cz’被设定但未被使用 [-Wunused-but-set-variable] heapgc.c:716:12: 警告：变量‘sz’被设定但未被使用 [-Wunused-but-set-variable] support.c: 在函数‘cinstance’中: support.c:1062:16: 警告：变量‘t2’被设定但未被使用 [-Wunused-but-set-variable] float_tostr.c: 在函数‘float_to_string’中: float_tostr.c:548:9: 警告：变量‘buffer0’被设定但未被使用 [-Wunused-but-set-variable] Building bundle scanner Scanning bundles in the source tree Building bootstrap lpmake {WARNING (ciao_configure): Invalid configure option: --sysavail} {WARNING (ciao_configure): Invalid configure option: --compile-ciaoppcl} {WARNING (ciao_configure): Invalid configure option: --install-emacs-support} Entering the interactive configuration. You will now be asked some questions related to the configuration. Hit [Enter] to accept the default values shown in square brackets. Please select level of interaction: 1 -- Fully automatic (recommended). 2 -- Manually configure just a minimum set of options. 3 -- Manually configure an extended set of options. INTERACTIVE_CONFIG=[1] ? {predefined value for 'STOP_IF_ERROR' is 'yes'} Stop if error: ................. yes {predefined value for 'INSTYPE' is 'local'} Installation type is: .......... local Registration type is: .......... user {predefined value for 'PREFIX' is '/home/nakrakiiya/CiaoDE-1.15-dev'} Prefix is: ..................... /home/nakrakiiya/CiaoDE-1.15-dev Executables will go here: ...... /home/nakrakiiya/CiaoDE-1.15-dev/bin Libraries will go here: ........ /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao REALLIBDIR: .................... /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao Headers will temporarily go here: /home/nakrakiiya/CiaoDE-1.15-dev/include Final destination for headers is: /home/nakrakiiya/CiaoDE-1.15-dev/include {predefined value for 'UPDATE_BASHRC' is 'yes'} Update bash init file: ......... yes Bash initialization file: ...... /home/nakrakiiya/.bashrc Update csh init file: .......... yes Csh/Tcsh initialization file: .. /home/nakrakiiya/.cshrc Emacs available: ............... yes Install Emacs-based IDE: ....... yes XEmacs available: .............. no Install XEmacs based IDE: ...... no Emacs version to be used: ...... /usr/bin/emacs {predefined value for 'UPDATE_DOTEMACS' is 'yes'} Modify emacs init file: ........ yes Emacs initialization file: ..... /home/nakrakiiya/.emacs Emacs site start: .............. /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao Emacs init file: ............... ciao-mode-init.el HTML manuals will go here: ..... /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/doc Broswer will read website as: .. /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/doc Documentation will go here: .... /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/doc Man entry will go here: ........ /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/doc Info file will go here: ........ /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/doc Pillow images will go here: .... /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/doc/images The browser will find the Pillow images at: /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/doc/images {predefined value for 'WITH_MYSQL' is 'yes'} Install MySQL support: ......... yes {predefined value for 'MYSQL_CLIENT_DIRECTORY' is '/usr/lib/x86_64-linux-gnu/'} MySQL client library path: ..... /usr/lib/x86_64-linux-gnu/ {predefined value for 'WITH_GSL' is 'yes'} Install GSL support: ........... yes Install PPL support: ........... no {predefined value for 'WITH_JAVA_INTERFACE' is 'yes'} Use Java interface: ............ yes {predefined value for 'WITH_ANT' is 'yes'} Use ant, a Java make tool: ..... yes {predefined value for 'OPTIMIZING_COMPILER' is 'yes'} Install optimizing compiler: ... yes {predefined value for 'USE_THREADS' is 'yes'} {predefined value for 'USE_POSIX_LOCKS' is 'no'} {predefined value for 'AND_PARALLEL_EXECUTION' is 'visandor'} {predefined value for 'OPTIM_LEVEL' is 'optimized'} {predefined value for 'WITH_CHR' is 'yes'} Compile CHR: ................... yes {predefined value for 'WITH_CIAOPPCL' is 'yes'} With CiaoPP Command line: ...... yes :: Configuration complete Please check that all the values and messages above are correct. If not, you can change or customize the configuration using the command line or --menu configure option. To continue, execute: "./ciaosetup build" to compile, then "./ciaosetup docs" to generate the documentation, (if not in distribution), then "./ciaosetup install" to install the system. nakrakiiya(a)nakrakiiyacomputer:~/source/CiaoDE-1.15-1685-g2d800d8$ ./ciaosetup build :: Building the Ciao System :: Building dynamic engine for LINUXi86_64 C compiler flags: -Wall -fno-strict-aliasing -O2 -fomit-frame-pointer -falign-loops=2 -falign-jumps=2 -falign-functions=2 -D_REENTRANT -DTHREADS -DFOREIGN_FILES -DANDPARALLEL -DVISANDOR -DTABLING -DLINUX -Di86_64 -m32 -DHAS_MMAP -DANONYMOUS_MMAP Linker flags: -rdynamic -m32 -ldl -lm -lpthread Compiling wam.c Compiling format.c Compiling inout.c Compiling misc.c Compiling startgoal.c Compiling ciao.c Compiling nondet.c Compiling objareas.c Compiling streams.c Compiling timing.c Compiling wambuiltin.c Compiling wamfunction.c Compiling unix_utils.c objareas.c: 在函数‘make_bytecode_object’中: objareas.c:416:12: 警告：变量‘num1’被设定但未被使用 [-Wunused-but-set-variable] inout.c: 在函数‘print_string’中: inout.c:650:10: 警告：忽略声明有 warn_unused_result 属性的‘write’的返回值 [-Wunused-result] inout.c: 在函数‘writechar’中: inout.c:84:12: 警告：忽略声明有 warn_unused_result 属性的‘write’的返回值 [-Wunused-result] Compiling tasks.c Compiling dynlink.c Compiling locks.c Compiling attr.c Compiling own_malloc_bin.c Compiling own_mmap.c Compiling alloc.c tasks.c: 在函数‘list_of_goals’中: tasks.c:224:7: 警告：变量‘arity’被设定但未被使用 [-Wunused-but-set-variable] unix_utils.c: 在函数‘check_pipe’中: unix_utils.c:1897:9: 警告：忽略声明有 warn_unused_result 属性的‘pipe’的返回值 [-Wunused-result] Compiling heapgc.c Compiling indexing.c unix_utils.c: 在函数‘compute_cwd’中: unix_utils.c:267:9: 警告：忽略声明有 warn_unused_result 属性的‘getcwd’的返回值 [-Wunused-result] Compiling initial.c Compiling registers.c Compiling stacks.c Compiling support.c Compiling wamsupport.c Compiling term_support.c Compiling qread.c heapgc.c: 在函数‘GarbageCollect’中: heapgc.c:716:20: 警告：变量‘tz’被设定但未被使用 [-Wunused-but-set-variable] heapgc.c:716:16: 警告：变量‘cz’被设定但未被使用 [-Wunused-but-set-variable] heapgc.c:716:12: 警告：变量‘sz’被设定但未被使用 [-Wunused-but-set-variable] Compiling qget.c Compiling builtin.c support.c: 在函数‘cinstance’中: support.c:1062:16: 警告：变量‘t2’被设定但未被使用 [-Wunused-but-set-variable] Compiling interrupt.c initial.c:454:1: 警告：数据定义时没有类型或存储类 [默认启用] initial.c:454:1: 警告：在‘nagents’的声明中，类型默认为‘int’ [-Wimplicit-int] Compiling gauge.c Compiling float_consts.c Compiling bignum.c Compiling float_tostr.c Compiling ciao_prolog.c float_tostr.c: 在函数‘float_to_string’中: float_tostr.c:548:9: 警告：变量‘buffer0’被设定但未被使用 [-Wunused-but-set-variable] Compiling start.c Compiling version.c Compiling main.c Linking ciaoengine Building bundle scanner Scanning bundles in the source tree :: Building Ciao Building 'ciaoc' (Standalone compiler) using bootstrap compiler Building 'ciaosh' (Interactive toplevel) {Reading /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao/library/toplevel/ toplevel__scope.pl WARNING: (lns 1-1) Source used as module without module declaration } Building 'ciao-shell' (ciao-script runtime) :: Building 'optim_comp' sh: 1: cd: can't cd to /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/optim_comp sh: 1: ./ciaotool: not found Creating DOTcshrc Creating DOTprofile :: Building etc/ standalone utilities Building 'fileinfo' (stand-alone utility) Building 'get_deps' (stand-alone utility) Building 'pldiff' (stand-alone utility) Building 'viewpo' (stand-alone utility) Building 'lpmake' (stand-alone utility) Building 'plindent' (stand-alone utility) Building 'show_asr' (stand-alone utility) Building 'show_deps' (stand-alone utility) Building 'compiler_output' (stand-alone utility) Building 'checkline' (stand-alone utility) :: Building etc_contrib/ standalone utilities Building 'synch_actions' (stand-alone utility) Building 'cleandirs' (stand-alone utility) Building 'ciao_get_arch' (command line) Building 'ciao' (command line) :: Configuring GSL Library :: Configuring MySQL Libraries :: Compiling lib/ libraries Compiled 135 modulesite_c/write_tokens.pl mples.pl n.pl s.pl t.pl .pl :: Compiling contrib/tabling/ libraries Compiled 21 modulesmples/test.pl pl :: Compiling library/clpq/ libraries Compiled 9 moduleser_q.pl .pl :: Compiling library/clpr/ libraries Compiled 10 modulests/clprtests.pl :: Entering `library/javall' (from `...CiaoDE-1.15-1685-g2d800d8/ciao') Executing ` /usr/bin/make all' CIAOALIASPATH="" CIAOLIB=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao CIAOHDIR=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/include/LINUXi86_64 CIAOENGINE=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/objs/LINUXi86_64/ciaoengine /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/bin/ciaoc-1.15 -c javasock.pl javart.pl jtopl.pl plserver.pl CIAOALIASPATH="" CIAOLIB=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao CIAOHDIR=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/include/LINUXi86_64 CIAOENGINE=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/objs/LINUXi86_64/ciaoengine /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/bin/ciaoc-1.15 -x -s plserver chmod 775 plserver cd CiaoJava && /usr/bin/make all make[1]: 正在进入目录 `/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao/library/javall/CiaoJava' javac *.java 注: 某些输入文件使用了未经检查或不安全的操作。注: 有关详细信息, 请使用 -Xlint:unchecked 重新编译。 chmod 664 *.class make[1]:正在离开目录 `/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao/library/javall/CiaoJava' cd examples/java2pl && /usr/bin/make all make[1]: 正在进入目录 `/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao/library/javall/examples/java2pl' javac -classpath /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao/library/javall *.java 注: 某些输入文件使用或覆盖了已过时的 API。注: 有关详细信息, 请使用 -Xlint:deprecation 重新编译。 chmod 664 *.class CIAOALIASPATH="" CIAOLIB=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao CIAOHDIR=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/include/LINUXi86_64 CIAOENGINE=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/objs/LINUXi86_64/ciaoengine /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/bin/ciaoc-1.15 -c *.pl make[1]:正在离开目录 `/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao/library/javall/examples/java2pl' cd examples/pl2java && /usr/bin/make all make[1]: 正在进入目录 `/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao/library/javall/examples/pl2java' CIAOALIASPATH="" CIAOLIB=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao CIAOHDIR=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/include/LINUXi86_64 CIAOENGINE=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/objs/LINUXi86_64/ciaoengine /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/bin/ciaoc-1.15 -x *.pl make[1]:正在离开目录 `/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao/library/javall/examples/pl2java' cd javadoc && /usr/bin/make all make[1]: 正在进入目录 `/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao/library/javall/javadoc' javadoc -sourcepath ../ -d ./ -version -author -overview ../CiaoJava/package.html CiaoJava 正在加载程序包CiaoJava的源文件... 正在构造 Javadoc 信息... 标准 Doclet 版本 1.7.0_15 正在构建所有程序包和类的树... 正在生成./CiaoJava/PLAtom.html... 正在生成./CiaoJava/PLConnection.html... 正在生成./CiaoJava/PLException.html... 正在生成./CiaoJava/PLFloat.html... 正在生成./CiaoJava/PLGoal.html... 正在生成./CiaoJava/PLGoalException.html... 正在生成./CiaoJava/PLInteger.html... 正在生成./CiaoJava/PLJavaServer.html... 正在生成./CiaoJava/PLList.html... 正在生成./CiaoJava/PLServerSocket.html... 正在生成./CiaoJava/PLString.html... 正在生成./CiaoJava/PLStructure.html... 正在生成./CiaoJava/PLTerm.html... 正在生成./CiaoJava/PLVariable.html... 正在生成./CiaoJava/package-frame.html... 正在生成./CiaoJava/package-summary.html... 正在生成./CiaoJava/package-tree.html... 正在生成./constant-values.html... 正在生成./serialized-form.html... 正在构建所有程序包和类的索引... 正在生成./overview-tree.html... 正在生成./index-all.html... 正在生成./deprecated-list.html... 正在构建所有类的索引... 正在生成./allclasses-frame.html... 正在生成./allclasses-noframe.html... 正在生成./index.html... 正在生成./overview-summary.html... 正在生成./help-doc.html... chmod -f 664 *.html *.css chmod -f 775 CiaoJava chmod -f 664 CiaoJava/*.html make[1]:正在离开目录 `/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao/library/javall/javadoc' :: Leaving `library/javall' :: Compiling library/ libraries Compiling 223/235 toplevel/toplevel.pl {Reading /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao/library/toplevel/toplevel__scope.itf WARNING: Source used as module without module declaration } Compiling 224/235 toplevel/toplevel_doc.pl {Reading /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao/library/toplevel/toplevel__scope.itf WARNING: Source used as module without module declaration } Compiled 235 modulesefs/xrefsread.pl d.pl Compiled 1 modulesevel__scope.pl :: Compiling contrib/ libraries Compiling 29/213 clpfd/fd_constraints.pl {Note: fd_constraints expanded in /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao/contrib/clpfd/ fd_constraints_co.pl} Compiled 213 modulesp_libs/wundgraphs.pl .pl 2.pl reporting.plexamples/ truckload.pl tab.pl :: Building the Emacs mode for Ciao Loading 00debian-vars... Loading /etc/emacs/site-start.d/50autoconf.el (source)... Loading /etc/emacs/site-start.d/50cmake-data.el (source)... Loading /etc/emacs/site-start.d/50devhelp.el (source)... Loading /etc/emacs/site-start.d/50dictionaries-common.el (source)... Loading debian-ispell... Loading /var/cache/dictionaries-common/emacsen-ispell-default.el (source)... Loading /var/cache/dictionaries-common/emacsen-ispell-dicts.el (source)... Loading /etc/emacs/site-start.d/50global.el (source)... Loading /etc/emacs/site-start.d/50lbdb.el (source)... Loading /etc/emacs/site-start.d/50psvn.el (source)... In toplevel form: word-help.el:297:1:Warning: !! The file uses old-style backquotes !! This functionality has been obsolete for more than 10 years already and will be removed soon. See (elisp)Backquote in the manual. In word-help-wrapt-lisp-complete-symbol: word-help.el:322:1:Warning: `interactive-p' is an obsolete function (as of 23.2); use `called-interactively-p' instead. In word-help-wrapt-makefile-complete: word-help.el:323:22:Warning: `interactive-p' is an obsolete function (as of 23.2); use `called-interactively-p' instead. In word-help-wrapt-ispell-complete-word: word-help.el:324:22:Warning: `interactive-p' is an obsolete function (as of 23.2); use `called-interactively-p' instead. In word-help-wrapt-complete-tag: word-help.el:325:1:Warning: `interactive-p' is an obsolete function (as of 23.2); use `called-interactively-p' instead. In word-help-lookup: word-help.el:336:45:Warning: `(\` (cond ((nth ((\, index)) (assoc help-mode word-help-mode-alist))) (t ((\, default)))))' is a malformed function word-help.el:344:1:Warning: !! The file uses old-style backquotes !! This functionality has been obsolete for more than 10 years already and will be removed soon. See (elisp)Backquote in the manual. word-help.el:352:1:Error: Invalid function: (\` (cond ((nth ((\, index)) (assoc help-mode word-help-mode-alist))) (t ((\, default))))) Loading `word-help': old-style backquotes detected! Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-help.elc In ciao-face-update-sectioning-faces: ciao-faces.el:783:37:Warning: reference to free variable `ciao-face-fontify-sectioning' Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-faces.elc In ciao-indent-file: ciao-syntax.el:209:19:Warning: assignment to free variable `tmp_file_1' ciao-syntax.el:214:14:Warning: assignment to free variable `current-point' ciao-syntax.el:213:39:Warning: assignment to free variable `current-start' ciao-syntax.el:210:20:Warning: assignment to free variable `source-buffer' ciao-syntax.el:211:62:Warning: reference to free variable `tmp_file_1' ciao-syntax.el:211:62:Warning: `insert-buffer' used from Lisp code That command is designed for interactive use only ciao-syntax.el:211:79:Warning: reference to free variable `source-buffer' ciao-syntax.el:213:22:Warning: reference to free variable `current-start' ciao-syntax.el:213:22:Warning: reference to free variable `current-point' Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-syntax.elc In ciao-error-session-next: ciao-parsing.el:277:24:Warning: `goto-line' used from Lisp code That command is designed for interactive use only Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-parsing.elc In ciao-color: ciao-aux.el:106:13:Warning: `goto-line' used from Lisp code That command is designed for interactive use only ciao-aux.el:112:33:Warning: `goto-line' used from Lisp code That command is designed for interactive use only In ciao-uncolor: ciao-aux.el:119:9:Warning: `goto-line' used from Lisp code That command is designed for interactive use only Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-aux.elc Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-font-lock.elc In ciao-fix-old-version-maintenance: ciao-vc.el:694:10:Warning: `next-line' used from Lisp code That command is designed for interactive use only ciao-vc.el:706:10:Warning: `previous-line' used from Lisp code That command is designed for interactive use only Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-vc.elc Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-scratchpad.elc In ciao-proc-mode: ciao-process.el:309:9:Warning: assignment to free variable `comint-highlight-prompt' In ciao-reset-inferior: ciao-process.el:426:9:Warning: assignment to free variable `ciao-debug-filter-pending-text' In ciao-insert-logo: ciao-process.el:572:52:Warning: `next-line' used from Lisp code That command is designed for interactive use only ciao-process.el:576:10:Warning: `next-line' used from Lisp code That command is designed for interactive use only Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-process.elc Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-compile.elc In ciao-load-buffer-current-or-main: ciao-loading.el:237:46:Warning: Use `with-current-buffer' rather than save-excursion+set-buffer In ciao-goto-error: ciao-loading.el:527:23:Warning: `goto-line' used from Lisp code That command is designed for interactive use only ciao-loading.el:560:9:Warning: `goto-line' used from Lisp code That command is designed for interactive use only ciao-loading.el:557:10:Warning: `goto-line' used from Lisp code That command is designed for interactive use only In end of data: ciao-loading.el:707:1:Warning: the function `ciao-load-query' is not known to be defined. Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-loading.elc In ciao-get-last-query: ciao-testing.el:85:13:Warning: assignment to free variable `beg' ciao-testing.el:87:39:Warning: reference to free variable `beg' Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-testing.elc In ciao-real-select-buffers-for-debug: ciao-debugger.el:257:10:Warning: `mapcar' called for effect; use `mapc' or `dolist' instead In ciao-how-debugged: ciao-debugger.el:279:17:Warning: Use `with-current-buffer' rather than save-excursion+set-buffer In ciao-debug-maybe-escape: ciao-debugger.el:298:14:Warning: Use `with-current-buffer' rather than save-excursion+set-buffer In ciao-debug-breakparams: ciao-debugger.el:350:9:Warning: `goto-line' used from Lisp code That command is designed for interactive use only In ciao-debug-redisplay-breakpt: ciao-debugger.el:420:42:Warning: Use `with-current-buffer' rather than save-excursion+set-buffer ciao-debugger.el:417:28:Warning: `goto-line' used from Lisp code That command is designed for interactive use only In ciao-debug-display-line: ciao-debugger.el:464:25:Warning: Use `with-current-buffer' rather than save-excursion+set-buffer ciao-debugger.el:464:25:Warning: `goto-line' used from Lisp code That command is designed for interactive use only ciao-debugger.el:528:23:Warning: `goto-line' used from Lisp code That command is designed for interactive use only In ciao-debug-uncolor-line: ciao-debugger.el:557:30:Warning: Use `with-current-buffer' rather than save-excursion+set-buffer Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-debugger.elc Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-lpdoc.elc In ciao-ciaopp-process-graphical-menu: ciao-ciaopp.el:252:50:Warning: assignment to free variable `line-str' ciao-ciaopp.el:272:13:Warning: reference to free variable `line-str' In ciao-ciaopp-process-gmenu-just-write-answers: ciao-ciaopp.el:305:55:Warning: assignment to free variable `line-str' ciao-ciaopp.el:316:17:Warning: reference to free variable `line-str' Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-ciaopp.elc In java-ciaopp-setup: java-ciaopp.el:51:43:Warning: reference to free variable `java-mode-map' java-ciaopp.el:52:25:Warning: reference to free variable `ciao-mode-menus-java' java-ciaopp.el:63:13:Warning: reference to free variable `java-mode-map' In ciao-java-setup-tool-bar: java-ciaopp.el:152:36:Warning: assignment to free variable `ciao-xemacs-tool-bar-tmp' java-ciaopp.el:129:64:Warning: reference to free variable `java-mode-map' java-ciaopp.el:152:4:Warning: reference to free variable `ciao-xemacs-tool-bar-tmp' In end of data: java-ciaopp.el:167:1:Warning: the following functions are not known to be defined: ciao-general-toolbar, ciao-tool-bar-local-item-from-menu, ciao-xemacs-toolbar-postprocess Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/java-ciaopp.elc Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-bundle.elc Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-optim-comp.elc Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-org.elc Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-widgets.elc Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-common.elc Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-config.elc Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-splash.elc Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao-bindings.elc Wrote /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/ciao.elc {ERROR (system_extra): (unset SHELL ; unset EMACSLOADPATH ; unset EMACSDOC ; cd "/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode" ;"/usr/bin/emacs" -batch --eval '(setq load-path (cons "." load-path))' -f batch-byte-compile word-help.el ciao-help.el ciao-faces.el ciao-syntax.el ciao-parsing.el ciao-aux.el ciao-font-lock.el ciao-vc.el ciao-scratchpad.el ciao-process.el ciao-compile.el ciao-loading.el ciao-testing.el ciao-debugger.el ciao-lpdoc.el ciao-ciaopp.el java-ciaopp.el ciao-bundle.el ciao-optim-comp.el ciao-org.el ciao-widgets.el ciao-common.el ciao-config.el ciao-splash.el ciao-bindings.el ciao.el) >>"/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/emacs_mode.log" 2>"/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/emacs_mode.err" returned code 1} {ERROR (system_extra): In set_perms/2, file '/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/emacs-mode/word-help.elc' not found} :: Emacs mode for Ciao build completed :: Ciao build completed :: Compiling CHR Libraries {./do_bootstrap: 行 7: 12896 完成 echo -e "use_module( .(chr_ciao_bootstrap) ).\ndo_bootstrap1.\ndo_bootstrap2.\ndo_bootstrap2.\ndo_bootstrap3.\nhalt." <-- "行 7: 12896 完成" means " line 7: 12896 completed " 12897 段错误 (核心已转储) | ${CIAOSH} <-- means "12897 segment fault (core dumped) | | ${CIAOSH}" ./do_bootstrap: 行 13: 12899 完成 echo -e "use_module( .(chr_ciao_bootstrap) ).\ndo_bootstrap4.\nhalt.\n" 12900 段错误 (核心已转储) | ${CIAOSH} <-- means "12900 segment fault (core dumped) | | ${CIAOSH}" {ERROR: absolute_file_name/7, arg 1 - existence error: source_sink: chr_translate.pl does not exist} {ERROR: absolute_file_name/7, arg 1 - existence error: source_sink: chr_translate.pl does not exist} cp: 无法获取"chr_translate.pl" 的文件状态(stat): 没有那个文件或目录 <-- means " cp: cannot retrieved the status of `chr_translate.pl': the file or the directory does not exist " {ERROR: absolute_file_name/7, arg 1 - existence error: source_sink: chr_translate.pl does not exist} diff: chr_translate.pl: 没有那个文件或目录 <-- means "diff: chr_translate.pl: the file or the directory does not exist" diff: chr_translate.pl.cmp: 没有那个文件或目录 <-- means "diff: chr_translate.pl.cmp: the file or the directory does not exist" {ERROR (system_extra): cd library/chr; CIAOALIASPATH= CIAOLIB=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao CIAOHDIR=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/include/LINUXi86_64 CIAOENGINE=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/objs/LINUXi86_64/ciaoengine CIAOSH="/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/bin/ciaosh-1.15 -f " ./do_bootstrap >> /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/build.log returned code 2. Halting system.} nakrakiiya(a)nakrakiiyacomputer:~/source/CiaoDE-1.15-1685-g2d800d8$ ./ciaosetup docs :: Building Ciao System documentation :: Entering `...E-1.15-1685-g2d800d8/build/doc' (from `...urce/CiaoDE-1.15-1685-g2d800d8') Executing `CIAOALIASPATH= CIAOLIB=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao CIAOHDIR=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/include/LINUXi86_64 CIAOENGINE=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/objs/LINUXi86_64/ciaoengine /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/bin/lpdoc -d filepath=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/doc/readmes -c README_CIAODE.ascii' sh: 1: /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/bin/lpdoc: not found {ERROR (system_extra): cd /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/doc && CIAOALIASPATH= CIAOLIB=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/ciao CIAOHDIR=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/include/LINUXi86_64 CIAOENGINE=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/objs/LINUXi86_64/ciaoengine /home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/build/bin/lpdoc -d filepath=/home/nakrakiiya/source/CiaoDE-1.15-1685-g2d800d8/doc/readmes -c README_CIAODE.ascii returned code 127. Halting system.} Best regards, Xiaofeng Yang

1 0

PPDP 2013: Call for Papers
by Tom Schrijvers 15 Mar '13

15 Mar '13

===================================================================== Call for papers 15th International Symposium on Principles and Practice of Declarative Programming PPDP 2013 Special Issue of Science of Computer Programming (SCP) Madrid, Spain, September 16-18, 2013 (co-located with LOPSTR 2013) http://users.ugent.be/~tschrijv/PPDP2013/ ====================================================================== PPDP 2013 is a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analysing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, verification and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. Topics of interest include, but are not limited to: * Functional programming * Logic programming * Answer-set programming * Functional-logic programming * Declarative visual languages * Constraint Handling Rules * Parallel implementation and concurrency * Monads, type classes and dependent type systems * Declarative domain-specific languages * Termination, resource analysis and the verification of declarative programs * Transformation and partial evaluation of declarative languages * Language extensions for security and tabulation * Probabilistic modelling in a declarative language and modelling reactivity * Memory management and the implementation of declarative systems * Practical experiences and industrial application This year the conference will be co-located with the 23nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2013) and held in cooperation with ACM SIGPLAN. The conference will be held in Madrid, Spain. Previous symposia were held at Leuven (Belgium), Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris (France). Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Proceedings will be published by ACM Press* After the symposium, a selection of the best papers will be invited to extend their submissions in the light of the feedback solicited at the symposium. The papers are expected to include at least 30% extra material over and above the PPDP version. Then, after another round of reviewing, these revised papers will be published in a special issue of SCP with a target publication date by Elsevier of 2014. Important Dates Abstract Submission: May 27, 2013 Paper submission: May 30, 2013 Notification: July 4, 2013 Camera-ready: July 21, 2013 Symposium: September 16-18, 2013 Invites for SCP: October 2, 2013 Submission of SCP: December 11, 2013 Notification from SCP: February 22, 2014 Camera-ready for SCP: March 14, 2014 Authors should submit an electronic copy of the paper (written in English) in PDF. Each submission must include on its first page the paper title; authors and their affiliations; abstract; and three to four keywords. The keywords will be used to assist us in selecting appropriate reviewers for the paper. Papers should consist of no more than 12 pages, formatted following the ACM SIG proceedings template (option 1). The 12 page limit must include references but excludes well-marked appendices not intended for publication. Referees are not required to read the appendices, and thus papers should be intelligible without them. Program Committee Sergio Antoy Portland State University, USA Manuel Carro IMDEA Software Institute, Spain Iliano Cervesato Carnegie Mellon University, Qatar Agostino Dovier Universita degli Studi di Udine, Italy Maria Garcia de la Banda Monash University, Australia Ralf Hinze University of Oxford, UK Yukiyoshi Kameyama University of Tsukuba, Japan Oleg Kiselyov USA Yanhong Annie Liu State University of New York at Stony Brook, USA Stefan Monnier Universite de Montreal, Canada Alan Mycroft University of Cambrige, UK Bruno C. d. S. Oliveira National University of Singapore, Singapore Alberto Pettorossi Universita di Roma Tor Vergata, Italy Enrico Pontelli New Mexico State University, USA Kristoffer Rose IBM Research, USA Sukyoung Ryu KAIST, South Korea Vitor Santos Costa University of Porto, Portugal Torsten Schaub University Potsdam, Germany Tom Schrijvers Ghent University, Belgium Martin Sulzmann Hochschule Karlsruhe, Germany Wouter Swierstra Universiteit Utrecht, The Netherlands Tarmo Uustalu Institute of Cybernetics, Estonia Janis Voigtlaender University of Bonn, Germany Meng Wang Chalmers University of Technology, Sweden Jan Wielemaker Universiteit van Amsterdam, The Netherlands Program Chair Tom Schrijvers Department of Applied Mathematics and Computer Science Ghent University 9000 Gent, Belgium General Chair Ricardo Pena Facultad de Informatica Universidad Complutense de Madrid 28040 Madrid, Spain * Confirmation pending

1 0

Re: [Ciao-users] Permissions problem
by ciao＠clip.dia.fi.upm.es 03 Mar '13

03 Mar '13

> john(a)laptop01:~/ciao_mongo$ ciaoc test.pl > {ERROR: streams_basic:$open/3, arg 1 - system error: Permission denied} > {Executable generation aborted} > john(a)laptop01:~/ciao_mongo$ Yes, this message from the standalone compiler could certainly be more informative (we will look into that, it looks like an undetected side effect of the move to ISO errors). In any case it appears that one of the files being compiled is not readable by the user that is running the compiler. Note that this can be your files (i.e., test.pl) or the ciao libraries (in the installation, which makes them readable by default). In any case-making them all readable should fix it. -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | IMDEA Software Institute ciao(a)clip.dia.fi.upm.es | and Technical University of Madrid http://www.ciao-lang.org / http://www.cliplab.org -----------------------------------------------------------------------------

1 0

Permissions problem
by mcculloch 02 Mar '13

02 Mar '13

When I try to compile a program, I get this: john(a)laptop01:~/ciao_mongo$ ciaoc test.pl {ERROR: streams_basic:$open/3, arg 1 - system error: Permission denied} {Executable generation aborted} john(a)laptop01:~/ciao_mongo$ Does anyone know how I can tell which file needs a permission change? Thanks, John -- View this message in context: http://old.nabble.com/Permissions-problem-tp35078742p35078742.html Sent from the Ciao Prolog - Users mailing list archive at Nabble.com.

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 March 2013