Ciao-users September 2012

ciao-users@cliplab.org

6 participants
5 discussions

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

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

22 Sep '12

> Well, I can unequivocally say that the interest I had in Ciao as of a few days > ago has utterly vanished as a result of hearing that Emacs is, for all > practical purposes, required. Just to clarify things: Ciao does not require emacs in any way! The top level, the debugger, the standalone compiler, the documenter, the preprocessor, etc. are all command line tools and can all be used from a terminal, from a Makefile, or from a script for that matter. The reason why line editing and command history are not provided directly by the Ciao top level is because we have always believed that this is an orthogonal functionality that people like to get in their different, favourite ways (rlwrap, emacs, vim, eclipse, etc.). E.g., if you would like to have command line editing in a terminal, a simple way is to use rlwrap around the top level: rlwarp ciao And you can always just use emacs as a glorified terminal with: emacs -f ciao (this should just start a window with the top level). Regarding help, the Ciao manuals are in pdf and html and are very well indexed so it is straightforward to find help on anything, be it through the indexes or using search --no need for emacs! There are simple man pages for the command line tools, although admittedly they mostly point to the 'real' manuals available in pdf or html (or inf). Having said all that, we also provide a very nice graphical environment, based on emacs, which gives you many other things. People have also developed a Ciao environment for Eclipse with syntax coloring, source debugging, etc., and which is also used for other systems supporting Prolog, and there is Prolog support in vim, etc. Hope this helps people out there -- we will be glad to provide more help on how to use Ciao from the command line if needed. Also, as Jose pointed out, if there is user demand for including editing and manual access directly in the top level, it is straightforward to do, so please let us know! Manuel Hermenegildo -- ----------------------- 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

Example of custom grammar
by Mark Green 20 Sep '12

20 Sep '12

Hi, Is there any example of using the parser control predicates to customize the Ciao grammar? Thanks, Mark.

2 3

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