Prolog型が互換性がありません

Question

Visual Prolog 8でエラーが発生しましたc504：式に '（） - > :: char procedure'という型があり、 ':: char'型と互換性がありません。

はそれを修正するためにどのように

implement main 
    open core, console 

class predicates 
    цикл :(). 
    print :(). 

clauses 
    цикл(). 

    print() :- 
     console::initUtf8(), 
     цикл, 
     C = readChar, 
     /* Читать символ и связывать его с переменной C */ 
     write(C), 
     C1 = convert(char, C), 
     C2 = convert(char, '\r'). 
     C1 = C2. 
     /* Является ли введенный символ возвратом каретки? fail, если нет */ 

    run() :- 
     цикл, 
     fail. 

    run() :- 
     succeed. 
     % place your own code here 

end implement main 

goal 
    mainExe::run(main::run). 

をmain.pro？

あなたがここでエラーを持っているように見える

Answer 1

：1が

として提案利用状況を見ることができます

print() :- 
     .... 
     цикл, 
     C = readChar,  % <<------- 

あなたは手動でsearching for readCharとしてこの

 C = readChar(),

のようにそれを書く必要があります明らかに、

_ = console :: read Char（）。

は、エラーメッセージが同じことを示唆しているように見える：readChar「タイプ() -> charの手順です。」ではなく、"a char"です。 Cはcharです。結果を得るためには、通常は実行する必要があります（この「実行」はコード内でrunとは無関係です）。