在编写Datalog程序中,常常需要使用到比较逻辑,我目前遇到了两种,记录如下:
例如目前我有一个relation表示一个操作符是否是可交换的——canExchange(op : Oper),我想对不可交换的操作符进行检查和处理,那么我可以在rule中添加一条!canExchange(OP)。将会匹配到不可交换的操作符然后进行推理。
例如我有一个binaryExp(l : Var, op : Oper, r : Var)表示二元运算符,如果我想匹配某个二元运算表达式是否不满足某个模式,则可以利用上述的操作: !binaryExp(“a”, “+”, _)来匹配所有第一个操作数不是a且运算符不是+的表达式。同时也可以利用binaryExp(X1, OP, _),X1 != “a”, O != "+"三条规则来实现上述操作。