How to specify ciao language mode for compilation

Question

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?

Look into the documentation of the `double_quotes` Prolog flag. — Paulo Moura, Jul 28 '21 at 07:41

score 0 · Accepted Answer · answered Jul 28 '21 at 07:57

0

As addressed by @paulo-moura above, I misunderstood the significance of single vs double-quotes in Prolog. This code works correctly with single quotes.

answered Jul 28 '21 at 07:57

Regan Koopmans

451
6
16

How to specify ciao language mode for compilation

1 Answers1