StackOverflow 文件 Prolog Language 教程 邏輯純度 DIF2 DIF2 Created: November-22, 2018 謂詞 dif/2 是一個純謂詞：它可以在所有方向上使用，並且具有所有例項化模式，總是意味著它的兩個引數是不同的。 統一邏輯純度