sk_out(Ex). /*~ ~*/ sk_in(foo). /*~ ~*/ :- read_attvars(true). /*~ %~ install_attvar_expander(user) ~*/ :- set_prolog_flag(access_level,system). /*~ ~*/ sk_in(avar([vn='Ex',sk='SKF-666'])). /*~ ~*/ :- listing(sk_out/1). /*~ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/quick_test/attvar_03.pfc:45 %~ skipped( listing( sk_out/1)) ~*/ :- listing(sk_in/1). /*~ %~ skipped( listing( sk_in/1)) ~*/ :- must((sk_in(VAR),get_attr(VAR,sk,What),What='SKF-666')). % EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/attvar_03.pfc % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/ATTVAR_03/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AATTVAR_03 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/633 /*~ %~ ?-( mpred_test( "Test_0001_Line_0000__sk_in_1_in_user", %~ user : ( sk_in(VAR) , %~ get_attr(VAR,sk,What) , %~ What='SKF-666'))). failure=info((why_was_true(user:(\+ (sk_in(_28522),get_attr(_28522,sk,_28544),_28544='SKF-666'))),nop(ftrace(user:(sk_in(_28522),get_attr(_28522,sk,_28544),_28544='SKF-666'))))) no_proof_for(\+ (sk_in(In_Sk),get_attr(In_Sk,sk,Attr_SKF_666),Attr_SKF_666='SKF-666')). no_proof_for(\+ (sk_in(In_Sk),get_attr(In_Sk,sk,Attr_SKF_666),Attr_SKF_666='SKF-666')). no_proof_for(\+ (sk_in(In_Sk),get_attr(In_Sk,sk,Attr_SKF_666),Attr_SKF_666='SKF-666')). name = 'logicmoo.pfc.sanity_base.quick_test.ATTVAR_03-Test_0001_Line_0000__sk_in_1_in_user'. JUNIT_CLASSNAME = 'logicmoo.pfc.sanity_base.quick_test.ATTVAR_03'. JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'attvar_03.pfc\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-sanity_base-quick_test-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_sanity_base_quick_test_ATTVAR_03_Test_0001_Line_0000_sk_in_1_in_user-junit.xml ~*/ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/quick_test/attvar_03.pfc:58 %~ unused(no_junit_results) Test_0001_Line_0000__sk_in_1_in_user result = failure. %~ test_completed_exit(8) ``` totalTime=1.000 FAILED: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k attvar_03.pfc (returned 8) Add_LABELS='' Rem_LABELS='Skipped,Skipped,Errors,Warnings,Overtime,Skipped']]> b11. /*~ ~*/ a11. /*~ ~*/ :- mpred_test(b11). /*~ %~ ?-( mpred_test("Test_0001_Line_0000__B11",baseKB:b11)). %~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/quick_test/fc_01.pfc#L14 passed=info(why_was_true(baseKB:b11)) Justifications for b11: 1.1 a11 % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/quick_test/fc_01.pfc#L12 ] 1.2 a11==>b11 % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/quick_test/fc_01.pfc#L11 ] 1.3 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/quick_test/fc_01.pfc#L12 ',12) 1.4 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/t/sanity_base/quick_test/fc_01.pfc#L11 ',11) name = 'logicmoo.pfc.sanity_base.quick_test.FC_01-Test_0001_Line_0000__B11'. JUNIT_CLASSNAME = 'logicmoo.pfc.sanity_base.quick_test.FC_01'. JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'fc_01.pfc\']"'. % saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace/test_results/jenkins/Report-logicmoo-pfc-sanity_base-quick_test-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_pfc_sanity_base_quick_test_FC_01_Test_0001_Line_0000_B11-junit.xml ~*/ :- listing(j_u:junit_prop/3). /*~ %~ skipped( listing( j_u : junit_prop/3)) ~*/ :- test_completed. /*~ %~ unused(no_junit_results) Test_0001_Line_0000__B11 result = passed. %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/quick_test/fc_01.pfc:18 %~ test_completed_exit(64) ``` totalTime=1.000 SUCCESS: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k fc_01.pfc (returned 64) Add_LABELS='' Rem_LABELS='Skipped,Errors,Warnings,Overtime,Skipped,Skipped']]> 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/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_for(call_u(bc_q(b))). %~ %~ Adding positive %~ %~ trigger: bc_p(b) %~ %~ body: rhs([ bc_q(b)]) %~ %~ Support: (bc_q(P_Q)