Ciao-users

ciao-users@cliplab.org

948 discussions

Re: [Ciao-users] Non-emacs Ciao users
by ciao＠clip.dia.fi.upm.es 25 Nov '12

25 Nov '12

> I like Ciao but I don't like emacs and will not use it. The Ciao tools themselves (compiler/interpreter/documenter etc.) are command line, so they can be used without emacs (and many users do). The emacs environment is just a shell on top and thus not necessary (but it provides a lot of convenience of course). People have been successful using the tools in diverse environments. For example, an Eclipse plugin for Ciao was developed here: http://eclipse.ime.usp.br/projetos/grad/plugin-prolog/index.html What environment/tools/platform do you normally use? --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

Non-emacs Ciao users
by mcculloch 25 Nov '12

25 Nov '12

I like Ciao but I don't like emacs and will not use it. Will I be all alone in this? Are there other Ciao users that don't use emacs? Thanks, John -- View this message in context: http://old.nabble.com/Non-emacs-Ciao-users-tp34718458p34718458.html Sent from the Ciao Prolog - Users mailing list archive at Nabble.com.

1 0

Call for Participation: Programming Languages Mentoring Workshop - a POPL workshop.
by Gareth Smith 17 Nov '12

17 Nov '12

Apologies for any duplicates: 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: Imperial College London Jane Street Monoidics NSF Resource Reasoning SIGPLAN vmware

1 0

A little library for text processing
by Christian Giménez 08 Nov '12

08 Nov '12

Hi to all Ciao Prolog Users! I am working on a project for creating a little HTTP server called Pillowcase. But I steped on a problem: I don't know of any library for processing text! I want some predicates for spliting strings(for example: split_string("Hello word, how are you?", " ", ["Hello", "word,", "how", "are", "you?"] is true)), or extracting substrings, things like that. As far as I searched, I just found some for processing lists, like append and so on. So, I create some predicates for working with HTTP responses/request that may be useful for processing text in general as well. You can use it for searching the end of line, end of word, spliting strings. The module is still under heavy development, but you can take a look at it at the Pillowcase project. * If you know of any text processing library that I can use, please tell me! * If you want to add these predicates to your libraries/programs, there's no problem: has GPL license. Pillowcase is working if you want to try it, is in a pre-alpha state, but the latest version works with a very simplistic HTTP request/responses. Where to find these things: * The module file is called "pc_text_processing.pl" * Go to the download area of the Pillowcase project: http://download.savannah.gnu.org/releases/pillowcase/pc_text_processing.pl * Find it at the Pillowcase source code. * The Pillowcase project: https://savannah.nongnu.org/projects/pillowcase/ http://hg.savannah.gnu.org/hgweb/pillowcase/ Cheers! -- ---------------------------------- We are all so much together and yet we are all dying of loneliness. -- A. Schweitzer ----------------------------------

1 0

Re: [Ciao-users] RPM for ciao-1.15.0(r15011) still broken & lpdoc problems
by John O'Gorman 15 Oct '12

15 Oct '12

Hi I've loaded the current RPM (r15028) and the problem persists. That's not a show-stopper as I can still supply the ciao-site-file.el myself. But I still cannot get to 1st base with lpdoc. I realise that the documentation is out of date but I would welcome some guidance: 1. From the command line, lpdoc -d doc_structure=ex dvi Produces the error: {ERROR absolute_file_name/7, arg 1 - existence error: source-sink:\ library(prelude) does not exist } Similarly if I change dvi to html. 1. From within emacs (from the command: emacs ex.pl) when I take the menu option: Generate Documentation for Buffer: a. The minibuffer reports: Generating documentation for buffer...Done b. A shell buffer is created showing: cd /tmp/lpdoc_ex.pl_1_xxxxxxxxxxx where xxxxx... is a pid If I type: ls the shell responds: SETTINGS.pl c. Nothing further happens! 2. If I take the menu option: Generate Documentation a. The same behaviour as above occurs The file ex.pl is a copy of your lpdoc example file. Regards John O'Gorman

1 0

RPM for ciao-1.15.0(r15011) still broken
by John O'Gorman 05 Oct '12

05 Oct '12

Hi I managed to get the above working by 1. Downloading the source 2. Finding in Attic a file: ciao-mode-init.el.skel 3. Copying that to /usr/lib/ciao/ciao-1.15/ciao-site-file.el Now running the command: emacs hello.pl loaded ciao-mode and displayed the ciao menus. This is not very principled and I didn't really know what I was doing. But I hope it helps you to find and fix the problem correctly in the RPM Best wishes John O'Gorman

2 1

RPM for ciao-1.15.0(r15011) still broken
by John O'Gorman 04 Oct '12

04 Oct '12

Hi My system: SUSE12.1 with emacs 23.3.1 ciao runs OK. But the command: emacs hello.pl does not invoke ciao-mode. C-h m reveals that we are in Perl mode. The problem seems to be that we are missing a file: ciao-site-file.el The installation has created the following: /usr/share/emacs/site-lisp/ suse-start-ciao.el site-start.d/ ciao-mode-init.el Both suse-start-ciao.el and ciao-mode-init.el have the same contents: (if (file-exists-p "/usr/lib/ciao/ciao-1.15/ciao-site-file.el") (load-file "/usr/lib/ciao/ciao-1.15/ciao-site-file.el") ) ciao-site-file.el is not there (and does not show up when I run the command: rpm -qpl CiaoDE-1.15.0-r15011.i386.rpm) John O'Gorman

1 0

Re: [Ciao-users] Ciao development v 1.15.0(r14929) RPM broken
by John O'Gorman 24 Sep '12

24 Sep '12

Hi Team Further to my previous report -- I have found that Patch r14888 has the same symptoms Patch r14782 works as expected (emacs loads ciao-mode OK and shows Ciao menus) Hope that helps! John O'Gorman

2 1

Very basic introductory material about Ciao.
by John Mark Agosta 23 Sep '12

23 Sep '12

As a person teaching themselves prolog, after a few hours of reading manuals and searching the web, I still have some very rudimentary questions about how to use Ciao: 1) Is there a way to do manual entry of predicates in the interpreter, as one would do by using ?- [user]. in GNU-prolog? How does one name these two modes, one for manual entry, and one for running the interpreter? I am aware that I can invoke ciao in emacs via $ emacs -f ciao -or- $ emacs my_prolog_program.pl and that this works well. 2) Are there command line arguments to ciao, ciao-sh, etc.? The man page offers a wonderful advertisement for the tool, but no documentation of the executable, or related executables. 3) Can anyone point to a step by step tutorial on running a ciao session that points out how it differs in usage from other prolog tools? Thanks in advance -john mark agosta

3 3

Re: [Ciao-users] [Ciao-mailman] Very basic introductory material about Ciao.
by ciao＠clip.dia.fi.upm.es 22 Sep '12

22 Sep '12

> way is to use rlwrap around the top level: > > rlwarp ciao Sorry, I introduced a typo here, it is: rlwrap ciao 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

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