2011-02-09 14 views
0

私はプロローグの新作です。私はこれに沿って何かを試してみようとしています。プロローグのマッチングについての質問

ルール(可変変数、...)。

基本的には、 "blah"というアトムと任意の式を一致させようとしています。これは可能ですか?

+1

そうは思われません。あなたが何をしたいのかを説明し、正しい構文を支援することができます。 –

答えて

0

あなたはatom_concat/3を使用することができますSWIを使用している場合:

rule(X, ....):- 
    atom_concat(blah, Y, X), 
    ... 

例えば:X = blahsomethingelseその後、 atom_concat(何とか、Y、X)はsomethingelseとYをインスタンス化しますと仮定します。 atom_concatはアトムのみで動作することに注意してください。