Closed irina-dragoste closed 3 years ago
For a knowedge base with facts
B1_(a, b, c, d, prov1) . B2_(a, a, c, prov2). H1_(a, n1_2_0, n1_2_0, n1_3_0, n1_4_0) . H2_(n1_3_0, n1_5_0, n1_6_0) .
and the rule true(?x1) :- B1_(?x1, ?x2, ?y1, ?y2, ?F_1), B2_(?x1, ?x1, ?y1, ?F_2), H1_(?x1, ?z1, ?z1, ?z2, ?F_3), H2_(?z2, ?z3, ?F_4) . in Rulewerk syntax , expected inference true(a) is missing. }
true(?x1) :- B1_(?x1, ?x2, ?y1, ?y2, ?F_1), B2_(?x1, ?x1, ?y1, ?F_2), H1_(?x1, ?z1, ?z1, ?z2, ?F_3), H2_(?z2, ?z3, ?F_4) .
true(a)
For a knowedge base with facts
and the rule
true(?x1) :- B1_(?x1, ?x2, ?y1, ?y2, ?F_1), B2_(?x1, ?x1, ?y1, ?F_2), H1_(?x1, ?z1, ?z1, ?z2, ?F_3), H2_(?z2, ?z3, ?F_4) .in Rulewerk syntax , expected inferencetrue(a)is missing. }