Datalog 否定逻辑规则

在编写Datalog程序中，常常需要使用到比较逻辑，我目前遇到了两种，记录如下：

对某个relation的否定

例如目前我有一个relation表示一个操作符是否是可交换的——canExchange(op : Oper)，我想对不可交换的操作符进行检查和处理，那么我可以在rule中添加一条!canExchange(OP)。将会匹配到不可交换的操作符然后进行推理。

对某个Value进行否定

例如我有一个binaryExp(l : Var, op : Oper, r : Var)表示二元运算符，如果我想匹配某个二元运算表达式是否不满足某个模式，则可以利用上述的操作: !binaryExp(“a”, “+”, _)来匹配所有第一个操作数不是a且运算符不是+的表达式。同时也可以利用binaryExp(X1, OP, _)，X1 != “a”, O != "+"三条规则来实现上述操作。