prolog - Prologコロン演算子はどういう意味ですか？

Question

コロンについて説明している別の投稿を見つけましたが、表現はまったく同じに見えません。
このX変数は引数として渡すことができると思いますが、それが何をするのか興味がありますか？

X = x：2

Answer 1

モジュールがない場合、: は中置関数記号です。実行することでこれを試すことができます

?- x:2 =.. X.
X = [:, x, 2].

swi プロンプトで。

=.. 演算子の説明: 左側が任意の項 "symbol(argument1, argument2,...)" で、右側がリスト "[symbol, argument1, argument2, ...]」。

それが役に立てば幸い！