Ciao-users

ciao-users@cliplab.org

948 discussions

Emacs versions
by John Sampson 22 Jan '13

22 Jan '13

I notice when installing Ciao Prolog on Windows a message that Emacs is not installed, and it wants to install Emacs 22. Is there anything wrong with more recent versions? Regards John Sampson

1 0

Trouble getting started from source packages, SVN access?
by Ian Tegebo 15 Jan '13

15 Jan '13

Firstly, I'd like to say thanks for all the work that's been made available; I'm very excited to try so many of the ambitious features of Ciao as well as the seemingly rich support for Emacs. I'm encountering various problems as I try and build from the provided source packages (both stable and development). I'm running Ubuntu 12.04 x86_64 and have tried: 1.14.2 (r13646) 1.15.0 (r15080) While I can successfully configure and build a "basic" setup, I run into trouble with the optimizing compiler, PAR_BACK, tabling, and CHR. I understand these have been marked "experimental". It also appears that the optimizing compiler is not packaged with these source distributions, so I guess it's not surprising that it would fail to compile. I started to look at the build system itself, to get a better sense of how and where to look for the real errors, but since it's not autotools or something I already know I first thought I'd try building directly from the repository. But, I was unable to find the (SVN?) repository. 1) Is there public (read-only) access to the source repository? 2) Have there been recent changes in trunk that may address compilation issues for experimental features? 3) In the case of (2 and not 1), would someone be kindly enough to cut a new source package based from the latest revision? 4) Would you like me to provide more detailed info about the errors? A few examples, CHR in 1.15: :: Compiling CHR Libraries {ERROR: create_mutable/2, arg 1 - expected an (unbound) variable, found _419} {ERROR: absolute_file_name/7, arg 1 - existence error: source_sink:chr_translate_bootstrap1.pl does not exist} Optimizing Compiler 1.15: :: Building 'optim_comp' sh: 1: cd: can't cd to /home/ian/build/CiaoDE-1.15.0-15080/optim_comp sh: 1: ./ciaotool: not found PAR_BACK 1.14: C compiler flags: -O2 -Wall -fno-strict-aliasing -fomit-frame-pointer -falign-loops=2 -falign-jumps=2 -falign-functions=2 -D_REENTRANT -DTHREADS -DFOREIGN_FILES -DANDPARALLEL -DPARBACK -DTABLING -DLINUX -Di86_64 -m32 -DHAS_MMAP -DANONYMOUS_MMAP Compiling wam.c Compiling format.c In file included from datadefs.h:20:0, from wam.c:14: termdefs.h:642:17: error: duplicate member ‘goal_list_start’ ...(more like the above) Thanks, -- Ian Tegebo

1 0

website moving
by Jose F. Morales 12 Jan '13

12 Jan '13

Dear Ciao users, We are pleased to announce the new official URL of the Ciao project http://ciao-lang.org (-lang names seems to be the preferred ones for language sites nowadays). All previous URL (http://ciaohome.org, http://cliplab.org/Software/Ciao) will still be working. They are being redirected (HTTP 301) to the new address automatically. We also plan to change our mailing list to "...(a)ciao-lang.org" addresses as soon as we finish a change of server and server location (following our change to git!) that is all still under way (that is also the reason why the rate of snapshots has been a bit irregular, but we should get back to nightly snapshots soon). Thanks for your patience in the meantime! -- Jose

1 0

Update on Arch Linux packages (stable and devel)
by Bambang Purnomosidi D P 12 Jan '13

12 Jan '13

Hi Ciao users, As I've promised previously, this weekend I put Arch Linux package - development version - of Ciao system. As usual, you may use "yaourt -S ciao-bin-devel" to install. Unfortunately, it will conflicts with stable version (they both create the same symlinks at the same location), so users should aware that they have to choose between stable or development version. Other updates: 1. Stable and development version now use the new Ciao home: ciao-lang.org 2. I put only i686 arch, no X86_64. 3. Both packages now treat info files correctly (older version will not delete info entry in /usr/share/info/dir whenever user uninstalled them). That's all. Enjoy and have fun! -- http://www.bpdp.name PGP fingerprint 4CEF 9EC8 FFB8 AB69 1396 FE5F 28CD 017C F2AB D81B Public Key ID 0xF2ABD81B

1 0

Arch Linux package for Ciao
by bpurnomo＠akakom.ac.id 11 Jan '13

11 Jan '13

Hi Ciao users, Just to inform you all, I've made a script to install Ciao in Arch Linux. Arch Linux users now can use 'yaourt -S ciao-bin' to install Ciao. No need to compile, since I took debian package and then convert it into Arch binary package. The URL is: https://aur.archlinux.org/packages/ciao-bin/ Enjoy! -- http://bpdp.name

3 4

JavaScript backend
by David Nolen 28 Dec '12

28 Dec '12

I came across this recent paper - http://arxiv.org/pdf/1210.2864.pdf Is there any documentation available on how to use this? Thanks, David

2 2

BYTECODE'13 Deadline extended (28 December)
by German Puebla 12 Dec '12

12 Dec '12

DEADLINE EXTENDED CALL FOR PAPERS BYTECODE 2013 8th Workshop on Bytecode Semantics, Verification, Analysis and Transformation A Satellite workshop of ETAPS 2013 Rome, Italy 23 March 2013 http://costa.ls.fi.upm.es/bytecode13 NEWS ==== * Science of Computer Programming has agreed to publish a special issue on Bytecode 2013 * The abstract and paper submission deadlines have been extended resp. to December the 23rd and 28th, 2012. Description of the workshop =========================== Bytecode, such as produced by e.g., Java and .NET compilers, has become an important topic of interest, both for industry and academia. The industrial interest stems from the fact that bytecode is typically used for Internet and mobile device applications (smart cards, phones, etc.), where security is a major issue. Moreover, bytecode is device independent and allows dynamic loading of classes, which provides an extra challenge for the application of formal methods. Also the unstructuredness of the code and the pervasive presence of the operand stack provide further challenges for the analysis of bytecode. This workshop will focus on theoretical and practical aspects of semantics, verification, analysis, certification and transformation of bytecode. Research on bytecode is an ideal test bench for the application of formal methods to real languages. There is a major pressure in this sense, because security is a hot topic for bytecode applications in embedded devices. However, the scientific community on bytecode semantics, verification, analysis, and transformation is currently fragmented, and researchers often come from the two distinct worlds of industry and academia. Therefore, the aim of our workshop is to let researchers and practitioners from both the industrial and the academic world present new or preliminary results and demonstrate new software tools that are of interest for the community as a whole. The workshop will be a mixture of extended abstracts, position papers, and invited presentations. The goal is to make the workshop an active discussion forum for all work related to bytecode. No formal proceedings of the workshop will be published, but selected papers might be invited for a special issue of Science of Computer Programming. Important Dates =============== Abstract submission (extended): December 23, 2012 Paper submission (extended): December 28, 2012 Notification: January 21, 2013 Final version: February 8, 2013 Submission information ====================== We solicit extended abstracts and position papers of at most 8 pages, describing work related to semantics, verification, analysis and transformation. In particular, we explicitly welcome tool demonstrations. Submissions may overlap with submissions to other conferences or journals. There will be a light-weight reviewing process, where submissions will be judged on their interest to the workshop audience. There will be no formal proceedings of the workshop. All accepted submissions will be distributed among the workshop participants. After the workshop, presenters of extended abstracts, position papers, tool demos and of invited presentations may be invited to contribute to a special issue of Science of Computer Programming. Invitations will be based on submissions and presentations. Papers can be submitted (as PDF) through easy chair https://www.easychair.org/conferences/?conf=bytecode2013 Organisers ========== Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain German Puebla, Technical University of Madrid, Spain All questions about the workshop can be addressed to them via mail: mzamalloa(a)fdi.ucm.es german(a)fi.upm.es Program Committee ================== Richard Bubel, Technische Universitat Darmstadt Andrew Craik, Oracle Labs, Brisbane, Australia Jürgen Giesl, RWTH Aachen Laurent Hubert, Prove&Run Marieke Huisman, University of Twente Francesco Logozzo, Microsoft Research Mark Marron, IMDEA Software Institute Corina Pasareanu, CMU/NASA Ames Research Center Ricardo Peña, Complutense University of Madrid David Pichardie, INRIA Rennes - Bretagne Atlantique Fausto Spoto, Dipartimento di Informatica, Verona

1 0

PLMW: Mentoring at POPL. Second Call for Participation
by Gareth Smith 04 Dec '12

04 Dec '12

Students! You have until Sunday to apply for funding to come to both POPL and PLMW! CALL FOR PARTICIPATION SIGPLAN Programming Languages Mentoring Workshop, Rome Tuesday January 22, 2013 Co-located with POPL 2013 PLMW web page: http://www.doc.ic.ac.uk/~gds/PLMW/index.html After the resounding success of the first Programming Languages Mentoring Workshop at POPL 2012, we proudly announce the 2nd SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2013 and organised by Nate Foster, Philippa Gardner, Alan Schmitt, Gareth Smith, Peter Thieman and Tobias Wrigstad. The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will provide technical sessions on cutting-edge research in programming languages, and mentoring sessions on how to prepare for a research career. We will bring together leaders in programming language research from academia and industry to give talks on their research areas. The workshop will engage students in a process of imagining how they might contribute to our research community. We especially encourage women and underrepresented minority students to attend PLMW. Since PLMW will be in Rome this year, we particularly look forward to seeing Eastern European students at the workshop. This workshop is part of the activities surrounding POPL, the Symposium on Principles of Programming Languages, and takes place the day before the main conference. One goal of the workshop is to make the POPL conference more accessible to newcomers. We hope that participants will stay through the entire conference, and will also attend the POPL tutorials on Monday 21st January which are free to PLMW registered attendees. Through the generous donation of our sponsors, we are able to provide scholarships to fund student participation. These scholarships will cover reasonable expenses (airfare, hotel and registration fees) for attendance at both the workshop and the POPL conference. Students attending this year will get one year free student membership of SIGPLAN The workshop registration is open to all. Students with alternative sources of funding are welcome. APPLICATION for PLMW scholarship: The scholarship application can be accessed from the workshop web site (http://www.doc.ic.ac.uk/~gds/PLMW/index.html). The deadline for full consideration of funding is 9th December, 2012. Selected participants will be notified from Friday 14th December, and will need to register for the workshop by December 24th. SPONSORS: Google Imperial College London Jane Street Monoidics NSF Resource Reasoning SIGPLAN vmware

1 0

Re: [Ciao-users] RPM for ciao-1.15.0(r15011) still broken & lpdoc problems
by ciao＠clip.dia.fi.upm.es 25 Nov '12

25 Nov '12

Hi John, apologies for the delay --we have been in the past few weeks very busy moving Ciao from SVN to git, which also means lots of changes in our continuous integration process, package building, installation. The move to git is allowing some nice new things but we still need some time to complete the transition. Thanks for your patience... Cheers, --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.ciaohome.org / http://www.cliplab.org -----------------------------------------------------------------------------

1 0

Re: [Ciao-users] [Ciao-bug] Successful ciao devel build, NetBSD-6.0, mods, suggestions for generality
by ciao＠clip.dia.fi.upm.es 25 Nov '12

25 Nov '12

Hi John, thanks very much for your input: we will use it to improve installation in NetBSD. We have just moved from svn to git and are in fact taking advantage of this move to improve all the installation code, so this should be very useful. Btw, this also implies significant changes in our distribution and continuous integration code, which is the reason we have been slow in putting out daily releases in the last few weeks. --Manuel H > From: jtowler(a)soncom.com (John R. Towler) > Sender: ciao-bug-mailman-bounces(a)clip.dia.fi.upm.es > To: ciao-bug(a)clip.dia.fi.upm.es > Subject: [Ciao-bug] Successful ciao devel build, NetBSD-6.0, mods, > suggestions for generality > Date: Mon, 29 Oct 2012 21:29:38 -0500 > > > Mon Oct 29 19:53:57 2012 > > Successful build after a day off and on of build system/src code admin fixes. > > John R. Towler > jtowler(a)soncom.com -- ----------------------- 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.ciaohome.org / http://www.cliplab.org -----------------------------------------------------------------------------

1 0

← Newer
1
...
17
18
19
20
21
22
23
...
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