prolog - 理解 clause/2 谓词

Question

我目前正在尝试学习一些 Prolog(使用 ECLiPSe)。有时我会遇到 clause/2 谓词，但我不明白它的用途。我阅读了一些引用资料(例如 this one )，但我仍然不知道它在什么情况下会有用。有人可以为我提供一个简单的例子或解释吗？

Answer 1

这个谓词允许元编程，即对您的 Prolog 程序进行推理。

SWI-Prolog 在 explain 谓词中使用 clause/2:

?- explain(member).
"member" is an atom
        Referenced from 12-th clause of pce_meta:pce_to_pl_type/3
lists:member/2 is a predicate defined in
        c:/program files/swi-prolog/library/lists.pl:81
        Referenced from 1-th clause of prolog_dialect:source_exports/2
        Referenced from 1-th clause of pce_config:term_description/2
        Referenced from 1-th clause of pce_config:config_attribute/2
        Referenced from 1-th clause of pce_config:load_config_key/2
        Referenced from 1-th clause of pce_config:term_description/3
        Referenced from 1-th clause of pce_config:current_config_path/1
        Referenced from 4-th clause of persistent_frame:has_specifier/1
true.

并在执行Constraint Handling Rules .我怀疑它对执行 inductive logic programming 也很有用以及各种其他 Prolog 扩展。

有关 Prolog 元编程的全面介绍，请参阅 Sterling 和 Shapiro 的Prolog 艺术。