I have recently installed ciao-prolog on my mac os x and my ubuntu machines. I just want to know if command line history a la UNIX shells (e.g. CTRL-R and up cursor) is implemented at all in ciaosh since they don't seem to work in both of my machines.
We do not include command line history in the shell itself since this is provided by the gui interface (e.g., emacs) and is easy to provide that externally. For example, you can run:
emacs -f ciao
and you will get a top level in a window with full command line history (CTRL and up cursor, CTRL and down cursor, etc.), plus all of the Ciao emacs mode goodies, if you want to use them (e.g., the source level debugger, direct access to the documenter, editing, etc.).
If you are in a terminal and you do not want to open a separate emacs window you can also do:
emacs -nw -f ciao
Hope this helps.