0
私はプロローグの新作です。私はこれに沿って何かを試してみようとしています。プロローグのマッチングについての質問
ルール(可変変数、...)。
基本的には、 "blah"というアトムと任意の式を一致させようとしています。これは可能ですか?
私はプロローグの新作です。私はこれに沿って何かを試してみようとしています。プロローグのマッチングについての質問
ルール(可変変数、...)。
基本的には、 "blah"というアトムと任意の式を一致させようとしています。これは可能ですか?
あなたはatom_concat/3を使用することができますSWIを使用している場合:
rule(X, ....):-
atom_concat(blah, Y, X),
...
例えば:X = blahsomethingelseその後、 atom_concat(何とか、Y、X)はsomethingelseとYをインスタンス化しますと仮定します。 atom_concatはアトムのみで動作することに注意してください。
そうは思われません。あなたが何をしたいのかを説明し、正しい構文を支援することができます。 –