關於Prolog匹配的問題

Question

我是prolog的新品，我試圖按照以下方式進行匹配：

rule（blah Variable，...）。

基本上我試圖匹配原子「等等」後跟任何表達式。這可能嗎？

Answer 1

如果您正在使用SWI可以使用atom_concat/3：

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

例如爲：假設X = blahsomethingelse然後 atom_concat（胡說，Y，X）將實例Ÿ用什麼東西。 請注意，atom_concat僅適用於原子。