本文主要是介绍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 != "+"三条规则来实现上述操作。
这篇关于Datalog 否定逻辑规则的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
