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控制有關的內容。