Ciao-users July 2015

ciao-users@cliplab.org

6 participants
9 discussions

Re: [Ciao-users] Ciao on Windows: plserver.bat
by Jose F. Morales 23 Jul '15

23 Jul '15

Compiling a copy of plserver.pl in a writable directory would work. If not, try to make that directory writable to your user. On Thu, Jul 23, 2015 at 4:06 PM, Dan Seeruttun <dan.seeruttun(a)gmail.com> wrote: > This is the problem. I am able to compile on the desktop but not on the > folder. I am trying to compile plserver then. > > 2015-07-23 15:35 GMT+02:00 Jose F. Morales <jfran(a)clip.dia.fi.upm.es>: > >> Is ciaoc able to compile other modules? (for example the following hw.pl) >> Is your user able to write to that directory? >> >> % hw.pl >> :- module(_,[main/1]). >> >> main(_) :- >> write('Hello world!'), nl, nl, >> write('Hit return to proceed... '), >> flush_output, >> get_code(_). >> >> >> On Thu, Jul 23, 2015 at 3:15 PM, Dan Seeruttun <dan.seeruttun(a)gmail.com> >> wrote: >> >>> I tried "C:\Program Files >>> (x86)\CiaoDE\build\objs\Win32i86\ciaoengine.exe" -C -b "C:\Program Files >>> (x86)\CiaoDE\ciao\library\javall\plserver" but it has no effect. >>> >>> I am trying to compile plserver but I can't. I think the executable for >>> ciaoc is ciaoc-1.13.bat, and I am trying to execute it. >>> I am getting this error: >>> >>> C:\Program Files (x86)\CiaoDE\ciao\library\javall>"C:\Program Files >>> (x86)\CiaoDE\build\bin\ciaoc-1.13.bat" plserver.pl >>> {ERROR: No handle found for thrown error >>> error(system_error,streams_basic:$open/3-1)} >>> >>> >>> 2015-07-23 13:19 GMT+02:00 Jose F. Morales <jfran(a)clip.dia.fi.upm.es>: >>> >>>> On Thu, Jul 23, 2015 at 1:05 PM, Dan Seeruttun <dan.seeruttun(a)gmail.com >>>> > wrote: >>>> >>>>> Hello, >>>>> thank you for your answer. >>>>> >>>>> For me, the path of ciaoengine.exe is *C:\Program Files >>>>> (x86)\CiaoDE\build\objs\Win32i86\ciaoengine.exe* >>>>> the path of plserver.bat is *C:\Program Files >>>>> (x86)\CiaoDE\ciao\library\javall\plserver.bat* >>>>> >>>>> But it is not working. The main problem is it is not saying anything >>>>> using Eclipse, it is just blocking later in the establishment of the >>>>> connection without error, it just does nothing. Thus I tested it on the >>>>> console: >>>>> >>>>> Executing the following command on the console: >>>>> *C:\Program Files (x86)\CiaoDE\build\objs\Win32i86>ciaoengine.exe -C >>>>> -b "C:\Program Files (x86)\CiaoDE\ciao\library\javall\plserver.bat"* >>>>> gives: >>>>> >>>>> */cygdrive/c/Program Files (x86)/CiaoDE/ciao/library/javall/plserver: >>>>> boot file not found* >>>>> I think there is a problem of path with cygwin... >>>>> >>>> >>>> I would try this instead: >>>> >>>> cd "C:\Program Files (x86)\CiaoDE\ciao\library\javall" >>>> "C:\Program Files (x86)\CiaoDE\build\objs\Win32i86\ciaoengine.exe" -C >>>> -b "C:\Program Files (x86)\CiaoDE\ciao\library\javall\plserver" >>>> >>>> If it still does not work, probably 'plserver' is not compiled. You >>>> need to compile it with 'ciaoc plserver'. There are some details about >>>> calling Prolog from Java (which I assume is what you are trying to do) in >>>> javall/examples/java2pl/readme.txt. >>>> >>>> I'm working with Ciao 1.13+13182, you may want to make me update the >>>>> version, please tell me if you do. >>>>> >>>> >>>> If possible, we would recommend using the latest version (1.15, from >>>> http://ciao-lang.org). >>>> >>>> >>>>> 2015-07-23 10:12 GMT+02:00 Jose F. Morales <jfran(a)clip.dia.fi.upm.es>: >>>>> >>>>>> Hi Dan, >>>>>> >>>>>> That file needs to be modified by hand to point to your current >>>>>> installation directory for Ciao. It should be something like: >>>>>> >>>>>> @REM Change the CIAOINSTALLDIR path below to the absolute path of the >>>>>> application >>>>>> @"CIAOINSTALLDIR\bin\Win32i86\ciaoengine.exe" %* -C -b >>>>>> "CIAOINSTALLDIR\library\javall\plserver.bat" >>>>>> >>>>>> where CIAOINSTALLDIR would be the drive and path where Ciao is >>>>>> currently installed. Please tell us if this works for you (probably some >>>>>> relative paths are not correct). >>>>>> >>>>>> The next release will fix this issue (the .bat file will be created >>>>>> with the right paths during installation). >>>>>> >>>>>> Bests >>>>>> >>>>>> On Wed, Jul 22, 2015 at 1:50 PM, Dan Seeruttun < >>>>>> dan.seeruttun(a)gmail.com> wrote: >>>>>> >>>>>>> Hello, >>>>>>> I'm using ciao on a server on Windows 8. >>>>>>> I am having problems with the file >>>>>>> CiaoDE\ciao\library\javall\plserver.bat >>>>>>> >>>>>>> I would like to know if there is a version of the file plserver.bat >>>>>>> available on windows. >>>>>>> >>>>>>> plserver.bat contents: >>>>>>> >>>>>>> *@REM Change the path below to the absolute path of the >>>>>>> application@"/home/clip/Systems/ciao-1.11/bin/Win32i86/ciaoengine.exe" %* >>>>>>> -C -b "C:\home\clip\Systems\ciao-1.11\library\javall\plserver.bat"* >>>>>>> >>>>>>> The path begining by home are linux made. >>>>>>> >>>>>>> Best Regards, >>>>>>> Dan Seeruttun--Marie >>>>>>> >>>>>>> _______________________________________________ >>>>>>> Ciao-users mailing list >>>>>>> Ciao-users(a)clip.dia.fi.upm.es >>>>>>> http://clip.dia.fi.upm.es/cgi-bin/mailman/listinfo/ciao-users >>>>>>> >>>>>>> -- >>>>>>> Jose >>>>>>> >>>>>>> <http://clip.dia.fi.upm.es/cgi-bin/mailman/listinfo/ciao-users> >>>>>> >>>>>> >>>>> >>>> >>>> >>>> -- >>>> Jose >>>> >>> >>> >> >> >> -- >> Jose >> > > -- Jose

1 0

Ciao on Windows: plserver.bat
by Dan Seeruttun 23 Jul '15

23 Jul '15

Hello, I'm using ciao on a server on Windows 8. I am having problems with the file CiaoDE\ciao\library\javall\plserver.bat I would like to know if there is a version of the file plserver.bat available on windows. plserver.bat contents: *@REM Change the path below to the absolute path of the application@"/home/clip/Systems/ciao-1.11/bin/Win32i86/ciaoengine.exe" %* -C -b "C:\home\clip\Systems\ciao-1.11\library\javall\plserver.bat"* The path begining by home are linux made. Best Regards, Dan Seeruttun--Marie

2 1

Memory allocation error
by Eduardo Costa 18 Jul '15

18 Jul '15

I am testing a natural language processing program for text mining. Tagging is performed through the Common Lisp tagger library. An auxiliary Lisp program uses the result of the tagger library to generate a Prolog grammar, that does the syntactic analysis. Then the Prolog grammar is compiled to Lisp, and executed. I selected a small grammar, adapted it for yap prolog and ciao prolog, and tried to execute it in loop as a kind of benchmark. However the ciao prolog version works only for a small number of interactions. Here is the ciao Prolog version: ~/wrk/prolog$ cat bench.pl % File: fib.pl :- use_module(library(atom2term)). %% Automatically generated code % Modify it at your own risk n --> [cat]. n --> [mice]. det --> [the]. vbz --> [chases]. vp --> vbz, np. np --> n. np --> det, n. sentence --> np, vp. %% End of automatically generated code parse(_Text, 0, S, S) :- !. parse(Text, I, S, Res) :- sentence(Text, Remains), length(Remains, L), S1 is S+L, I1 is I-1, parse(Text, I1, S1, Res). main(Argv) :- [A|_] = Argv, atom2term(A, N), parse([the, cat, chases, mice, sentence], N, 0, F), write(iterations= F), nl. The yap version and the lisp prolog version do not have the main predicate, since one can run them from the REPL. Here is the output of yap: ~/wrk/prolog/dmn$ yap -l bench.yap YAP 6.3.4 (i386-darwin12.2.1): Sun Jan 20 22:04:05 WET 2013 MYDDAS version MYDDAS-0.9.1 ?- time(parse([the, cat, chases, mice, sentence], 1000000, 0, Res)). % 0.972 CPU in 0.976 seconds ( 99% CPU) Res = 1000000 ?- The lisp prolog version also works flawlessly: CL-USER(16): (time (lisp-prolog (toplevel ?R) (parse '(the cat chases mice sentence) 1000000 0 ?R))) Evaluation took: 0.319 seconds of real time 0.318266 seconds of total run time (0.306515 user, 0.011751 system) [ Run times consist of 0.026 seconds GC time, and 0.293 seconds non-GC time. ] 99.69% CPU 795,066,893 processor cycles 287,991,664 bytes consed ?R=1000000 It works even with larger numbers: CL-USER(17): (time (lisp-prolog (toplevel ?R) (parse '(the cat chases mice sentence) 2000000 0 ?R))) Evaluation took: 0.615 seconds of real time 0.613961 seconds of total run time (0.589101 user, 0.024860 system) [ Run times consist of 0.054 seconds GC time, and 0.560 seconds non-GC time. ] 99.84% CPU 1,533,921,953 processor cycles 575,995,840 bytes consed ?R=2000000 CL-USER(18): (time (lisp-prolog (toplevel ?R) (parse '(the cat chases mice sentence) 800000 0 ?R))) Evaluation took: 0.240 seconds of real time 0.240055 seconds of total run time (0.230311 user, 0.009744 system) [ Run times consist of 0.025 seconds GC time, and 0.216 seconds non-GC time. ] 100.00% CPU 599,822,906 processor cycles 230,393,376 bytes consed ?R=800000 Now, ciao Prolog: ~/wrk/prolog$ ciaoc -S bench.pl ~/wrk/prolog$ ls -lia bench 12802106 -rwxr-xr-x 1 edu500ac staff 3826421 Jul 18 10:08 bench ~/wrk/prolog$ time ./bench 1000000 {ERROR: Memory allocation failed [in Realloc()]} real 0m0.839s user 0m0.763s sys 0m0.073s ~/wrk/prolog$ time ./bench 800000 iterations=800000 real 0m0.777s user 0m0.701s sys 0m0.071s Any suggestions? I like ciao prolog because it generates small code, compared to sbcl Lisp, or clozure Lisp. It would be great if I could increase its heap.

1 0

CFP Workshops in conjunction with SYNAS 2015 (with deadline 25 July)
by Isabela Drămnesc 18 Jul '15

18 Jul '15

Call for Papers --------------- Workshops in conjunction with SYNASC 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing September 21-24, 2015, Timisoara, Romania http://synasc.ro/2015 Important Dates --------------- 25 July 2015 : Paper submission (FIRM extended deadline) 01 August 2015 : Notification of acceptance 01 September 2015 : Registration 01 September 2015 : Revised papers according to the reviews 21-24 September 2015 : Symposium 30 November 2015 : Final papers for post-proceedings * Workshop on Agents for Complex Systems (ACSys) http://synasc.ro/2015/workshops/acsys-2015 * Workshop on Geoinformatics http://synasc.ro/2015/workshops/geoinformatics * Workshop on Iterative Approximation of Fixed Points (IAFP) http://synasc.ro/2015/workshops/iafp-2015 * Workshop on Natural Computing and Applications (NCA) http://synasc.ro/2015/workshops/nca-2015 ----------- SYNASC 2015 West University of Timisoara Department of Computer Science Bd. V. Parvan 4, 300223 Timisoara, Romania tel: + (40) 256 592195, +(40) 256 592389 fax: + (40) 256 592316, +(40) 256 592380

1 0

support for xemacs?
by Jose F. Morales 14 Jul '15

14 Jul '15

Dear Ciao users, We are considering dropping support for XEmacs (http://www.xemacs.org) in the next Ciao release and focus only on GNU Emacs ( https://www.gnu.org/software/emacs/). Please tell us if you are using Ciao with XEmacs and do not want its support to be discontinued. Thanks, -- Jose

1 0

Re: [Ciao-users] [Ciao-mailman] Emacs and OSX Yosemite
by ciao＠clip.dia.fi.upm.es 09 Jul '15

09 Jul '15

For 1.14 simply add the following to your .emacs file: (if (file-exists-p "/usr/local/lib/ciao/ciao-mode-init.el") (load-file "/usr/local/lib/ciao/ciao-mode-init.el") ) and restart emacs. "M-x ciao" should bring up the top level, .pl files should open in Ciao/Prolog mode, the source debugger and help should work, etc. In the 1.15 installer (development version) we added a message that gives the correct path. You may want to use this version in any case. Please let us know if it does not work. Cheers, --Manuel H > I've used CiaoDE-1.14.2-13646.dmg and Emacs-24.5-1-universal.dmg. > > On 08/07/2015 03:50, ciao(a)clip.dia.fi.upm.es wrote: > > > I'm trying to integrate Ciao with Emacs on Mac OSX Yosemite but am > > > unable to find information on ciao paths on Apple machines. Can anyone help? > > > > Normally the Ciao installation process takes care of this integration, > > but it depends a bit on the version of emacs . What Ciao version and > > installer (source, rpm, etc.) are you using? Also, what version of > > emacs? -- ----------------------- 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

Call for Papers PAS-2015 (Program Verification, Automated Debugging and Symbolic Computation)
by Isabela Drămnesc 09 Jul '15

09 Jul '15

PAS 2015 - Fourth International Seminar on Program Verification, Automated Debugging and Symbolic Computation Beijing, China, October 21-23, 2015 Important Dates - Submission of abstracts August 15, 2015 - Submission of papers/extended abstracts: August 20, 2015 - Notification of acceptance or rejection: September 20, 2015 - Final version due: October 10, 2015 - Seminar taking place: October 21-23, 2015 Overview PAS 2015 will provide a forum for researchers and software developers actively involved or interested in developing, using, and applying methods and software tools of symbolic computation for program verification and automated debugging to exchange ideas and views, to review the state of the art and discuss prospects, to present research results and experiments, and to build up contacts for future cooperation. The scientific program of the seminar will feature invited talks and contributed presentations. Specific topics for PAS 2015 include (but are not limited to): - Theories and methodologies for program verification and testing - Model checking, fault locating and program repairing - Symbolic computation and automated reasoning for program verification - Termination, correctness and complexity analysis of programs - Automated program synthesis and transformation - Logic and semantics for automated and algorithmic debugging - Program debugging paradigms and techniques - Symbolic constraint solving for verification and debugging - Tools, prototypes, empirical and case studies The previous seminars PAS 2012 and PAS 2013 were held in Beijing, China, and PAS 2014 was part of the Federated Logic Conference (FLoC) and the Vienna Summer of Logic. Submission Potential participants of PAS 2015 are invited to submit first half-page abstracts and then full papers or extended abstracts (3-5 pages) describing their work to be presented at the seminar. The submitted full papers and extended abstracts will be reviewed by the program committee for soundness and relevance to the seminar. Submission of original research papers is encouraged, while published material and work in progress will also be considered for presentation at the seminar. Electronic submissions are strongly preferred using EasyChair: https://easychair.org/conferences/?conf=pas20150 Accepted full papers and extended abstracts will be distributed at the seminar. Authors of the full papers and extended abstracts accepted for presentation at the seminar will be invited to submit their full and/or revised papers for publication in the post-proceedings volume as a special issue of the Journal of Symbolic Computation (JSC) after the meeting. The submitted papers will be formally reviewed by external referees according to the standard refereeing procedure of JSC. Honorary Chair Wei Li (Beihang University, China) Steering Committee Hoon Hong (North Carolina State University, USA) Tudor Jebelean (Johannes Kepler University, Austria) Jens Knoop (Technical University of Vienna, Austria) Alexander Letichevsky (Cybernetics National Academy of Sciences, Ukraine) Wei Li (Beihang University, China) Dongming Wang (Beihang University, China and CNRS, France) Program Chairs Tudor Jebelean (Johannes Kepler University, Austria) Dongming Wang (Beihang University, China and CNRS, France) Program Committee (to be announced) Local Arrangements Xiaoyu Chen (Beihang University, China) Aishan Liu ( Beihang University, China) Dan Song (Beihang University, China)

1 0

Fwd: Ciao emacs version deadlink and Configuration
by Dan Seeruttun 08 Jul '15

08 Jul '15

Hello, I am a student that uses Ciao for work purposes and I would like to share with you some concerns. I want to use Ciao with Emacs on a Windows 8 Machine First, I tried to install this version of Ciao: *CiaoDE-1.13.1-13182*. The Wizard asked me to install Emacs before but the link you provide is a dead link. It is almost impossible to find the version of Emacs you ask for (I got the version* Emacs-22-CvsP070523-EmacsW32-1.54* thanks to the site Archive.org that saved the contents. After reminding you of the dead link, I would like to know what and where is the Emacs version (if with patch or not) you recommend to use with Ciao.[image: Images intégrées 2] I have another question. In your Ciao documentation (your site), to init Emacs in a Ciao environment, you recommend to modify the .emacs file to add this line: * (load <CIAOLIBDIR>/DOTemacs)*. But it's not working and I have this error in Emacs, loaded in perl mode after. [image: Images intégrées 3] Please, can you tell me how to correct that. Best regards, Dan Seeruttun--Marie Student at UPM Madrid

1 0

Emacs and OSX Yosemite
by Karl Jones 08 Jul '15

08 Jul '15

I'm trying to integrate Ciao with Emacs on Mac OSX Yosemite but am unable to find information on ciao paths on Apple machines. Can anyone help? Thanks.

2 1

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 July 2015