编译时如何指定ciao语言模式

Question

我有以下 Prolog 程序：

main :- 
    write("Hello"), nl.

运行 这在 ciao 下（通过编译 ciaoc 或在 repl ciaosh 中）导致打印此字符串的 ASCII 列表表示：

[72,101,108,108,111]

但是，当 运行 在 ciao-shell 下且注释为：

时，这会按预期工作

% -*- mode: ciao; -*-

当 运行 ciaoc 时如何指定等价物？

Answer 1

正如上面@paulo-moura 所说，我误解了 Prolog 中单引号和双引号的重要性。此代码使用单引号可以正常工作。