非單調構造的單調替代品

以下是如何在程式中使用單調謂詞而不是不純的非單調構造的示例 ：

• dif/2 用於代替像 (\=)/2 這樣的非單調構造
• 算術約束 （CLP(FD)，CLP（Q）和其他）意味著用來代替模式算術謂詞
• !/0 幾乎總是導致非單調程式，應該完全避免。
• **** 在此時無法做出明智決策的情況下，可能會出現例項化錯誤。