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