0 和相關的謂詞

Created: November-22, 2018

妨礙或禁止宣告性閱讀 Prolog 程式的謂詞是非邏輯的。此類謂詞的示例如下：

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

通過考慮直譯器的實際控制流程，這些謂詞只能在程式上理解，因此超出了純邏輯的範圍。