Prolog：为什么这个谓词显示为真？答案

【问题标题】：Prolog: Why is this predicate showing up as true?Prolog：为什么这个谓词显示为真？
【发布时间】：2021-03-31 18:03:55
【问题描述】：

所以我在 SWI prolog 中编写了这个谓词，目的是如果它的参数是一个没有任何原子

no_atoms(X):- var(X), !, fail.
no_atoms(X):- atom(X); number(X).
no_atoms(X+Y):- no_atoms(X), no_atoms(Y).
no_atoms(X-Y):- no_atoms(X), no_atoms(Y).

要测试这个 no_atoms(5-(3+x)) 应该是假的， no_atoms((12+8)-7) 应该是真的，但是两者都是真的，我不确定有什么问题？

【问题讨论】：

【解决方案1】：

如果在术语X 没有原子时目标no_atoms(X) 必须成功，则必须消除no_atoms/1 定义的第二个子句中的条件atom(X)。

no_atoms(X) :- var(X), !, fail.
no_atoms(X) :- number(X).
no_atoms(X+Y) :- no_atoms(X), no_atoms(Y).
no_atoms(X-Y) :- no_atoms(X), no_atoms(Y).

运行示例：

?- no_atoms((12+8)-7).
true.

?- no_atoms(5-(3+x)).
false.

?- no_atoms(X).
false.

另外，由于变量不是原子，或许更好的定义如下：

no_atoms(X) :- var(X), !.
no_atoms(X) :- number(X).
no_atoms(X+Y) :- no_atoms(X), no_atoms(Y).
no_atoms(X-Y) :- no_atoms(X), no_atoms(Y).

运行示例：

?- no_atoms((12+8)-7).
true.

?- no_atoms(5-(3+x)).
false.

?- no_atoms(X).
true.

【讨论】：