关于Prolog匹配的问题

Question

我是prolog的新手，我正在尝试按照以下方式进行匹配：

规则（blah变量，......）。

基本上我正试图匹配原子“blah”后跟任何表达式。这可能吗？

Answer 1

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

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

例如：假设X = blahsomethingelse atom_concat（blah，Y，X）将使用somethingelse实例化Y. 请注意，atom_concat仅适用于原子。