0 和相关的谓词

Created: November-22, 2018

妨碍或禁止声明性阅读 Prolog 程序的谓词是非逻辑的。此类谓词的示例如下：

!/0
(->)/2 和 if-then-else
(\+)/1

通过考虑解释器的实际控制流程，这些谓词只能在程序上理解，因此超出了纯逻辑的范围。