Блог

У меня есть следующая программа пролога:

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

Выполнение этого в ciao (через компиляцию ciaoc или в repl ciaosh ) приводит к печати представления списка ASCII этой строки:

 [72,101,108,108,111]
 

Это, однако, работает так, как ожидалось, при запуске ciao-shell с комментарием:

 % -*- mode: ciao; -*-
 

Как указать эквивалент при запуске ciaoc ?

Как было сказано @paulo-moura выше, я неправильно понял значение одинарных и двойных кавычек в Прологе. Этот код корректно работает с одинарными кавычками.