確定節文法、SWI-Prologの7の相違点と古い

Question

はSWIでの検索

:- set_prolog_flag(double_quotes, codes). 
letter(X) --> [C], {"a"=<C, C=<"z", name(X,[C])}. 

を働いています-Prologウェブサイト私が見つかりました：

Mode--------------double_quotes-----------back_quotes 
Version 7 default-----string------------------codes 
--traditional----------codes--------------symbol_char 

をなぜ

letter(X) --> [C], {`a`=<C, C=<`z`, name(X,[C])}. 

は動作しません。

Answer 1

だけのは、等価な式（ゴール組み合わせ）をテストでき、コンテキストを簡素化する

?- C=0'd, `a` =< C, C =< `z`. 
C = 100. 

それが働いているようだ...

?- [user]. 
letter(X) --> [C], {`a`=<C, C=<`z`, name(X,[C])}. 
|: ^Dtrue. 

?- phrase(letter(X), `d`). 
X = d.