prolog - 如何查找数据库中所有prolog规则

Question

假设我有一个事实数据库，至少包含:

fact1(A) :- !, A=ok.
fact2(B) :- !, B=ok.

如何枚举该数据库中的所有事实？理想情况下，我有一个可以使用的谓词:

?- all_rules( Head :- Tail).
Head=fact1(_G100),
Tail=(!, _G100=ok) ;
Head=fact2(_G101),
Tail=(!, _G101=ok)
....followed by all other predicates in other modules loaded...

我找到了current_predicate/1 ，但我不知道这实际上是在做什么......

Answer 1

这取决于您所使用的精确 Prolog 系统。只要您只想查看定义，listing/0 就可以在许多系统中使用。但 listing/0 仅打印文本。 clause/2 通常仅适用于动态声明的谓词。