在Prolog中,可以通过下面的代码示例在规则中添加附加检查:
rule(A, B) :- A > 0, B > 0, A + B =< 10.
% 添加附加检查 rule(A, B) :- rule(A, B), ( A =:= 1 ; B =:= 1).
% 再添加一个附加检查 rule(A, B) :- rule(A, B), ( A =:= 2 ; B =:= 2).
上述代码中,rule(A,B)表示一个规则,它需要满足A和B均大于0且A+B小于等于10。而在后面的两个rule(A,B)中,分别加入了两个附加检查,判断A或B是否等于1或2。若不满足这些附加条件,则规则不会匹配成功,也不会被使用。