Ciao-users June 2012

ciao-users@cliplab.org

3 participants
3 discussions

Re: [Ciao-users] [Ciao-mailman] Ciao + Lpdoc problems
by ciao＠clip.dia.fi.upm.es 25 Jun '12

25 Jun '12

A lot of questions (good!) --we answer at least some of them, rest will come later: > a. I tried to use the 1.14.2 version with lpdoc 3 > So I abandoned 1.14 and downloaded the 1.15 RPM and installed it on a Well done. Since 1.14 is now a few months old, at this point it is indeed better to go with the current snapshot (1.15.0, r14751 or later). We have fixed a lot of the issues that people have pointed out since 1.14.0 and we are getting it now ready for a 1.16 stable release. > fresh Linux system using the command: > rpm -Uvh > The installation worked fine! > Opening a .pl file with emacs showed the full Ciao menus (including > lpdoc menu items). > But I am mystified why? > I did nothing to /etc/profile or ~/.profile to call the DOT files or to > ~/.emacs to load the ciao .el files but they work. > Why do they work? Since this type of installation (rpm) is system wide the installation modifies the system-wide emacs defaults, so that any user will have emacs correctly configured for using Ciao. This is similar to what some other emacs interfaces do. > What does not work is attempts to call lpdoc. info. > I checked the main info/dir (/usr/share/info/dir) and there was an entry > for Ciao but not for lpdoc. > This may be because lpdoc has been folded into the ciao info file. No, it is still a separate manual. We tried (with the latest snapshot, 1.15.0 14751) on a fresh openSUSE 12.1 and it worked fine, producing the following two entries: Ciao System Manuals * ciao-1.15.0: (ciao-1.15.0). The Ciao System (version 1.15 of 2011/7/8) * lpdoc-3.0.0: (lpdoc-3.0.0). The lpdoc Documentation Generator (version 3.0 of 2011/7/7) and both are in /usr/share/info. It may be a glitch in a particular night build (perhaps the lpdoc manual was not generated due to some error). Please try with the current snapshot. > From the command line, the command: > info lpdoc > produces a man file! > Is this expected behaviour? Yes, this is standard info behaviour: if an info file is not found for a command and a man file exists then the man file is shown. The installation Ciao leaves simple "stub" man files for the main Ciao command line tools that point to the info files. Since the lpdoc info file was not installed the info command found the small lpdoc man file. Regarding lpdoc, the easiest way to get started is to open a .pl file in emacs and push the "generate documentation for the buffer" button or menu entry (you may need to do it twice the first time). This will generate by default documentation in html. Pushing the "view documentation..." button opens the generated documentation in a browser. Assertions can be used to easily produce richer documentation. Here is a very simple example (see the system libraries for extensive examples): > :- module(_,_,[assertions]). > > :- pred p/1 => int # "Returns a 1". > > p(1). Will continue with the other questions. Manuel H -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | Technical University of Madrid ciao(a)clip.dia.fi.upm.es | IMDEA Software Institute http://www.ciaohome.org / http://www.cliplab.org -----------------------------------------------------------------------------

1 0

WLPE 2012 - Deadline extension
by Wim Vanhoof 22 Jun '12

22 Jun '12

[Apologies for multiple copies...] * Submission deadline extended until July 1 * ----------------------------------------------------------- WLPE 2012 - CALL FOR PAPERS Workshop on Logic-based Methods in Programming Environments (satellite workshop of ICLP 2012) September 8, 2012 Budapest, Hungary http://users.dsic.upv.es/workshops/wlpe2012/ ----------------------------------------------------------- The workshop aims at providing an informal meeting for researchers working on logic-based tools for development and analysis of programs. In addition to papers describing more conceptual work on environmental tools, we solicit papers describing the implementation of and experimentation with such tools. We hope to attain the same friendly atmosphere as in past workshops, which enabled fruitful exchanges leading to joint research and subsequent publications. Areas particularly relevant to the workshop include: * static and dynamic analysis * debugging and testing * program verification and validation * code generation from specifications * termination and non-termination analysis * reasoning on occurs-check freeness and determinacy * frameworks and resources for sharing in the logic programming community * profiling and performance analysis * type- and mode analysis * shape, point-to and escape analysis * module systems * optimization tools * program understanding * refactoring * logical meta-languages Note that this list is not exhaustive and, if you are interested in taking part in the workshop but unsure if your work falls within its scope, do contact the organisers who will be happy to advise. The 22nd Workshop on Logic-based methods in Programming Environments will take place in Budapest, Hungary, as a satellite workshop of ICLP 2012, the 28the International Conference on Logic Programming. This workshop will continue the series of successful international workshops on logic programming environments held in Ohio, USA (1989), Eilat, Israel (1990), Paris, France (1991), Washington, USA (1992), Vancouver, Canada (1993), Santa Margherita Ligure, Italy (1994), Portland, USA (1995), Leuven, Belgium and Port Jefferson, USA (1997), Las Cruces, USA (1999), Paphos, Cyprus (2001), Copenhagen, Denmark (2002), Mumbai, India (2003), Saint Malo, France (2004), Sitges, Spain (2005), Seattle, Washington USA (2006), Porto, Portugal (2007), Udine, Italy (2008), Pasadena, USA (2009), Edinburgh, UK (2010), and Odense, Denmark (2011). This year WLPE will be coordinated with CICLOPS. In particular, there will be two special events organised: (a) SWI-25, a celebration and retrospective of the open source SWI-Prolog engine on the occasion of its 25th birthday, and (b) OpenPL, an event on (1) coordinating efforts towards furthering cross-engine compatibility, with a focus on libraries and add-on packages, and (2) the creation of a user-contributing repository of Prolog code. Submission guidelines --------------------- We encourage the submission of original research in the area as well as relevant results that have been submitted, rejected, or accepted elsewhere as long as they are relevant for the WLPE community. All papers must be written in English and should not exceed 15 pages. We welcome also shorter submissions, e.g., extended abstracts and short papers, of at least 3 pages. Papers should be submitted electronically via the submission page: https://www.easychair.org/conferences/?conf=wlpe2012 An informal proceedings will be distributed electronically at the workshop. After the workshop, the proceedings will be publicly available on-line in the Computing Research Repository (CoRR). Important dates --------------- Submission: July 1, 2012 Notification: July 16, 2012 Camera-ready: July 27, 2012 Workshop: September 8, 2012 Workshop organizers ------------------- Win Vanhoof Faculty of Computer Science University of Namur Namur, Belgium Email: wlpe2012(a)dsic.upv.es Alicia Villanueva Department of Computer Science (DSIC) Universitat Politècnica de València Valencia, Spain Email: wlpe2012(a)dsic.upv.es Program committee ----------------- Salvador Abreu Universidade de Évora, Portugal Petra Hofstedt University of Technology Berlin, Germany Jacob Howe City University London, UK Yoshitaka Kameya Tokyo Institute of Technology, Japan Roland Kaminski Universität Postdam, Germany Lunjin Lu Oakland University, USA Alexander Serebrenik Eindhoven University of Technology, The Netherlands Peter Schneider-Kamp University of Southern Denmark, Denmark Zoltan Somogyi University of Melbourne, Australia Win Vanhoof University of Namur, Belgium Alicia Villanueva Universitat Politècnica de València, Spain Damiano Zanardini Universidad Politécnica de Madrid, Spain

1 0

Ciao + Lpdoc problems
by John O'Gorman 20 Jun '12

20 Jun '12

Hi everyone After trying for some weeks to learn to use lpdoc, I'm forced to throw myself on the mercy of the group again! 1. On openSUSE 12.1 a. I tried to use the 1.14.2 version with lpdoc 3 The warnings that the lpdoc documentation is out of date seem only too true! In particular, I could not find a way to persuade it that lpSETTINGS.pl existed. So I abandoned 1.14 and downloaded the 1.15 RPM and installed it on a fresh Linux system using the command: rpm -Uvh The installation worked fine! Opening a .pl file with emacs showed the full Ciao menus (including lpdoc menu items). But I am mystified why? I did nothing to /etc/profile or ~/.profile to call the DOT files or to ~/.emacs to load the ciao .el files but they work. Why do they work? What does not work is attempts to call lpdoc. info. I checked the main info/dir (/usr/share/info/dir) and there was an entry for Ciao but not for lpdoc. This may be because lpdoc has been folded into the ciao info file. From the command line, the command: info lpdoc produces a man file! Is this expected behaviour? 2. Apple Mac OSX 10.6.8 The development package works OK here except that Aquamacs program displays only 2 Ciao menu items but has a >> icon which leads to the CiaoPP and Lpdoc menu items which do seem to work OK too. Is this expected behaviour. (I tried ordinary emacs but it didn't seem to pick up Ciao mode at all). Playing with the OSX Ciao, I found that setting environment vars in a terminal window did not seem to work system-wide. I realise that this question is beyond the scope of this group, but does anyone know the "correct" way to set env vars globally on the Mac? 3. CiaoPP Is this application available to play with? Regards John O'Gorman

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 June 2012