I have the following Prolog program:
main :-
write("Hello"), nl.
Running this under ciao (through compilation ciaoc or in a repl ciaosh) results in printing the ASCII list representation of this string:
[72,101,108,108,111]
This, however, works as expected when running under ciao-shell with the comment:
% -*- mode: ciao; -*-
How do I specify the equivalent when running ciaoc?