比较Prolog中的变量和谓词

Question

我想检查一个变量，比如X，是否是表单add（）的谓词。我如何检查这是否属实？ X == add（）不起作用，X也不是add（_）。我怎样才能实现这种比较？

Answer 1

这样做的一般通用方法是：

Specific = add(_), ..., subsumes_term(add(_Any), Specific).

通常，人们会将此优化为：

Specific = add(_), ..., nonvar(Specific), Specific = add(_).

但在一般情况下，您需要subsumes_term/2