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