StackOverflow 文档 Prolog Language 教程 逻辑纯度 DIF2 DIF2 Created: November-22, 2018 谓词 dif/2 是一个纯谓词：它可以在所有方向上使用，并且具有所有实例化模式，总是意味着它的两个参数是不同的。 统一逻辑纯度