Compare是二元谓词。
既然这样，一旦CompareOther写好了，只需要写一个二元谓词将比较函数包装起来就可以了。
Now, if I may continue, once the CompareOther function has been written, the faithful needs only to write a binary predicate to wrap the comparison function.
换句话说，就是通过引入相应的谓词，将二元关系的性质用逻辑公式来表示。
In other words properties of binary relation are expressed by logic formulae through introduce corresponding predicate.
应用推荐