Hi Euler,
Yes, there is:
$ ciao-shell hw.pl
where the example hw.pl (hello world) is something like:
% hw.pl main([]) :- display('Hello world'), nl.
In *nix environments you can set the executable flag (chmod +x hw.pl) and rewrite hw.pl as:
-------- #!/usr/bin/env ciao-shell % -*- mode: ciao; -*-
main([]) :- display('Hello world'), nl. --------
Then './hw.pl' will execute the script. The second line is not needed (it just tells emacs that that code is Ciao code).
Bests,
On Thu, Aug 21, 2014 at 2:37 PM, Euler Gonçalves <goncalves.euler(a)gmail.com> wrote:
Hi man.
I have a doubt! Is there anyway or any option to load a prolog file with Ciao, in comand line? Like type: $ciao -s xxx.pl To load and execute automatic de prolog file. I Find in Swi-prolog and Yap-prolog, but I can not find in Ciao. Could help me?
Thanks
2014-08-21 1:55 GMT-03:00 John O'Gorman <john(a)og.co.nz>:
Hello to those of you who responded.
I feel a bit lonely here at the bottom of the world (in New Zealand)! I have tried out your suggestions - please see the interpolated replies down in the text.
I would still like help in debugging lpdoc. The documentation still warns that it is not up to date - so I have probably not done something necessary which is not yet documented. The documentation has remained unaltered for some years now. I've been trying for 3 years to use lpdoc. I am really keen on getting it to work. I already do a lot of documentation in LaTeX (via the LyX frontend) for the aubit4gl project as well as for past applications which I have written in Informix 4GL, one of which uses an expert system for Insurance Claims processing which I wrote in Ciao prolog and linked into the C code generated by 4GL.
Is a new version of lpdoc (or at its documentation) imminent?
Regards John O'Gorman
On 20/08/14 20:50, Remy Haemmerle wrote:
Hi John,
To load the emacs mode of recent versions of Ciao you have to include the following lines in your .emacs
(if (file-exists-p "/usr/local/lib/ciao/ciao-mode-init.el") (load-file "/usr/local/lib/ciao/ciao-mode-init.el") )
This should work with aquamacs, /usr/bin/emacs or Carbon emacs ( http://emacsformacosx.com/)
I have Aquamacs working now after changing the el files to call run-mode-hooks instead of run-hooks. The Aquamacs is a really pleasant implementation of of emacs. The /usr/bin/emacs is by comparison really impoverished (no menus, no meta key, etc).
Otherwise to use the Alt (Option) key as Meta Key under Terminal.app, do the following: Go to Preferences > Settings > Keyboard > Use option as meta key.
I tried this. No luck! The Keyboard screen was a longish list of mappings of function keys F1-F20 and shift F5-F12 and a few others, nearly all of which encoded to \033[xx (ESC sequences). There was mention of Alt.
In general you can find other useful tips about Emacs and MacOS on emacswiki.org http://www.emacswiki.org/emacs/EmacsForMacOS
I hope it will help.
Best,
Remy
8/14/14 7:07 AM, John O'Gorman:
Hi
Further problems.
I decided to try /usr/bin/emacs in place of Aquamacs. Problems The Alt (Option) key is not treated by emacs as the Meta key. (It was by Aquamacs). But ESC followed by say x did work as expected. But nothing else did. The DOTemacs.el file does not execute properly. I haven't yet figured out how to debug where emacs lisp is going wrong. Emacs version is 22.1.1 on OS X 10.9.4
Can anyone suggest how to get the Alt (Option) key to be mapped to Meta for emacs? And how can I get the load-file instructions to produce debugging messages?
Regards John O'Gorman
On 14/08/14 09:51, John O'Gorman wrote:
Hi
I started out on the journey of compiling CiaoDE source on the Mac. I immediately ran into the problem you mentioned about Clang instead of GNU gcc being supplied with Xcode.
Rather than reinstalling the gcc stuff, I will wait for your next distribution for Mac OS X 10.9.4.
Incidentally, when I tried /usr/bin/emacs it did not complain about ciao-mode but nevertheless it did not change into ciao-mode. When I tried to M-x ciao-mode it did not jump into the minibuffer. So I will continue to investigate that.
Regards John O'Gorman
On 13/08/14 11:33, ciao(a)clip.dia.fi.upm.es wrote:
This could be because Ciao is using the default Emacs on MacOS (/usr/bin/emacs) instead of Aquamacs during installation. Can you try to clean up and restart installation from scratch with:
./ciaosetup configure --menu
(you may also need to set --cc=/usr/local/Cellar/gcc/4.8.3_1/bin/gcc-4.8 or wherever your gcc is, since that 1.15 still needed gcc --newer versions compile with clang but we have not got around making a distro, sorry; this should happen shortly). Select
Please select level of interaction:
1 -- Fully automatic (recommended). 2 -- Manually configure just a minimum set of options. 3 -- Manually configure an extended set of options.INTERACTIVE_CONFIG=[1] ? 2
Select the type of installation:
global -- Install the system in a separate location from the sources and set up things to use the installed version. The system will not require the sources to run, and they can be erased after installation. local -- The system will be compiled in, and run from the sources (this is specially useful for developers).INSTYPE=[global] ? local
Registration type:
all -- Make the system available to all users. Typically you you will need to complete the installation as root. user -- Make the system available only for the current user (configure it in the user's home directory).REGISTRATION_TYPE=[user] ? user
and, simply 'enter' for everything else, except:
The version of emacs that you wish to use with Ciao. The development environment will be compiled for use with this version.
EMACS_FOR_CIAO=[/usr/bin/emacs] ?
/Applications/Aquamacs.app/Contents/MacOS/Aquamacs
(with no space at the end of the line). And then './ciaosetup build', './ciaosetup docs', './ciaosetup install'. This should work. Please let us know.
MH
Ciao-users mailing list Ciao-users(a)clip.dia.fi.upm.es http://clip.dia.fi.upm.es/cgi-bin/mailman/listinfo/ciao-users
Ciao-users mailing list Ciao-users(a)clip.dia.fi.upm.es http://clip.dia.fi.upm.es/cgi-bin/mailman/listinfo/ciao-users
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