SWI Prolog数据库

Question

有没有一种方法可以查询SWI Prolog数据库来检查它是否不包含元素？

我曾尝试使用“不”，但似乎不适用于此版本的Prolog。

Answer 1

也许您在寻找clause/2。一个虚拟会话样品

1 ?- [user]. 
|: a(1). 
|: a(2). 
|: a(X) :- b(X). 
|: b(3). 
|: b(4). 
% user://1 compiled 0.03 sec, 6 clauses 
true. 

2 ?- clause(a(X),Body). 
X = 1, 
Body = true ; 
X = 2, 
Body = true ; 
Body = b(X). 

3 ?- clause(b(X),Body). 
X = 3, 
Body = true ; 
X = 4, 
Body = true. 

4 ?- clause(c(X),Body). 
false. 

你可以看到，C/1没有被定义...

无论如何，SWI-Prolog的数据库是一个复杂的野兽，它提供了much more控制有关的内容。