We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
(cd /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/pfc/t/sanity_base ; swipl -x /var/lib/jenkins/workspace/logicmoo_workspace@2/bin/lmoo-clif sv_in_arg_01e.pfc)
ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/494 EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/sv_in_arg_01e.pfc JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/SV_IN_ARG_01E/logicmoo_pfc_test_sanity_base_SV_IN_ARG_01E_JUnit/ ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ASV_IN_ARG_01E
%~ init_phase(after_load) %~ init_phase(restore_state) % running('/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/pfc/t/sanity_base/sv_in_arg_01e.pfc'), %~ this_test_might_need( :-( use_module( library(logicmoo_plarkc)))) % :- flag_call(runtime_debug=true). :- dynamic(someSV_testing/3). someSV_testing(a,b,1). someSV_testing(a,b,2). someSV_testing(a,c,3). :- mpred_trace_exec. arity(someSV_testing,3). /*~ %~ call_mpred_post4 :- %~ level=86 , %~ que=0 , %~ assertion_status=unique , %~ support_status=none , %~ post1 = arity(someSV_testing,3) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = arity(someSV_testing,3) , %~ support_fact = mfl4(_486,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/pfc/t/sanity_base/sv_in_arg_01e.pfc',47) , %~ support_trig=ax. %~ baseKB : mpred_fwc1( arity(someSV_testing,3)). %~ %~ Found positive trigger: arity(someSV_testing,3) %~ %~ body: predicateConventionMt(someSV_testing,PredicateConventionMt_SomeSV_testing)*->rhs([ { kb_global( PredicateConventionMt_SomeSV_testing : %~ %~ %~ %~ someSV_testing/3) }]) %~ %~ Found positive trigger: arity(someSV_testing,3) %~ %~ body: prologHybrid(someSV_testing)*->rhs([ { kb_shared( someSV_testing/3) }]) %~ %~ Found positive trigger: arity(someSV_testing,3) %~ %~ body: pfcControlled(someSV_testing)*->rhs([ hybrid_support(someSV_testing,3)]) %~ %~ Found positive trigger: arity(someSV_testing,3) %~ %~ body: singleValuedInArg(someSV_testing,SingleValuedInArgAX_SingleValuedInArg_SomeSV_testing)*->rhs([ singleValuedInArgAX(someSV_testing,3,SingleValuedInArgAX_SingleValuedInArg_SomeSV_testing)]) ~*/ :- cls. %~ skipped(messy_on_output,cls) :- listing(someSV_testing/3). %~ skipped( listing( someSV_testing/3)) singleValuedInArg(someSV_testing,3). %:- rtrace. /*~ %~ call_mpred_post4 :- %~ level=86 , %~ que=0 , %~ assertion_status=unique , %~ support_status=none , %~ post1 = singleValuedInArg(someSV_testing,3) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = singleValuedInArg(someSV_testing,3) , %~ support_fact = mfl4(_11840,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/pfc/t/sanity_base/sv_in_arg_01e.pfc',53) , %~ support_trig=ax. %~ baseKB : mpred_fwc1( singleValuedInArg(someSV_testing,3)). %~ %~ Found positive trigger: singleValuedInArg(someSV_testing,3) %~ %~ body: rhs([ prologSingleValued(someSV_testing)]) %~ %~ RHS-Post1: prologSingleValued(someSV_testing) %~ %~ Support: singleValuedInArg(someSV_testing,3),$pt(baseKB,singleValuedInArg(someSV_testing,3),rhs([ prologSingleValued(someSV_testing)])) %~ call_mpred_post4 :- %~ level=126 , %~ que=0 , %~ assertion_status=unique , %~ support_status=none , %~ post1 = prologSingleValued(someSV_testing) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = prologSingleValued(someSV_testing) , %~ support_fact = singleValuedInArg(someSV_testing,3) , %~ support_trig = '$pt'(baseKB,singleValuedInArg(someSV_testing,3),rhs([prologSingleValued(someSV_testing)])). %~ baseKB : mpred_fwc1( prologSingleValued(someSV_testing)). %~ %~ Found positive trigger: prologSingleValued(someSV_testing) %~ %~ body: $pt(baseKB,arity(someSV_testing,SingleValuedInArg_Arity_SomeSV_testing),(\+singleValuedInArg(someSV_testing,SingleValuedInArg_SomeSV_testing1)*->rhs( %~ %~ [ singleValuedInArg(someSV_testing,SingleValuedInArg_Arity_SomeSV_testing)]))) %~ %~ Adding positive %~ %~ trigger: arity(someSV_testing,Arity_SomeSV_testing) %~ %~ body: \+singleValuedInArg(someSV_testing,SingleValuedInArg_SomeSV_testing)*->rhs([ singleValuedInArg(someSV_testing,SingleValuedInArg_SomeSV_testing1)]) %~ %~ Support: prologSingleValued(someSV_testing),$pt(baseKB,prologSingleValued(someSV_testing),$pt(baseKB,arity(someSV_testing,SingleValuedInArg_Arity_SomeSV_testing),(\+singleValuedInArg(someSV_testing,SingleValuedInArg_SomeSV_testing1)*->rhs( %~ %~ [ singleValuedInArg(someSV_testing,SingleValuedInArg_Arity_SomeSV_testing)])))) %~ %~ Found positive trigger: prologSingleValued(someSV_testing) %~ %~ body: rhs([ tRelation(someSV_testing)]) %~ %~ RHS-Post1: tRelation(someSV_testing) %~ %~ Support: prologSingleValued(someSV_testing),$pt(baseKB,prologSingleValued(someSV_testing),rhs([ tRelation(someSV_testing)])) %~ call_mpred_post4 :- %~ level=166 , %~ que=0 , %~ assertion_status=unique , %~ support_status=none , %~ post1 = tRelation(someSV_testing) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = tRelation(someSV_testing) , %~ support_fact = prologSingleValued(someSV_testing) , %~ support_trig = '$pt'(baseKB,prologSingleValued(someSV_testing),rhs([tRelation(someSV_testing)])). %~ baseKB : mpred_fwc1( tRelation(someSV_testing)). %~ %~ Found positive trigger: tRelation(someSV_testing) %~ %~ body: $nt(tFunction(someSV_testing),call_u_no_bc(tFunction(someSV_testing)),rhs([ tPred(someSV_testing)])) %~ %~ Adding negative %~ %~ trigger: tFunction(someSV_testing) %~ %~ test: call_u_no_bc(tFunction(someSV_testing)) %~ %~ body: rhs([ tPred(someSV_testing)]) %~ %~ Support: tRelation(someSV_testing),$pt(baseKB,tRelation(someSV_testing),$nt(tFunction(someSV_testing),call_u_no_bc(tFunction(someSV_testing)),rhs( %~ %~ [ tPred(someSV_testing)]))) %~ %~ RHS-Post1: tPred(someSV_testing) %~ %~ Support: \+tFunction(someSV_testing),$nt(tFunction(someSV_testing),call_u_no_bc(tFunction(someSV_testing)),rhs([ tPred(someSV_testing)])) %~ call_mpred_post4 :- %~ level=211 , %~ que=0 , %~ assertion_status=unique , %~ support_status=none , %~ post1 = tPred(someSV_testing) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = tPred(someSV_testing) , %~ support_fact = \+( tFunction(someSV_testing)) , %~ support_trig = '$nt'( tFunction(someSV_testing), %~ call_u_no_bc( tFunction(someSV_testing)), %~ rhs([tPred(someSV_testing)])). %~ %~ Adding NEG mpred_do_fcnt via support %~ %~ trigger: tFunction(someSV_testing) %~ %~ cond: call_u_no_bc(tFunction(someSV_testing)) %~ %~ action: rhs([ tPred(someSV_testing)]) %~ %~ from: mpred_add_support_fast(tPred(someSV_testing),(\+tFunction(someSV_testing),$nt(tFunction(someSV_testing),call_u_no_bc(tFunction(someSV_testing)),rhs( %~ %~ [ tPred(someSV_testing)])))) %~ baseKB : mpred_fwc1( tPred(someSV_testing)). %~ %~ Found positive trigger: tPred(someSV_testing) %~ %~ body: rhs([ tRelation(someSV_testing)]) %~ %~ RHS-Post1: tRelation(someSV_testing) %~ %~ Support: tPred(someSV_testing),$pt(baseKB,tPred(someSV_testing),rhs([ tRelation(someSV_testing)])) %~ call_mpred_post4 :- %~ level=251 , %~ que=0 , %~ assertion_status=identical , %~ support_status = simular( ( prologSingleValued(someSV_testing) , %~ '$pt'(baseKB,prologSingleValued(someSV_testing),rhs([tRelation(someSV_testing)])))) , %~ post1 = tRelation(someSV_testing) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = tRelation(someSV_testing) , %~ support_fact = tPred(someSV_testing) , %~ support_trig = '$pt'(baseKB,tPred(someSV_testing),rhs([tRelation(someSV_testing)])). %~ %~ Found positive trigger: tPred(someSV_testing) %~ %~ body: arity(someSV_testing,2)*->rhs([ rtBinaryPredicate(someSV_testing)]) %~ %~ Found positive trigger: prologSingleValued(someSV_testing) %~ %~ body: rhs([ \+( prologMultiValued(someSV_testing))]) %~ %~ RHS-Withdrawing-Neg: prologMultiValued(someSV_testing) %~ %~ Support: prologSingleValued(someSV_testing),$pt(baseKB,prologSingleValued(someSV_testing),rhs([ \+( prologMultiValued(someSV_testing))])) %~ %~ Found positive trigger: singleValuedInArg(someSV_testing,3) %~ %~ body: arity(someSV_testing,Arity_SomeSV_testing)*->rhs([ singleValuedInArgAX(someSV_testing,Arity_SomeSV_testing,3)]) %~ %~ RHS-Post1: singleValuedInArgAX(someSV_testing,3,3) %~ %~ Support: singleValuedInArg(someSV_testing,3),$pt(baseKB,singleValuedInArg(someSV_testing,3),(arity(someSV_testing,3)*->rhs([ singleValuedInArgAX(someSV_testing,3,3)]))) %~ call_mpred_post4 :- %~ level=128 , %~ que=0 , %~ assertion_status=unique , %~ support_status=none , %~ post1 = singleValuedInArgAX(someSV_testing,3,3) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = singleValuedInArgAX(someSV_testing,3,3) , %~ support_fact = singleValuedInArg(someSV_testing,3) , %~ support_trig = '$pt'( baseKB, %~ singleValuedInArg(someSV_testing,3), %~ arity(someSV_testing,3)*->rhs([singleValuedInArgAX(someSV_testing,3,3)])). %~ baseKB : mpred_fwc1( singleValuedInArgAX(someSV_testing,3,3)). %~ %~ Found positive trigger: singleValuedInArgAX(someSV_testing,3,3) %~ %~ body: functor(SomeSV_testing,someSV_testing,3),arg(3,SomeSV_testing,Dif_Arg_Missing),replace_arg(SomeSV_testing,3,Replace_arg,Ground_Arg)*->rhs( %~ %~ [ ( ( SomeSV_testing , %~ %~ { Dif_Arg_Missing\=isMissing, %~ %~ call( dif : dif(Replace_arg,Dif_Arg_Missing)), %~ %~ call_u(Ground_Arg), %~ %~ ground(Ground_Arg) } , %~ %~ Ground_Arg) ==> %~ %~ \+Ground_Arg,SomeSV_testing)]) %~ %~ RHS-Post1: someSV_testing(SomeSV_testing1,SomeSV_testing,Dif_Testing_Missing),{Dif_Testing_Missing\=isMissing,call(dif:dif(Testing_Dif,Dif_Testing_Missing)),call_u(someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif)),ground(someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif))},someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif)==> \+someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif),someSV_testing(SomeSV_testing1,SomeSV_testing,Dif_Testing_Missing) %~ %~ Support: singleValuedInArgAX(someSV_testing,3,3),$pt(baseKB,singleValuedInArgAX(someSV_testing,3,3),(functor(someSV_testing(SomeSV_testing1,SomeSV_testing,Dif_Arg_Missing_SomeSV_testing2),someSV_testing,3),arg(3,someSV_testing(SomeSV_testing1,SomeSV_testing,Dif_Arg_Missing_SomeSV_testing2),Dif_Arg_Missing_SomeSV_testing2),replace_arg(someSV_testing(SomeSV_testing1,SomeSV_testing,Dif_Arg_Missing_SomeSV_testing2),3,Testing_Dif,someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif))*->rhs( %~ %~ [ ( ( someSV_testing(SomeSV_testing1,SomeSV_testing,Dif_Arg_Missing_SomeSV_testing2) , %~ %~ { Dif_Arg_Missing_SomeSV_testing2\=isMissing, %~ %~ call( dif : dif(Testing_Dif,Dif_Arg_Missing_SomeSV_testing2)), %~ %~ call_u( someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif)), %~ %~ ground( someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif)) } , %~ %~ someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif)) ==> %~ %~ ( \+( someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif)) , %~ %~ someSV_testing(SomeSV_testing1,SomeSV_testing,Dif_Arg_Missing_SomeSV_testing2)))]))) %~ call_mpred_post4 :- %~ level=170 , %~ que=0 , %~ assertion_status=unique , %~ support_status=none , %~ post1 = ( ( someSV_testing(SomeSV_testing1,SomeSV_testing,Testing) , %~ { Missing\=isMissing, %~ call( dif : dif(Dif,Dif1)), %~ call_u( someSV_testing(SomeSV_testing1,SomeSV_testing,Testing)), %~ ground( someSV_testing(SomeSV_testing1,SomeSV_testing,Testing)) } , %~ someSV_testing(_1840,_1842,_1730)) ==> %~ \+someSV_testing(_1840,_1842,_1730),someSV_testing(_1840,_1842,_1722)) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = ( ( someSV_testing(SomeSV_testing1,SomeSV_testing,Testing) , %~ { Missing\=isMissing, %~ call( dif : dif(Dif,Dif1)), %~ call_u( someSV_testing(SomeSV_testing1,SomeSV_testing,Testing)), %~ ground( someSV_testing(SomeSV_testing1,SomeSV_testing,Testing)) } , %~ someSV_testing(_1840,_1842,_1730)) ==> %~ \+someSV_testing(_1840,_1842,_1730),someSV_testing(_1840,_1842,_1722)) , %~ support_fact = singleValuedInArgAX(someSV_testing,3,3) , %~ support_trig = '$pt'( baseKB, %~ singleValuedInArgAX(someSV_testing,3,3), %~ ( ( functor(someSV_testing(SomeSV_testing1,SomeSV_testing,Testing),someSV_testing,3) , %~ arg(3,someSV_testing(_1840,_1842,_1722),_1722) , %~ replace_arg(someSV_testing(_1840,_1842,_1722),3,_1730,someSV_testing(_1840,_1842,_1730))) *-> %~ rhs([(someSV_testing(_1840,_1842,_1722),{_1722\=isMissing,call(dif:dif(_1730,_1722)),call_u(someSV_testing(_1840,_1842,_1730)),ground(someSV_testing(_1840,_1842,_1730))},someSV_testing(_1840,_1842,_1730)==> \+someSV_testing(_1840,_1842,_1730),someSV_testing(_1840,_1842,_1722))]))). %~ baseKB : mpred_fwc1( ( ( someSV_testing(SomeSV_testing1,SomeSV_testing,Dif_Testing_Missing) , %~ { Dif_Testing_Missing\=isMissing, %~ call( dif : dif(Testing_Dif,Dif_Testing_Missing)), %~ call_u( someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif)), %~ ground( someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif)) } , %~ someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif)) ==> %~ ( \+( someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif)) , %~ someSV_testing(SomeSV_testing1,SomeSV_testing,Dif_Testing_Missing)))). %~ call_mpred_post4 :- %~ level=228 , %~ que=0 , %~ assertion_status=unique , %~ support_status=none , %~ post1 = mpred_prop(baseKB,someSV_testing,3,pfcRHS) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = mpred_prop(baseKB,someSV_testing,3,pfcRHS) , %~ support_fact = mfl4(_13012,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/pfc/t/sanity_base/sv_in_arg_01e.pfc',53) , %~ support_trig=ax. %~ baseKB : mpred_fwc1( mpred_prop(baseKB,someSV_testing,3,pfcRHS)). %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,pfcRHS) %~ %~ body: \+ground((someSV_testing/3))*->rhs([ { trace_or_throw( mpred_prop(baseKB,someSV_testing,3,pfcRHS)) }]) %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,pfcRHS) %~ %~ body: rhs([ mpred_prop(baseKB,someSV_testing,3,pfcCreates)]) %~ %~ RHS-Post1: mpred_prop(baseKB,someSV_testing,3,pfcCreates) %~ %~ Support: mpred_prop(baseKB,someSV_testing,3,pfcRHS),$pt(baseKB,mpred_prop(baseKB,someSV_testing,3,pfcRHS),rhs([ mpred_prop(baseKB,someSV_testing,3,pfcCreates)])) %~ call_mpred_post4 :- %~ level=268 , %~ que=0 , %~ assertion_status=unique , %~ support_status=none , %~ post1 = mpred_prop(baseKB,someSV_testing,3,pfcCreates) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = mpred_prop(baseKB,someSV_testing,3,pfcCreates) , %~ support_fact = mpred_prop(baseKB,someSV_testing,3,pfcRHS) , %~ support_trig = '$pt'( baseKB, %~ mpred_prop(baseKB,someSV_testing,3,pfcRHS), %~ rhs([mpred_prop(baseKB,someSV_testing,3,pfcCreates)])). %~ baseKB : mpred_fwc1( mpred_prop(baseKB,someSV_testing,3,pfcCreates)). %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,pfcCreates) %~ %~ body: \+ground((someSV_testing/3))*->rhs([ { trace_or_throw( mpred_prop(baseKB,someSV_testing,3,pfcCreates)) }]) %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,pfcCreates) %~ %~ body: rhs([ { baseKB : warn_if_static(someSV_testing,3) }, %~ %~ { kb_shared( baseKB : someSV_testing/3) }]) %~ call_mpred_post4 :- %~ level=380 , %~ que=0 , %~ assertion_status=unique , %~ support_status=none , %~ post1 = mpred_prop(baseKB,someSV_testing,3,kb_shared) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = mpred_prop(baseKB,someSV_testing,3,kb_shared) , %~ support_fact = ( mfl4(_482,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/pfc/t/sanity_base/sv_in_arg_01e.pfc',53) , %~ ax) , %~ support_trig = mfl4(_1008,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/pfc/t/sanity_base/sv_in_arg_01e.pfc',53). %~ baseKB : mpred_fwc1( mpred_prop(baseKB,someSV_testing,3,kb_shared)). %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,kb_shared) %~ %~ body: $pt(baseKB,genlMt(Call_BaseKB,baseKB),(Call_BaseKB\=baseKB*->rhs([ { nop( dmsg_pretty( Call_BaseKB : %~ %~ %~ %~ call(kb_shared,Call_BaseKB:someSV_testing/3))), %~ %~ show_failure( on_x_fail( Call_BaseKB : %~ %~ %~ %~ call(kb_shared,Call_BaseKB:someSV_testing/3))) }]))) %~ %~ Adding positive %~ %~ trigger: genlMt(BaseKB,baseKB) %~ %~ body: Call_BaseKB\=baseKB*->rhs([ { nop( dmsg_pretty( Call_BaseKB : %~ %~ %~ %~ call(kb_shared,Call_BaseKB:someSV_testing/3))), %~ %~ show_failure( on_x_fail( Call_BaseKB : %~ %~ %~ %~ call(kb_shared,Call_BaseKB:someSV_testing/3))) }]) %~ %~ Support: mpred_prop(baseKB,someSV_testing,3,kb_shared),$pt(baseKB,mpred_prop(baseKB,someSV_testing,3,kb_shared),$pt(baseKB,genlMt(Call_BaseKB,baseKB),(Call_BaseKB\=baseKB*->rhs( %~ %~ [ { nop( dmsg_pretty( Call_BaseKB : %~ %~ %~ %~ call(kb_shared,Call_BaseKB:someSV_testing/3))), %~ %~ show_failure( on_x_fail( Call_BaseKB : %~ %~ %~ %~ call(kb_shared,Call_BaseKB:someSV_testing/3))) }])))) %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,kb_shared) %~ %~ body: \+ground((someSV_testing/3))*->rhs([ { trace_or_throw( mpred_prop(baseKB,someSV_testing,3,kb_shared)) }]) %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,kb_shared) %~ %~ body: genlPreds(kb_shared,Prop_GenlPreds_Kb_shared)*->rhs([ mpred_prop(baseKB,someSV_testing,3,Prop_GenlPreds_Kb_shared)]) %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,pfcCreates) %~ %~ body: genlPreds(pfcCreates,Prop_GenlPreds_PfcCreates)*->rhs([ mpred_prop(baseKB,someSV_testing,3,Prop_GenlPreds_PfcCreates)]) %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,pfcRHS) %~ %~ body: genlPreds(pfcRHS,Prop_GenlPreds_PfcRHS)*->rhs([ mpred_prop(baseKB,someSV_testing,3,Prop_GenlPreds_PfcRHS)]) %~ %~ RHS-Post1: mpred_prop(baseKB,someSV_testing,3,pfcControlled) %~ %~ Support: mpred_prop(baseKB,someSV_testing,3,pfcRHS),$pt(baseKB,mpred_prop(baseKB,someSV_testing,3,pfcRHS),(genlPreds(pfcRHS,pfcControlled)*->rhs( %~ %~ [ mpred_prop(baseKB,someSV_testing,3,pfcControlled)]))) %~ call_mpred_post4 :- %~ level=270 , %~ que=0 , %~ assertion_status=unique , %~ support_status=none , %~ post1 = mpred_prop(baseKB,someSV_testing,3,pfcControlled) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = mpred_prop(baseKB,someSV_testing,3,pfcControlled) , %~ support_fact = mpred_prop(baseKB,someSV_testing,3,pfcRHS) , %~ support_trig = '$pt'( baseKB, %~ mpred_prop(baseKB,someSV_testing,3,pfcRHS), %~ ( genlPreds(pfcRHS,pfcControlled) *-> %~ rhs([mpred_prop(baseKB,someSV_testing,3,pfcControlled)]))). %~ baseKB : mpred_fwc1( mpred_prop(baseKB,someSV_testing,3,pfcControlled)). %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,pfcControlled) %~ %~ body: \+ground((someSV_testing/3))*->rhs([ { trace_or_throw( mpred_prop(baseKB,someSV_testing,3,pfcControlled)) }]) %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,pfcControlled) %~ %~ body: rhs([ { kb_shared( baseKB : someSV_testing/3) }]) %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,pfcControlled) %~ %~ body: genlPreds(pfcControlled,Prop_GenlPreds_PfcControlled)*->rhs([ mpred_prop(baseKB,someSV_testing,3,Prop_GenlPreds_PfcControlled)]) %~ %~ RHS-Post1: mpred_prop(baseKB,someSV_testing,3,prologHybrid) %~ %~ Support: mpred_prop(baseKB,someSV_testing,3,pfcControlled),$pt(baseKB,mpred_prop(baseKB,someSV_testing,3,pfcControlled),(genlPreds(pfcControlled,prologHybrid)*->rhs( %~ %~ [ mpred_prop(baseKB,someSV_testing,3,prologHybrid)]))) %~ call_mpred_post4 :- %~ level=312 , %~ que=0 , %~ assertion_status=unique , %~ support_status=none , %~ post1 = mpred_prop(baseKB,someSV_testing,3,prologHybrid) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = mpred_prop(baseKB,someSV_testing,3,prologHybrid) , %~ support_fact = mpred_prop(baseKB,someSV_testing,3,pfcControlled) , %~ support_trig = '$pt'( baseKB, %~ mpred_prop(baseKB,someSV_testing,3,pfcControlled), %~ ( genlPreds(pfcControlled,prologHybrid) *-> %~ rhs([mpred_prop(baseKB,someSV_testing,3,prologHybrid)]))). %~ baseKB : mpred_fwc1( mpred_prop(baseKB,someSV_testing,3,prologHybrid)). %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,prologHybrid) %~ %~ body: \+ground((someSV_testing/3))*->rhs([ { trace_or_throw( mpred_prop(baseKB,someSV_testing,3,prologHybrid)) }]) %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,prologHybrid) %~ %~ body: genlPreds(prologHybrid,Prop_GenlPreds_PrologHybrid)*->rhs([ mpred_prop(baseKB,someSV_testing,3,Prop_GenlPreds_PrologHybrid)]) %~ %~ RHS-Post1: mpred_prop(baseKB,someSV_testing,3,prologHybrid) %~ %~ Support: mpred_prop(baseKB,someSV_testing,3,pfcRHS),$pt(baseKB,mpred_prop(baseKB,someSV_testing,3,pfcRHS),(genlPreds(pfcRHS,prologHybrid)*->rhs( %~ %~ [ mpred_prop(baseKB,someSV_testing,3,prologHybrid)]))) %~ call_mpred_post4 :- %~ level=270 , %~ que=0 , %~ assertion_status=identical , %~ support_status = simular( ( mpred_prop(baseKB,someSV_testing,3,pfcControlled) , %~ '$pt'( baseKB, %~ mpred_prop(baseKB,someSV_testing,3,pfcControlled), %~ genlPreds(pfcControlled,prologHybrid)*->rhs([mpred_prop(baseKB,someSV_testing,3,prologHybrid)])))) , %~ post1 = mpred_prop(baseKB,someSV_testing,3,prologHybrid) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = mpred_prop(baseKB,someSV_testing,3,prologHybrid) , %~ support_fact = mpred_prop(baseKB,someSV_testing,3,pfcRHS) , %~ support_trig = '$pt'( baseKB, %~ mpred_prop(baseKB,someSV_testing,3,pfcRHS), %~ genlPreds(pfcRHS,prologHybrid)*->rhs([mpred_prop(baseKB,someSV_testing,3,prologHybrid)])). %~ call_mpred_post4 :- %~ level=225 , %~ que=0 , %~ assertion_status=unique , %~ support_status=none , %~ post1 = mpred_prop(baseKB,someSV_testing,3,pfcLHS) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = mpred_prop(baseKB,someSV_testing,3,pfcLHS) , %~ support_fact = ( ( ( someSV_testing(SomeSV_testing1,SomeSV_testing,Testing) , %~ { Missing\=isMissing, %~ call( dif : dif(Dif,Dif1)), %~ call_u( someSV_testing(SomeSV_testing1,SomeSV_testing,Testing)), %~ ground( someSV_testing(SomeSV_testing1,SomeSV_testing,Testing)) } , %~ someSV_testing(_4492,_4494,_4538)) ==> %~ \+someSV_testing(_4492,_4494,_4538),someSV_testing(_4492,_4494,_4496)) , %~ mfl4(_4608,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/pfc/t/sanity_base/sv_in_arg_01e.pfc',53)) , %~ support_trig=ax. %~ baseKB : mpred_fwc1( mpred_prop(baseKB,someSV_testing,3,pfcLHS)). %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,pfcLHS) %~ %~ body: \+ground((someSV_testing/3))*->rhs([ { trace_or_throw( mpred_prop(baseKB,someSV_testing,3,pfcLHS)) }]) %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,pfcLHS) %~ %~ body: rhs([ arity(someSV_testing,3), %~ %~ functorIsMacro(someSV_testing), %~ %~ mpred_prop(baseKB,someSV_testing,3,pfcWatches)]) %~ %~ RHS-Post1: arity(someSV_testing,3) %~ %~ Support: mpred_prop(baseKB,someSV_testing,3,pfcLHS),$pt(baseKB,mpred_prop(baseKB,someSV_testing,3,pfcLHS),rhs([ arity(someSV_testing,3), %~ %~ functorIsMacro(someSV_testing), %~ %~ mpred_prop(baseKB,someSV_testing,3,pfcWatches)])) %~ call_mpred_post4 :- %~ level=265 , %~ que=0 , %~ assertion_status=identical , %~ support_status = simular( ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/pfc/t/sanity_base/sv_in_arg_01e.pfc',47) , %~ ax)) , %~ post1 = arity(someSV_testing,3) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = arity(someSV_testing,3) , %~ support_fact = mpred_prop(baseKB,someSV_testing,3,pfcLHS) , %~ support_trig = '$pt'( baseKB, %~ mpred_prop(baseKB,someSV_testing,3,pfcLHS), %~ rhs( [ arity(someSV_testing,3), %~ functorIsMacro(someSV_testing), %~ mpred_prop(baseKB,someSV_testing,3,pfcWatches)])). %~ %~ RHS-Post1: functorIsMacro(someSV_testing) %~ %~ Support: mpred_prop(baseKB,someSV_testing,3,pfcLHS),$pt(baseKB,mpred_prop(baseKB,someSV_testing,3,pfcLHS),rhs([ arity(someSV_testing,3), %~ %~ functorIsMacro(someSV_testing), %~ %~ mpred_prop(baseKB,someSV_testing,3,pfcWatches)])) %~ call_mpred_post4 :- %~ level=266 , %~ que=0 , %~ assertion_status=unique , %~ support_status=none , %~ post1 = functorIsMacro(someSV_testing) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = functorIsMacro(someSV_testing) , %~ support_fact = mpred_prop(baseKB,someSV_testing,3,pfcLHS) , %~ support_trig = '$pt'( baseKB, %~ mpred_prop(baseKB,someSV_testing,3,pfcLHS), %~ rhs( [ arity(someSV_testing,3), %~ functorIsMacro(someSV_testing), %~ mpred_prop(baseKB,someSV_testing,3,pfcWatches)])). %~ baseKB : mpred_fwc1( functorIsMacro(someSV_testing)). %~ %~ RHS-Post1: mpred_prop(baseKB,someSV_testing,3,pfcWatches) %~ %~ Support: mpred_prop(baseKB,someSV_testing,3,pfcLHS),$pt(baseKB,mpred_prop(baseKB,someSV_testing,3,pfcLHS),rhs([ arity(someSV_testing,3), %~ %~ functorIsMacro(someSV_testing), %~ %~ mpred_prop(baseKB,someSV_testing,3,pfcWatches)])) %~ call_mpred_post4 :- %~ level=267 , %~ que=0 , %~ assertion_status=unique , %~ support_status=none , %~ post1 = mpred_prop(baseKB,someSV_testing,3,pfcWatches) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = mpred_prop(baseKB,someSV_testing,3,pfcWatches) , %~ support_fact = mpred_prop(baseKB,someSV_testing,3,pfcLHS) , %~ support_trig = '$pt'( baseKB, %~ mpred_prop(baseKB,someSV_testing,3,pfcLHS), %~ rhs( [ arity(someSV_testing,3), %~ functorIsMacro(someSV_testing), %~ mpred_prop(baseKB,someSV_testing,3,pfcWatches)])). %~ baseKB : mpred_fwc1( mpred_prop(baseKB,someSV_testing,3,pfcWatches)). %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,pfcWatches) %~ %~ body: \+ground((someSV_testing/3))*->rhs([ { trace_or_throw( mpred_prop(baseKB,someSV_testing,3,pfcWatches)) }]) %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,pfcWatches) %~ %~ body: rhs([ { kb_shared( baseKB : someSV_testing/3) }]) %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,pfcWatches) %~ %~ body: genlPreds(pfcWatches,Prop_GenlPreds_PfcWatches)*->rhs([ mpred_prop(baseKB,someSV_testing,3,Prop_GenlPreds_PfcWatches)]) %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,pfcLHS) %~ %~ body: genlPreds(pfcLHS,Prop_GenlPreds_PfcLHS)*->rhs([ mpred_prop(baseKB,someSV_testing,3,Prop_GenlPreds_PfcLHS)]) %~ %~ Adding positive %~ %~ trigger: someSV_testing(SomeSV_testing1,SomeSV_testing,Testing) %~ %~ body: Testing_Dif_Missing\=isMissing,call(dif:dif(Testing_Dif,Testing_Dif_Missing)),call_u(someSV_testing(SomeSV_testing3,SomeSV_testing,Testing_Dif)),ground(someSV_testing(SomeSV_testing3,SomeSV_testing,Testing_Dif))*-> $pt(baseKB,someSV_testing(SomeSV_testing3,SomeSV_testing,Testing_Dif),rhs( %~ %~ [ \+( someSV_testing(SomeSV_testing3,SomeSV_testing,Testing_Dif)), %~ %~ someSV_testing(SomeSV_testing3,SomeSV_testing,Testing_Dif_Missing)])) %~ %~ Support: (someSV_testing(SomeSV_testing1,SomeSV_testing,Dif_Testing_Missing),{Dif_Testing_Missing\=isMissing,call(dif:dif(Testing_Dif,Dif_Testing_Missing)),call_u(someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif)),ground(someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif))},someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif)==> \+someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif),someSV_testing(SomeSV_testing1,SomeSV_testing,Dif_Testing_Missing)),mfl4(BaseKB,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/blob/master@2/packs_sys/pfc/t/sanity_base/sv_in_arg_01e.pfc#L53 ',53) %~ call_mpred_post4 :- %~ level=231 , %~ que=0 , %~ assertion_status=unique , %~ support_status=none , %~ post1 = mpred_prop(baseKB,someSV_testing,3,pfcPosTrigger) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = mpred_prop(baseKB,someSV_testing,3,pfcPosTrigger) , %~ support_fact = ( ( ( someSV_testing(SomeSV_testing1,SomeSV_testing,Testing) , %~ { Missing\=isMissing, %~ call( dif : dif(Dif,Dif1)), %~ call_u( someSV_testing(SomeSV_testing1,SomeSV_testing,Testing)), %~ ground( someSV_testing(SomeSV_testing1,SomeSV_testing,Testing)) } , %~ someSV_testing(_2998,_3000,_3044)) ==> %~ \+someSV_testing(_2998,_3000,_3044),someSV_testing(_2998,_3000,_3002)) , %~ mfl4(_2974,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/pfc/t/sanity_base/sv_in_arg_01e.pfc',53)) , %~ support_trig=ax. %~ baseKB : mpred_fwc1( mpred_prop(baseKB,someSV_testing,3,pfcPosTrigger)). %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,pfcPosTrigger) %~ %~ body: \+ground((someSV_testing/3))*->rhs([ { trace_or_throw( mpred_prop(baseKB,someSV_testing,3,pfcPosTrigger)) }]) %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,pfcPosTrigger) %~ %~ body: rhs([ mpred_prop(baseKB,someSV_testing,3,pfcWatches)]) %~ %~ RHS-Post1: mpred_prop(baseKB,someSV_testing,3,pfcWatches) %~ %~ Support: mpred_prop(baseKB,someSV_testing,3,pfcPosTrigger),$pt(baseKB,mpred_prop(baseKB,someSV_testing,3,pfcPosTrigger),rhs([ mpred_prop(baseKB,someSV_testing,3,pfcWatches)])) %~ call_mpred_post4 :- %~ level=271 , %~ que=0 , %~ assertion_status=identical , %~ support_status = simular( ( mpred_prop(baseKB,someSV_testing,3,pfcLHS) , %~ '$pt'( baseKB, %~ mpred_prop(baseKB,someSV_testing,3,pfcLHS), %~ rhs( [ arity(someSV_testing,3), %~ functorIsMacro(someSV_testing), %~ mpred_prop(baseKB,someSV_testing,3,pfcWatches)])))) , %~ post1 = mpred_prop(baseKB,someSV_testing,3,pfcWatches) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = mpred_prop(baseKB,someSV_testing,3,pfcWatches) , %~ support_fact = mpred_prop(baseKB,someSV_testing,3,pfcPosTrigger) , %~ support_trig = '$pt'( baseKB, %~ mpred_prop(baseKB,someSV_testing,3,pfcPosTrigger), %~ rhs([mpred_prop(baseKB,someSV_testing,3,pfcWatches)])). %~ %~ Found positive trigger: mpred_prop(baseKB,someSV_testing,3,pfcPosTrigger) %~ %~ body: genlPreds(pfcPosTrigger,Prop_GenlPreds_PfcPosTrigger)*->rhs([ mpred_prop(baseKB,someSV_testing,3,Prop_GenlPreds_PfcPosTrigger)]) %~ %~ Adding positive %~ %~ trigger: someSV_testing(a,b,2) %~ %~ body: rhs([ \+( someSV_testing(a,b,2)), %~ %~ someSV_testing(a,b,1)]) %~ %~ Support: someSV_testing(a,b,1),$pt(baseKB,someSV_testing(SomeSV_testing1,SomeSV_testing,Dif_Testing_Missing),(Dif_Testing_Missing\=isMissing,call(dif:dif(Testing_Dif,Dif_Testing_Missing)),call_u(someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif)),ground(someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif))*-> $pt(baseKB,someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif),rhs( %~ %~ [ \+( someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif)), %~ %~ someSV_testing(SomeSV_testing1,SomeSV_testing,Dif_Testing_Missing)])))) %~ %~ RHS-Withdrawing-Neg: someSV_testing(a,b,2) %~ %~ Support: someSV_testing(a,b,2),$pt(baseKB,someSV_testing(a,b,2),rhs([ \+( someSV_testing(a,b,2)), %~ %~ someSV_testing(a,b,1)])) %~ %~ Removing support: mfl4(BaseKB,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/blob/master@2/packs_sys/pfc/t/sanity_base/sv_in_arg_01e.pfc#L42 ',42),ax %~ %~ Which was for: someSV_testing(a,b,2) %~ %~ RHS-Post1: someSV_testing(a,b,1) %~ %~ Support: someSV_testing(a,b,2),$pt(baseKB,someSV_testing(a,b,2),rhs([ \+( someSV_testing(a,b,2)), %~ %~ someSV_testing(a,b,1)])) %~ call_mpred_post4 :- %~ level=228 , %~ que=0 , %~ assertion_status=identical , %~ support_status = simular( ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/pfc/t/sanity_base/sv_in_arg_01e.pfc',41) , %~ ax)) , %~ post1 = someSV_testing(a,b,1) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = someSV_testing(a,b,1) , %~ support_fact = someSV_testing(a,b,2) , %~ support_trig = '$pt'( baseKB, %~ someSV_testing(a,b,2), %~ rhs( [ \+( someSV_testing(a,b,2)), %~ someSV_testing(a,b,1)])). %~ %~ Adding positive %~ %~ trigger: someSV_testing(a,b,1) %~ %~ body: rhs([ \+( someSV_testing(a,b,1)), %~ %~ someSV_testing(a,b,2)]) %~ %~ Support: someSV_testing(a,b,2),$pt(baseKB,someSV_testing(SomeSV_testing1,SomeSV_testing,Dif_Testing_Missing),(Dif_Testing_Missing\=isMissing,call(dif:dif(Testing_Dif,Dif_Testing_Missing)),call_u(someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif)),ground(someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif))*-> $pt(baseKB,someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif),rhs( %~ %~ [ \+( someSV_testing(SomeSV_testing1,SomeSV_testing,Testing_Dif)), %~ %~ someSV_testing(SomeSV_testing1,SomeSV_testing,Dif_Testing_Missing)])))) %~ %~ RHS-Withdrawing-Neg: someSV_testing(a,b,1) %~ %~ Support: someSV_testing(a,b,1),$pt(baseKB,someSV_testing(a,b,1),rhs([ \+( someSV_testing(a,b,1)), %~ %~ someSV_testing(a,b,2)])) %~ %~ Removing support: mfl4(BaseKB,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/blob/master@2/packs_sys/pfc/t/sanity_base/sv_in_arg_01e.pfc#L41 ',41),ax %~ %~ Which was for: someSV_testing(a,b,1) %~ success( mpred_undo1_pt_unfwc_2, %~ baseKB : retract_u( '$pt'(baseKB,someSV_testing(a,b,2),rhs([\+someSV_testing(a,b,2),someSV_testing(a,b,1)])))). %~ %~ RHS-Post1: someSV_testing(a,b,2) %~ %~ Support: someSV_testing(a,b,1),$pt(baseKB,someSV_testing(a,b,1),rhs([ \+( someSV_testing(a,b,1)), %~ %~ someSV_testing(a,b,2)])) %~ call_mpred_post4 :- %~ level=228 , %~ que=0 , %~ assertion_status=unique , %~ support_status=none , %~ post1 = someSV_testing(a,b,2) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = someSV_testing(a,b,2) , %~ support_fact = someSV_testing(a,b,1) , %~ support_trig = '$pt'( baseKB, %~ someSV_testing(a,b,1), %~ rhs( [ \+( someSV_testing(a,b,1)), %~ someSV_testing(a,b,2)])). %~ baseKB : mpred_fwc1( someSV_testing(a,b,2)). %~ %~ Found positive trigger: someSV_testing(a,b,2) %~ %~ body: 2\=isMissing,call(dif:dif(Testing_B,2)),call_u(someSV_testing(a,b,Testing_B)),ground(someSV_testing(a,b,Testing_B))*-> $pt(baseKB,someSV_testing(a,b,Testing_B),rhs( %~ %~ [ \+( someSV_testing(a,b,Testing_B)), %~ %~ someSV_testing(a,b,2)])) %~ %~ Found positive trigger: singleValuedInArg(someSV_testing,3) %~ %~ body: 3\=isMissing,call(dif:dif(SingleValuedInArg_SomeSV_testing,3)),call_u(singleValuedInArg(someSV_testing,SingleValuedInArg_SomeSV_testing)),ground(singleValuedInArg(someSV_testing,SingleValuedInArg_SomeSV_testing))*-> $pt(baseKB,singleValuedInArg(someSV_testing,SingleValuedInArg_SomeSV_testing),rhs( %~ %~ [ \+( singleValuedInArg(someSV_testing,SingleValuedInArg_SomeSV_testing)), %~ %~ singleValuedInArg(someSV_testing,3)])) ~*/ %:- rtrace. someSV_testing(a,c,4). /*~ %~ call_mpred_post4 :- %~ level=86 , %~ que=0 , %~ assertion_status=unique , %~ support_status=none , %~ post1 = someSV_testing(a,c,4) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = someSV_testing(a,c,4) , %~ support_fact = mfl4(_494,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/pfc/t/sanity_base/sv_in_arg_01e.pfc',56) , %~ support_trig=ax. %~ baseKB : mpred_fwc1( someSV_testing(a,c,4)). %~ %~ Found positive trigger: someSV_testing(a,c,4) %~ %~ body: 4\=isMissing,call(dif:dif(Testing_C,4)),call_u(someSV_testing(a,c,Testing_C)),ground(someSV_testing(a,c,Testing_C))*-> $pt(baseKB,someSV_testing(a,c,Testing_C),rhs( %~ %~ [ \+( someSV_testing(a,c,Testing_C)), %~ %~ someSV_testing(a,c,4)])) %~ %~ Adding positive %~ %~ trigger: someSV_testing(a,c,3) %~ %~ body: rhs([ \+( someSV_testing(a,c,3)), %~ %~ someSV_testing(a,c,4)]) %~ %~ Support: someSV_testing(a,c,4),$pt(baseKB,someSV_testing(a,c,4),(4\=isMissing,call(dif:dif(3,4)),call_u(someSV_testing(a,c,3)),ground(someSV_testing(a,c,3))*-> $pt(baseKB,someSV_testing(a,c,3),rhs( %~ %~ [ \+( someSV_testing(a,c,3)), %~ %~ someSV_testing(a,c,4)])))) %~ %~ RHS-Withdrawing-Neg: someSV_testing(a,c,3) %~ %~ Support: someSV_testing(a,c,3),$pt(baseKB,someSV_testing(a,c,3),rhs([ \+( someSV_testing(a,c,3)), %~ %~ someSV_testing(a,c,4)])) %~ %~ Removing support: mfl4(BaseKB,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/blob/master@2/packs_sys/pfc/t/sanity_base/sv_in_arg_01e.pfc#L43 ',43),ax %~ %~ Which was for: someSV_testing(a,c,3) %~ %~ RHS-Post1: someSV_testing(a,c,4) %~ %~ Support: someSV_testing(a,c,3),$pt(baseKB,someSV_testing(a,c,3),rhs([ \+( someSV_testing(a,c,3)), %~ %~ someSV_testing(a,c,4)])) %~ call_mpred_post4 :- %~ level=134 , %~ que=0 , %~ assertion_status=identical , %~ support_status = simular( ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/pfc/t/sanity_base/sv_in_arg_01e.pfc',56) , %~ ax)) , %~ post1 = someSV_testing(a,c,4) , %~ fix_mp=baseKB , %~ mz=baseKB , %~ p0 = someSV_testing(a,c,4) , %~ support_fact = someSV_testing(a,c,3) , %~ support_trig = '$pt'( baseKB, %~ someSV_testing(a,c,3), %~ rhs( [ \+( someSV_testing(a,c,3)), %~ someSV_testing(a,c,4)])). ~*/ :- listing(someSV_testing/3). %~ skipped( listing( someSV_testing/3)) :- sanity(someSV_testing(a,c,4)). :- sanity( someSV_testing(a,b,1)). :- sanity( \+ someSV_testing(a,b,2)). %:- mpred_notrace_exec. %~ unused(no_junit_results) %~ test_completed_exit(0)
totalTime=1.000
FAILED: /var/lib/jenkins/workspace/logicmoo_workspace@2/bin/lmoo-junit-minor -k sv_in_arg_01e.pfc (returned 0) Add_LABELS='' Rem_LABELS='Skipped,Skipped,Errors,Warnings,Overtime,Skipped,Skipped'
The text was updated successfully, but these errors were encountered:
No branches or pull requests
(cd /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/pfc/t/sanity_base ; swipl -x /var/lib/jenkins/workspace/logicmoo_workspace@2/bin/lmoo-clif sv_in_arg_01e.pfc)
ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/494
EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/sv_in_arg_01e.pfc
JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/SV_IN_ARG_01E/logicmoo_pfc_test_sanity_base_SV_IN_ARG_01E_JUnit/
ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ASV_IN_ARG_01E
totalTime=1.000
FAILED: /var/lib/jenkins/workspace/logicmoo_workspace@2/bin/lmoo-junit-minor -k sv_in_arg_01e.pfc (returned 0) Add_LABELS='' Rem_LABELS='Skipped,Skipped,Errors,Warnings,Overtime,Skipped,Skipped'
The text was updated successfully, but these errors were encountered: