Prolog "don't-care"変数

Question

プロローグで、変数を_のインスタンスにする方法はありますか？私はスドクソルバーを作っています。数字（与えられた数字）または - （数字が与えられていない）のいずれかで読み込まれたパズルを表します。だから、パズル全体をリストのリストに読み込んだので、そのリストを関数に渡したいと思い、 ' - 'を_として渡す必要があります。入力を読み取って入力を_として保存するときに何らかの方法がありますか？たとえばのように。

get_next(X) :- 
    repeat, 
    get_char(Y), 
    (Y = '\n' -> fail 
    ; 
    Y = '-' -> X = _ 
    ; 
    X = Y 
). 

このようなものは何ですか？私はおそらく'_'を渡すと思ったが、もちろん、'_' \= _ ...どんな助けでも大歓迎です。プロローグは私にとって非常に異質です。

Answer 1

Y = ' - 'のときは、XとYを結合しないでください。それはXをインスタンス化せずに残します（最初はインスタンス化されていないと仮定します）。

get_next(X) :- 
    repeat, 
    get_char(Y), 
    (Y = '\n' -> fail 
    ; 
    Y \= '-' -> X = Y ; true 
).