Datalog 否定逻辑规则

发布时间:2024年01月23日

在编写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 != "+"三条规则来实现上述操作。

文章来源:https://blog.csdn.net/weixin_45207619/article/details/135771436
本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。