Position binary predicate shape, edit reading, connect roles, and add constraints.
定位三元谓词形状、编辑读数、连接角色和添加约束。
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.
既然这样，一旦CompareOther写好了，只需要写一个二元谓词将比较函数包装起来就可以了。
In other words properties of binary relation are expressed by logic formulae through introduce corresponding predicate.
换句话说，就是通过引入相应的谓词，将二元关系的性质用逻辑公式来表示。
In other words properties of binary relation are expressed by logic formulae through introduce corresponding predicate.
换句话说，就是通过引入相应的谓词，将二元关系的性质用逻辑公式来表示。
应用推荐