rhs([ { trace_or_throw( mpred_prop(baseKB,bc_p,1,pfcPosTrigger)) }]) %~ %~ Found positive trigger: mpred_prop(baseKB,bc_p,1,pfcPosTrigger) %~ %~ body: rhs([ mpred_prop(baseKB,bc_p,1,pfcWatches)]) %~ %~ RHS-Post1: mpred_prop(baseKB,bc_p,1,pfcWatches) %~ %~ Support: mpred_prop(baseKB,bc_p,1,pfcPosTrigger),$pt(baseKB,mpred_prop(baseKB,bc_p,1,pfcPosTrigger),rhs([ mpred_prop(baseKB,bc_p,1,pfcWatches)])) %~ call_mpred_post4 :- %~ level=185 , %~ que=0 , %~ assertion_status=unique , %~ support_status=none , %~ post1 = mpred_prop(baseKB,bc_p,1,pfcWatches) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = mpred_prop(baseKB,bc_p,1,pfcWatches) , %~ support_fact = mpred_prop(baseKB,bc_p,1,pfcPosTrigger) , %~ support_trig = '$pt'( baseKB, %~ mpred_prop(baseKB,bc_p,1,pfcPosTrigger), %~ rhs([mpred_prop(baseKB,bc_p,1,pfcWatches)])). %~ baseKB : mpred_fwc1( mpred_prop(baseKB,bc_p,1,pfcWatches)). %~ %~ Found positive trigger: mpred_prop(baseKB,bc_p,1,pfcWatches) %~ %~ body: \+ground((bc_p/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,bc_p,1,pfcWatches)) }]) %~ %~ Found positive trigger: mpred_prop(baseKB,bc_p,1,pfcWatches) %~ %~ body: rhs([ { kb_shared( baseKB : bc_p/1) }]) %~ call_mpred_post4 :- %~ level=302 , %~ que=0 , %~ assertion_status=unique , %~ support_status=none , %~ post1 = mpred_prop(baseKB,bc_p,1,kb_shared) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = mpred_prop(baseKB,bc_p,1,kb_shared) , %~ support_fact = mfl4(_28554,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/pfc/t/sanity_base/quick_test/bc_01.pfc',35) , %~ support_trig=ax. %~ baseKB : mpred_fwc1( mpred_prop(baseKB,bc_p,1,kb_shared)). %~ %~ Found positive trigger: mpred_prop(baseKB,bc_p,1,kb_shared) %~ %~ body: $pt(baseKB,genlMt(Call_BaseKB,baseKB),(Call_BaseKB\=baseKB*->rhs([ { nop( dmsg_pretty( Call_BaseKB : %~ %~ %~ %~ call(kb_shared,Call_BaseKB:bc_p/1))), %~ %~ show_failure( on_x_fail( Call_BaseKB : %~ %~ %~ %~ call(kb_shared,Call_BaseKB:bc_p/1))) }]))) %~ %~ Adding positive %~ %~ trigger: genlMt(BaseKB,baseKB) %~ %~ body: Call_BaseKB\=baseKB*->rhs([ { nop( dmsg_pretty( Call_BaseKB : %~ %~ %~ %~ call(kb_shared,Call_BaseKB:bc_p/1))), %~ %~ show_failure( on_x_fail( Call_BaseKB : %~ %~ %~ %~ call(kb_shared,Call_BaseKB:bc_p/1))) }]) %~ %~ Support: mpred_prop(baseKB,bc_p,1,kb_shared),$pt(baseKB,mpred_prop(baseKB,bc_p,1,kb_shared),$pt(baseKB,genlMt(Call_BaseKB,baseKB),(Call_BaseKB\=baseKB*->rhs( %~ %~ [ { nop( dmsg_pretty( Call_BaseKB : %~ %~ %~ %~ call(kb_shared,Call_BaseKB:bc_p/1))), %~ %~ show_failure( on_x_fail( Call_BaseKB : %~ %~ %~ %~ call(kb_shared,Call_BaseKB:bc_p/1))) }])))) %~ %~ Found positive trigger: mpred_prop(baseKB,bc_p,1,kb_shared) %~ %~ body: \+ground((bc_p/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,bc_p,1,kb_shared)) }]) %~ %~ Found positive trigger: mpred_prop(baseKB,bc_p,1,kb_shared) %~ %~ body: genlPreds(kb_shared,Prop_GenlPreds_Kb_shared)*->rhs([ mpred_prop(baseKB,bc_p,1,Prop_GenlPreds_Kb_shared)]) %~ %~ Found positive trigger: mpred_prop(baseKB,bc_p,1,pfcWatches) %~ %~ body: genlPreds(pfcWatches,Prop_GenlPreds_PfcWatches)*->rhs([ mpred_prop(baseKB,bc_p,1,Prop_GenlPreds_PfcWatches)]) %~ %~ Found positive trigger: mpred_prop(baseKB,bc_p,1,pfcPosTrigger) %~ %~ body: genlPreds(pfcPosTrigger,Prop_GenlPreds_PfcPosTrigger)*->rhs([ mpred_prop(baseKB,bc_p,1,Prop_GenlPreds_PfcPosTrigger)]) %~ %~ RHS-Post1: bc_q(b) %~ %~ Support: bc_p(b),$pt(baseKB,bc_p(b),rhs([ bc_q(b)])) %~ call_mpred_post4 :- %~ level=139 , %~ que=0 , %~ assertion_status=unique , %~ support_status=none , %~ post1 = bc_q(b) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = bc_q(b) , %~ support_fact = bc_p(b) , %~ support_trig = '$pt'(baseKB,bc_p(b),rhs([bc_q(b)])). %~ baseKB : mpred_fwc1( bc_q(b)). passed=info(why_was_true(baseKB:call_u(bc_q(b)))) no_proof_fo goal=baseKB:call_u(bc_q(b)). time=0.0978398323059082. passed=passed=info(why_was_true(baseKB:call_u(bc_q(b)))) no_proof_for(call_u(bc_q(b))). %~ %~ Adding positive %~ %~ trigger: bc_p(b) %~ %~ body: rhs([ bc_q(b)]) %~ %~ Support: (bc_q(P_Q)<-bc_p(P_Q)),mfl4(['N'=N],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/pfc/t/sanity_base/quick_test/bc_01.pfc#L19 ',19) %~ %~ RHS-Post1: bc_q(b) %~ %~ Support: bc_p(b),$pt(baseKB,bc_p(b),rhs([ bc_q(b)])) %~ call_mpred_post4 :- %~ level=191 , %~ que=0 , %~ assertion_status=identical , %~ support_status=exact , %~ post1 = bc_q(b) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = bc_q(b) , %~ support_fact = bc_p(b) , %~ support_trig = '$pt'(baseKB,bc_p(b),rhs([bc_q(b)])). no_proof_for(call_u(bc_q(b))). no_proof_for(call_u(bc_q(b))). result=passed. ]]>