我在序言中有一系列包含匿名变量的事实_
。
fact(a, _).
fact(b, _).
fact(c, _).
我有一些规则可以列出这些事实:
f([H | T]) :- H == fact(a, _),
% stuff %
.
但是,这是行不通的。该规则不超过第一个子句H == fact(a, _)
。我究竟做错了什么?是否有不同的相等运算符?
我在序言中有一系列包含匿名变量的事实_
。
fact(a, _).
fact(b, _).
fact(c, _).
我有一些规则可以列出这些事实:
f([H | T]) :- H == fact(a, _),
% stuff %
.
但是,这是行不通的。该规则不超过第一个子句H == fact(a, _)
。我究竟做错了什么?是否有不同的相等运算符?