网站缩写的英文,国内最大ae模板下载网站,设计欣赏论文,阿里云服务器做网站外网访问慢在编写Datalog程序中#xff0c;常常需要使用到比较逻辑#xff0c;我目前遇到了两种#xff0c;记录如下#xff1a;
对某个relation的否定
例如目前我有一个relation表示一个操作符是否是可交换的——canExchange(op : Oper)#xff0c;我想对不可交换的操作符进行检查…在编写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 ! 三条规则来实现上述操作。
