Ciao-users

ciao-users@cliplab.org

948 discussions

Using [persdb_mysql] Library
by Rami Saad 20 Dec '15

20 Dec '15

Dear Ciao, I need your help ... I think I missed something here. I installed the following: 1. Linux Ubuntu 15.04 2. MySQL 3. Emacs 4. Ciao packages last stable version (Debian-based Linux (Ubuntu, XUbuntu, Knoppix) - Version - *CiaoDE-1.14.2-13646.i386.deb*) from (Ciao-Lang.org) and I installed it using (Ubuntu Software Center) just one click. 5. Finally, I tested some simple programs and it worked fine My *issue* is that, all the samples that included mysql_clientI gave the following error: {ERROR: absolute_file_name/7, arg 1 - existence error: source_sink:library(persdb_mysql(linker_opts_auto)) does not exist} Please advice ... Thank you in advance ... B. R

1 0

ld: cannot find -lmysqlclient
by Arthur Wang 11 Dec '15

11 Dec '15

Hi Dear All: I'm trying to test persmysql, but failed with error: use_module(persmysql). /usr/bin/ld: cannot find -lmysqlclient collect2: error: ld returned 1 exit status {Dynamic link failed} I've installed libmysqlclient18, and there exists configuration under /etc/ld.so.conf.d. I'll appreciate very much if you could tell me how to fix this issue. Thank you very much! Arthur Wang

2 1

Connecting RDBMs via Ciao
by Rami Saad 10 Dec '15

10 Dec '15

Hello dear all, I'm doing some PhD research in prologue integration efficiency and I'm asking about the ability of connecting Ciao with the RDBMs (MySQL, MS SQL Server, Oracle .. etc.) and doing some queries and returning the data-sets results back to the Ciao program. Kindly provide me with materials or samples that may help Thank you in advance Best Regards, Rami Saad PhD Student

2 1

Re: [Ciao-users] ciaoengine.exe for mac
by Jose F. Morales 23 Oct '15

23 Oct '15

Dear Alejandro, The file plserver.bat is a wrapper for executing the 'plserver' Ciao bytecode executable from Windows. For Mac (like any other Unix system) it would be enough to recompile 'plserver' (if not done before). Cheers, On Fri, Oct 23, 2015 at 11:17 AM, Jose F. Morales <jfmcjf(a)gmail.com> wrote: > Dear Alejandro, > > The file plserver.bat is a wrapper for executing the 'plserver' Ciao > bytecode executable from Windows. For Mac (like any other Unix system) it > would be enough to recompile 'plserver' (if not done before). > > Cheers, > > On Fri, Oct 23, 2015 at 7:33 AM, alejandro hernandez munuera < > hernimunuera(a)hotmail.com> wrote: > >> Hi, >> >> >> I am having some problems using the plserver in my computer. The point is >> that the paths defined in plserver.bat in order to find the file >> ciaoengine.exe doesn't work. Could you tell me where >> is ciaoengine.exe usually in a mac computer and if it has the same name?. >> >> Cheers >> >> _______________________________________________ >> 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 > > -- > Jose > >

1 0

ciaoengine.exe for mac
by alejandro hernandez munuera 23 Oct '15

23 Oct '15

Hi, I am having some problems using the plserver in my computer. The point is that the paths defined in plserver.bat in order to find the file ciaoengine.exe doesn't work. Could you tell me where is ciaoengine.exe usually in a mac computer and if it has the same name?. Cheers

1 0

PAS 2015 in Beijing - deadline extended to Aug 30
by Isabela Drămnesc 21 Aug '15

21 Aug '15

PAS 2015 - Fourth International Seminar on Program Verification, Automated Debugging and Symbolic Computation Beijing, China, October 21-23, 2015 http://pas2015.cc4cm.org/ Important Dates - Submission of papers/extended abstracts: August 30, 2015 (firm extended) - 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 Sandra Alves, University of Porto, Portugal Alessandro Armando, University of Genova, Italy Armin Biere, Johannes Kepler University, Linz, Austria Xiaoyu Chen, Beihang University, Beijing, China Stefan Ciobaca, University A. I. Cuza, Iasi, Romania Isabela Dramnesc, West University of Timisoara, Romania Madalina Erascu, West University of Timisoara, Romania Mario Florido, University of Porto, Portugal Martin Giese, University of Oslo, Norway Fairouz Kamareddine, Heriot-Watt University, Edinburgh, Scotland Jens Knoop, Technical University of Vienna, Austria Boris Konev, University of Liverpool, England Laura Kovacs, Chalmers University of Technology, Sweden Gabor Kusper, Eszterhazy Karoly College, Eger, Hungary Oleksandr Letychevskyi, Glushkov Institute of Cybernetics, Kiev, Ukraine Dorel Lucanu, University A. I. Cuza, Iasi, Romania Jie Luo, Beihang University, Beijing, China Alexander Maletzky, Johannes Kepler University, Linz, Austria Mircea Marin, West University of Timisoara, Romania Marius Minea, Politehnica University of Timisoara, Romania Grant Passmore, University of Cambridge, England Vladimir Peschanenko, Kherson State University, Russia Judit Robu, Babes-Bolyai University, Cluj, Romania Michael Rusinowitch, LORIA - INRIA Nancy, France Vlad Rusu, INRIA, Lille, France Wolfgang Schreiner, Johannes Kepler University, Linz, Austria Martina Seidl, Johannes Kepler University, Linz, Austria Viorica Sofronie-Stokkermans, University of Koblenz, Germany Kaile Su, Griffith University, Bribane, Australia Wolfgang Windsteiger, Johannes Kepler University, Linz, Austria Naijun Zhan, Chinese Academy of Sciences, Beijing, China Local Arrangements Xiaoyu Chen (Beihang University, China) Aishan Liu ( Beihang University, China) Dan Song (Beihang University, China)

1 0

CFP: PAS 2015 (Program Verification, Automated Debugging and Symbolic Computation) - deadline 15/20 August
by Isabela Drămnesc 04 Aug '15

04 Aug '15

PAS 2015 - Fourth International Seminar on Program Verification, Automated Debugging and Symbolic Computation Beijing, China, October 21-23, 2015 http://pas2015.cc4cm.org/ 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 Sandra Alves, University of Porto, Portugal Alessandro Armando, University of Genova, Italy Armin Biere, Johannes Kepler University, Linz, Austria Xiaoyu Chen, Beihang University, Beijing, China Stefan Ciobaca, University A. I. Cuza, Iasi, Romania Isabela Dramnesc, West University of Timisoara, Romania Madalina Erascu, West University of Timisoara, Romania Mario Florido, University of Porto, Portugal Martin Giese, University of Oslo, Norway Fairouz Kamareddine, Heriot-Watt University, Edinburgh, Scotland Jens Knoop, Technical University of Vienna, Austria Boris Konev, University of Liverpool, England Laura Kovacs, Chalmers University of Technology, Sweden Gabor Kusper, Eszterhazy Karoly College, Eger, Hungary Oleksandr Letychevskyi, Glushkov Institute of Cybernetics, Kiev, Ukraine Dorel Lucanu, University A. I. Cuza, Iasi, Romania Jie Luo, Beihang University, Beijing, China Alexander Maletzky, Johannes Kepler University, Linz, Austria Mircea Marin, West University of Timisoara, Romania Marius Minea, Politehnica University of Timisoara, Romania Grant Passmore, University of Cambridge, England Vladimir Peschanenko, Kherson State University, Russia Judit Robu, Babes-Bolyai University, Cluj, Romania Michael Rusinowitch, LORIA - INRIA Nancy, France Vlad Rusu, INRIA, Lille, France Wolfgang Schreiner, Johannes Kepler University, Linz, Austria Martina Seidl, Johannes Kepler University, Linz, Austria Viorica Sofronie-Stokkermans, University of Koblenz, Germany Kaile Su, Griffith University, Bribane, Australia Wolfgang Windsteiger, Johannes Kepler University, Linz, Austria Naijun Zhan, Chinese Academy of Sciences, Beijing, China Local Arrangements Xiaoyu Chen (Beihang University, China) Aishan Liu ( Beihang University, China) Dan Song (Beihang University, China)

1 0

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

← Newer
1
...
7
8
9
10
11
12
13
...
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