关于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仅适用于原子。