logicmoo_workspace
logicmoo_workspace copied to clipboard
Published
20 hours ago •
logicmoo
logicmoo
logicmoo.base.examples.fol.ZENLS_01Z JUnit
trafficstars
(cd /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['zenls_01z.pfc.pl']")
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.base.examples.fol/ZENLS_01Z/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AZENLS_01Z % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/415
%~ init_phase(after_load)
%~ init_phase(restore_state)
%
%~ init_why(after_boot,program)
%~ after_boot.
%~ Dont forget to ?- logicmoo_i_cyc_xform.
running('/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl'),
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))
/*
:- use_module(library(pce)).
:- use_module(library(gui_tracer)).
:- use_module(library(pce_debug)).
:- use_module(library(pce_emacs)).
:- use_module(library(trace/trace)).
:- use_module(library(emacs/window)).
:- use_module(library(emacs/emacs)).
:- use_module(library(swi_ide)).
:- emacs_toplevel.
% :- guitracer,leash(-all),visible(-all),trace,member(_,[_]),!,notrace,leash(+all),visible(+all).
*/
:- expects_dialect(pfc).
/*~
~*/
:- ensure_mpred_file_loaded('logicmoo/pfc/autoexec.pfc').
% :- ensure_mpred_file_loaded('logicmoo/pfc/system_genls.pfc').
/*~
~*/
% :- ensure_mpred_file_loaded('logicmoo/pfc/system_genls.pfc').
:- mpred_trace_exec.
% :- mpred_autoload(genls/2).
/*~
~*/
% :- mpred_autoload(genls/2).
tCol(tFly).
/*~
%~ call_mpred_post4 :-
%~ level=86 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tCol(tFly) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tCol(tFly) ,
%~ support_fact = mfl4(_454,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',24) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( tCol(tFly)).
%~ %~ Found positive trigger: tCol(tFly)
%~ %~ body: rhs([ { decl_type(tFly),
%~ %~ kb_shared( tFly/1) }])
%~ call_mpred_post4 :-
%~ level=194 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tFly,1,kb_shared) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tFly,1,kb_shared) ,
%~ support_fact = ( mfl4(_454,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',24) ,
%~ ax) ,
%~ support_trig = mfl4(_982,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',24).
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tFly,1,kb_shared)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,kb_shared)
%~ %~ body: $pt(baseKB,genlMt(Call_BaseKB,baseKB),(Call_BaseKB\=baseKB*->rhs([ { nop( dmsg_pretty( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tFly/1))),
%~ %~ show_failure( on_x_fail( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tFly/1))) }])))
%~ %~ Adding positive
%~ %~ trigger: genlMt(BaseKB,baseKB)
%~ %~ body: Call_BaseKB\=baseKB*->rhs([ { nop( dmsg_pretty( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tFly/1))),
%~ %~ show_failure( on_x_fail( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tFly/1))) }])
%~ %~ Support: mpred_prop(baseKB,tFly,1,kb_shared),$pt(baseKB,mpred_prop(baseKB,tFly,1,kb_shared),$pt(baseKB,genlMt(Call_BaseKB,baseKB),(Call_BaseKB\=baseKB*->rhs(
%~ %~ [ { nop( dmsg_pretty( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tFly/1))),
%~ %~ show_failure( on_x_fail( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tFly/1))) }]))))
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,kb_shared)
%~ %~ body: \+ground((tFly/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tFly,1,kb_shared)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,kb_shared)
%~ %~ body: genlPreds(kb_shared,Prop_GenlPreds_Kb_shared)*->rhs([ mpred_prop(baseKB,tFly,1,Prop_GenlPreds_Kb_shared)])
%~ %~ Found positive trigger: tCol(tFly)
%~ %~ body: rhs([ arity(tFly,1)])
%~ %~ RHS-Post1: arity(tFly,1)
%~ %~ Support: tCol(tFly),$pt(baseKB,tCol(tFly),rhs([ arity(tFly,1)]))
%~ call_mpred_post4 :-
%~ level=124 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = arity(tFly,1) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = arity(tFly,1) ,
%~ support_fact = tCol(tFly) ,
%~ support_trig = '$pt'(baseKB,tCol(tFly),rhs([arity(tFly,1)])).
%~ baseKB : mpred_fwc1( arity(tFly,1)).
%~ %~ Found positive trigger: arity(tFly,1)
%~ %~ body: predicateConventionMt(tFly,PredicateConventionMt_Fly)*->rhs([ { kb_global( PredicateConventionMt_Fly :
%~ %~
%~ %~ tFly/1) }])
%~ %~ Found positive trigger: arity(tFly,1)
%~ %~ body: prologHybrid(tFly)*->rhs([ { kb_shared( tFly/1) }])
%~ %~ Found positive trigger: arity(tFly,1)
%~ %~ body: pfcControlled(tFly)*->rhs([ hybrid_support(tFly,1)])
%~ %~ Found positive trigger: arity(tFly,1)
%~ %~ body: singleValuedInArg(tFly,SingleValuedInArgAX_SingleValuedInArg_Fly)*->rhs([ singleValuedInArgAX(tFly,1,SingleValuedInArgAX_SingleValuedInArg_Fly)])
%~ %~ Found positive trigger: tCol(tFly)
%~ %~ body: \+ttExpressionType(tFly)*->rhs([ tSet(tFly)])
%~ %~ RHS-Post1: tSet(tFly)
%~ %~ Support: tCol(tFly),$pt(baseKB,tCol(tFly),(\+ttExpressionType(tFly)*->rhs([ tSet(tFly)])))
%~ call_mpred_post4 :-
%~ level=126 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tSet(tFly) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tSet(tFly) ,
%~ support_fact = tCol(tFly) ,
%~ support_trig = '$pt'(baseKB,tCol(tFly),(\+ttExpressionType(tFly)*->rhs([tSet(tFly)]))).
%~ baseKB : mpred_fwc1( tSet(tFly)).
%~ %~ Found positive trigger: tSet(tFly)
%~ %~ body: rhs([ functorDeclares(tFly)])
%~ %~ RHS-Post1: functorDeclares(tFly)
%~ %~ Support: tSet(tFly),$pt(baseKB,tSet(tFly),rhs([ functorDeclares(tFly)]))
%~ call_mpred_post4 :-
%~ level=164 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = functorDeclares(tFly) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = functorDeclares(tFly) ,
%~ support_fact = tSet(tFly) ,
%~ support_trig = '$pt'(baseKB,tSet(tFly),rhs([functorDeclares(tFly)])).
%~ baseKB : mpred_fwc1( functorDeclares(tFly)).
%~ %~ Found positive trigger: functorDeclares(tFly)
%~ %~ body: rhs([ arityMax(tFly,1),
%~ %~ functorIsMacro(tFly)])
%~ %~ RHS-Post1: arityMax(tFly,1)
%~ %~ Support: functorDeclares(tFly),$pt(baseKB,functorDeclares(tFly),rhs([ arityMax(tFly,1),
%~ %~ functorIsMacro(tFly)]))
%~ call_mpred_post4 :-
%~ level=202 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = arityMax(tFly,1) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = arityMax(tFly,1) ,
%~ support_fact = functorDeclares(tFly) ,
%~ support_trig = '$pt'(baseKB,functorDeclares(tFly),rhs([arityMax(tFly,1),functorIsMacro(tFly)])).
%~ baseKB : mpred_fwc1( arityMax(tFly,1)).
%~ %~ RHS-Post1: functorIsMacro(tFly)
%~ %~ Support: functorDeclares(tFly),$pt(baseKB,functorDeclares(tFly),rhs([ arityMax(tFly,1),
%~ %~ functorIsMacro(tFly)]))
%~ call_mpred_post4 :-
%~ level=203 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = functorIsMacro(tFly) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = functorIsMacro(tFly) ,
%~ support_fact = functorDeclares(tFly) ,
%~ support_trig = '$pt'(baseKB,functorDeclares(tFly),rhs([arityMax(tFly,1),functorIsMacro(tFly)])).
%~ baseKB : mpred_fwc1( functorIsMacro(tFly)).
%~ %~ Found positive trigger: tSet(tFly)
%~ %~ body: rhs([ tCol(tFly),
%~ %~ \+( ttExpressionType(tFly))])
%~ %~ RHS-Post1: tCol(tFly)
%~ %~ Support: tSet(tFly),$pt(baseKB,tSet(tFly),rhs([ tCol(tFly),
%~ %~ \+( ttExpressionType(tFly))]))
%~ call_mpred_post4 :-
%~ level=164 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',24) ,
%~ ax)) ,
%~ post1 = tCol(tFly) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tCol(tFly) ,
%~ support_fact = tSet(tFly) ,
%~ support_trig = '$pt'(baseKB,tSet(tFly),rhs([tCol(tFly),\+ttExpressionType(tFly)])).
%~ %~ RHS-Withdrawing-Neg: ttExpressionType(tFly)
%~ %~ Support: tSet(tFly),$pt(baseKB,tSet(tFly),rhs([ tCol(tFly),
%~ %~ \+( ttExpressionType(tFly))]))
%~ %~ Found positive trigger: tSet(tFly)
%~ %~ body: rhs([ tCol(tFly)])
%~ %~ RHS-Post1: tCol(tFly)
%~ %~ Support: tSet(tFly),$pt(baseKB,tSet(tFly),rhs([ tCol(tFly)]))
%~ call_mpred_post4 :-
%~ level=164 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',24) ,
%~ ax)) ,
%~ post1 = tCol(tFly) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tCol(tFly) ,
%~ support_fact = tSet(tFly) ,
%~ support_trig = '$pt'(baseKB,tSet(tFly),rhs([tCol(tFly)])).
~*/
tCol(tCanary).
/*~
%~ call_mpred_post4 :-
%~ level=86 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tCol(tCanary) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tCol(tCanary) ,
%~ support_fact = mfl4(_31364,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',25) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( tCol(tCanary)).
%~ %~ Found positive trigger: tCol(tCanary)
%~ %~ body: rhs([ { decl_type(tCanary),
%~ %~ kb_shared( tCanary/1) }])
%~ call_mpred_post4 :-
%~ level=194 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tCanary,1,kb_shared) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tCanary,1,kb_shared) ,
%~ support_fact = ( mfl4(_460,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',25) ,
%~ ax) ,
%~ support_trig = mfl4(_988,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',25).
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tCanary,1,kb_shared)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tCanary,1,kb_shared)
%~ %~ body: $pt(baseKB,genlMt(Call_BaseKB,baseKB),(Call_BaseKB\=baseKB*->rhs([ { nop( dmsg_pretty( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tCanary/1))),
%~ %~ show_failure( on_x_fail( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tCanary/1))) }])))
%~ %~ Adding positive
%~ %~ trigger: genlMt(BaseKB,baseKB)
%~ %~ body: Call_BaseKB\=baseKB*->rhs([ { nop( dmsg_pretty( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tCanary/1))),
%~ %~ show_failure( on_x_fail( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tCanary/1))) }])
%~ %~ Support: mpred_prop(baseKB,tCanary,1,kb_shared),$pt(baseKB,mpred_prop(baseKB,tCanary,1,kb_shared),$pt(baseKB,genlMt(Call_BaseKB,baseKB),(Call_BaseKB\=baseKB*->rhs(
%~ %~ [ { nop( dmsg_pretty( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tCanary/1))),
%~ %~ show_failure( on_x_fail( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tCanary/1))) }]))))
%~ %~ Found positive trigger: mpred_prop(baseKB,tCanary,1,kb_shared)
%~ %~ body: \+ground((tCanary/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tCanary,1,kb_shared)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tCanary,1,kb_shared)
%~ %~ body: genlPreds(kb_shared,Prop_GenlPreds_Kb_shared)*->rhs([ mpred_prop(baseKB,tCanary,1,Prop_GenlPreds_Kb_shared)])
%~ %~ Found positive trigger: tCol(tCanary)
%~ %~ body: rhs([ arity(tCanary,1)])
%~ %~ RHS-Post1: arity(tCanary,1)
%~ %~ Support: tCol(tCanary),$pt(baseKB,tCol(tCanary),rhs([ arity(tCanary,1)]))
%~ call_mpred_post4 :-
%~ level=124 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = arity(tCanary,1) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = arity(tCanary,1) ,
%~ support_fact = tCol(tCanary) ,
%~ support_trig = '$pt'(baseKB,tCol(tCanary),rhs([arity(tCanary,1)])).
%~ baseKB : mpred_fwc1( arity(tCanary,1)).
%~ %~ Found positive trigger: arity(tCanary,1)
%~ %~ body: predicateConventionMt(tCanary,PredicateConventionMt_Canary)*->rhs([ { kb_global( PredicateConventionMt_Canary :
%~ %~
%~ %~ tCanary/1) }])
%~ %~ Found positive trigger: arity(tCanary,1)
%~ %~ body: prologHybrid(tCanary)*->rhs([ { kb_shared( tCanary/1) }])
%~ %~ Found positive trigger: arity(tCanary,1)
%~ %~ body: pfcControlled(tCanary)*->rhs([ hybrid_support(tCanary,1)])
%~ %~ Found positive trigger: arity(tCanary,1)
%~ %~ body: singleValuedInArg(tCanary,SingleValuedInArgAX_SingleValuedInArg_Canary)*->rhs([ singleValuedInArgAX(tCanary,1,SingleValuedInArgAX_SingleValuedInArg_Canary)])
%~ %~ Found positive trigger: tCol(tCanary)
%~ %~ body: \+ttExpressionType(tCanary)*->rhs([ tSet(tCanary)])
%~ %~ RHS-Post1: tSet(tCanary)
%~ %~ Support: tCol(tCanary),$pt(baseKB,tCol(tCanary),(\+ttExpressionType(tCanary)*->rhs([ tSet(tCanary)])))
%~ call_mpred_post4 :-
%~ level=126 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tSet(tCanary) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tSet(tCanary) ,
%~ support_fact = tCol(tCanary) ,
%~ support_trig = '$pt'(baseKB,tCol(tCanary),(\+ttExpressionType(tCanary)*->rhs([tSet(tCanary)]))).
%~ baseKB : mpred_fwc1( tSet(tCanary)).
%~ %~ Found positive trigger: tSet(tCanary)
%~ %~ body: rhs([ functorDeclares(tCanary)])
%~ %~ RHS-Post1: functorDeclares(tCanary)
%~ %~ Support: tSet(tCanary),$pt(baseKB,tSet(tCanary),rhs([ functorDeclares(tCanary)]))
%~ call_mpred_post4 :-
%~ level=164 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = functorDeclares(tCanary) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = functorDeclares(tCanary) ,
%~ support_fact = tSet(tCanary) ,
%~ support_trig = '$pt'(baseKB,tSet(tCanary),rhs([functorDeclares(tCanary)])).
%~ baseKB : mpred_fwc1( functorDeclares(tCanary)).
%~ %~ Found positive trigger: functorDeclares(tCanary)
%~ %~ body: rhs([ arityMax(tCanary,1),
%~ %~ functorIsMacro(tCanary)])
%~ %~ RHS-Post1: arityMax(tCanary,1)
%~ %~ Support: functorDeclares(tCanary),$pt(baseKB,functorDeclares(tCanary),rhs([ arityMax(tCanary,1),
%~ %~ functorIsMacro(tCanary)]))
%~ call_mpred_post4 :-
%~ level=202 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = arityMax(tCanary,1) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = arityMax(tCanary,1) ,
%~ support_fact = functorDeclares(tCanary) ,
%~ support_trig = '$pt'( baseKB,
%~ functorDeclares(tCanary),
%~ rhs( [ arityMax(tCanary,1),
%~ functorIsMacro(tCanary)])).
%~ baseKB : mpred_fwc1( arityMax(tCanary,1)).
%~ %~ RHS-Post1: functorIsMacro(tCanary)
%~ %~ Support: functorDeclares(tCanary),$pt(baseKB,functorDeclares(tCanary),rhs([ arityMax(tCanary,1),
%~ %~ functorIsMacro(tCanary)]))
%~ call_mpred_post4 :-
%~ level=203 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = functorIsMacro(tCanary) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = functorIsMacro(tCanary) ,
%~ support_fact = functorDeclares(tCanary) ,
%~ support_trig = '$pt'( baseKB,
%~ functorDeclares(tCanary),
%~ rhs( [ arityMax(tCanary,1),
%~ functorIsMacro(tCanary)])).
%~ baseKB : mpred_fwc1( functorIsMacro(tCanary)).
%~ %~ Found positive trigger: tSet(tCanary)
%~ %~ body: rhs([ tCol(tCanary),
%~ %~ \+( ttExpressionType(tCanary))])
%~ %~ RHS-Post1: tCol(tCanary)
%~ %~ Support: tSet(tCanary),$pt(baseKB,tSet(tCanary),rhs([ tCol(tCanary),
%~ %~ \+( ttExpressionType(tCanary))]))
%~ call_mpred_post4 :-
%~ level=164 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',25) ,
%~ ax)) ,
%~ post1 = tCol(tCanary) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tCol(tCanary) ,
%~ support_fact = tSet(tCanary) ,
%~ support_trig = '$pt'(baseKB,tSet(tCanary),rhs([tCol(tCanary),\+ttExpressionType(tCanary)])).
%~ %~ RHS-Withdrawing-Neg: ttExpressionType(tCanary)
%~ %~ Support: tSet(tCanary),$pt(baseKB,tSet(tCanary),rhs([ tCol(tCanary),
%~ %~ \+( ttExpressionType(tCanary))]))
%~ %~ Found positive trigger: tSet(tCanary)
%~ %~ body: rhs([ tCol(tCanary)])
%~ %~ RHS-Post1: tCol(tCanary)
%~ %~ Support: tSet(tCanary),$pt(baseKB,tSet(tCanary),rhs([ tCol(tCanary)]))
%~ call_mpred_post4 :-
%~ level=164 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',25) ,
%~ ax)) ,
%~ post1 = tCol(tCanary) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tCol(tCanary) ,
%~ support_fact = tSet(tCanary) ,
%~ support_trig = '$pt'(baseKB,tSet(tCanary),rhs([tCol(tCanary)])).
~*/
tCol(tPenguin).
/*~
%~ call_mpred_post4 :-
%~ level=86 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tCol(tPenguin) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tCol(tPenguin) ,
%~ support_fact = mfl4(_26708,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',26) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( tCol(tPenguin)).
%~ %~ Found positive trigger: tCol(tPenguin)
%~ %~ body: rhs([ { decl_type(tPenguin),
%~ %~ kb_shared( tPenguin/1) }])
%~ call_mpred_post4 :-
%~ level=194 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tPenguin,1,kb_shared) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tPenguin,1,kb_shared) ,
%~ support_fact = ( mfl4(_460,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',26) ,
%~ ax) ,
%~ support_trig = mfl4(_988,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',26).
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tPenguin,1,kb_shared)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tPenguin,1,kb_shared)
%~ %~ body: $pt(baseKB,genlMt(Call_BaseKB,baseKB),(Call_BaseKB\=baseKB*->rhs([ { nop( dmsg_pretty( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tPenguin/1))),
%~ %~ show_failure( on_x_fail( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tPenguin/1))) }])))
%~ %~ Adding positive
%~ %~ trigger: genlMt(BaseKB,baseKB)
%~ %~ body: Call_BaseKB\=baseKB*->rhs([ { nop( dmsg_pretty( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tPenguin/1))),
%~ %~ show_failure( on_x_fail( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tPenguin/1))) }])
%~ %~ Support: mpred_prop(baseKB,tPenguin,1,kb_shared),$pt(baseKB,mpred_prop(baseKB,tPenguin,1,kb_shared),$pt(baseKB,genlMt(Call_BaseKB,baseKB),(Call_BaseKB\=baseKB*->rhs(
%~ %~ [ { nop( dmsg_pretty( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tPenguin/1))),
%~ %~ show_failure( on_x_fail( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tPenguin/1))) }]))))
%~ %~ Found positive trigger: mpred_prop(baseKB,tPenguin,1,kb_shared)
%~ %~ body: \+ground((tPenguin/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tPenguin,1,kb_shared)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tPenguin,1,kb_shared)
%~ %~ body: genlPreds(kb_shared,Prop_GenlPreds_Kb_shared)*->rhs([ mpred_prop(baseKB,tPenguin,1,Prop_GenlPreds_Kb_shared)])
%~ %~ Found positive trigger: tCol(tPenguin)
%~ %~ body: rhs([ arity(tPenguin,1)])
%~ %~ RHS-Post1: arity(tPenguin,1)
%~ %~ Support: tCol(tPenguin),$pt(baseKB,tCol(tPenguin),rhs([ arity(tPenguin,1)]))
%~ call_mpred_post4 :-
%~ level=124 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = arity(tPenguin,1) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = arity(tPenguin,1) ,
%~ support_fact = tCol(tPenguin) ,
%~ support_trig = '$pt'(baseKB,tCol(tPenguin),rhs([arity(tPenguin,1)])).
%~ baseKB : mpred_fwc1( arity(tPenguin,1)).
%~ %~ Found positive trigger: arity(tPenguin,1)
%~ %~ body: predicateConventionMt(tPenguin,PredicateConventionMt_Penguin)*->rhs([ { kb_global( PredicateConventionMt_Penguin :
%~ %~
%~ %~ tPenguin/1) }])
%~ %~ Found positive trigger: arity(tPenguin,1)
%~ %~ body: prologHybrid(tPenguin)*->rhs([ { kb_shared( tPenguin/1) }])
%~ %~ Found positive trigger: arity(tPenguin,1)
%~ %~ body: pfcControlled(tPenguin)*->rhs([ hybrid_support(tPenguin,1)])
%~ %~ Found positive trigger: arity(tPenguin,1)
%~ %~ body: singleValuedInArg(tPenguin,SingleValuedInArgAX_SingleValuedInArg_Penguin)*->rhs([ singleValuedInArgAX(tPenguin,1,SingleValuedInArgAX_SingleValuedInArg_Penguin)])
%~ %~ Found positive trigger: tCol(tPenguin)
%~ %~ body: \+ttExpressionType(tPenguin)*->rhs([ tSet(tPenguin)])
%~ %~ RHS-Post1: tSet(tPenguin)
%~ %~ Support: tCol(tPenguin),$pt(baseKB,tCol(tPenguin),(\+ttExpressionType(tPenguin)*->rhs([ tSet(tPenguin)])))
%~ call_mpred_post4 :-
%~ level=126 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tSet(tPenguin) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tSet(tPenguin) ,
%~ support_fact = tCol(tPenguin) ,
%~ support_trig = '$pt'(baseKB,tCol(tPenguin),(\+ttExpressionType(tPenguin)*->rhs([tSet(tPenguin)]))).
%~ baseKB : mpred_fwc1( tSet(tPenguin)).
%~ %~ Found positive trigger: tSet(tPenguin)
%~ %~ body: rhs([ functorDeclares(tPenguin)])
%~ %~ RHS-Post1: functorDeclares(tPenguin)
%~ %~ Support: tSet(tPenguin),$pt(baseKB,tSet(tPenguin),rhs([ functorDeclares(tPenguin)]))
%~ call_mpred_post4 :-
%~ level=164 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = functorDeclares(tPenguin) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = functorDeclares(tPenguin) ,
%~ support_fact = tSet(tPenguin) ,
%~ support_trig = '$pt'(baseKB,tSet(tPenguin),rhs([functorDeclares(tPenguin)])).
%~ baseKB : mpred_fwc1( functorDeclares(tPenguin)).
%~ %~ Found positive trigger: functorDeclares(tPenguin)
%~ %~ body: rhs([ arityMax(tPenguin,1),
%~ %~ functorIsMacro(tPenguin)])
%~ %~ RHS-Post1: arityMax(tPenguin,1)
%~ %~ Support: functorDeclares(tPenguin),$pt(baseKB,functorDeclares(tPenguin),rhs([ arityMax(tPenguin,1),
%~ %~ functorIsMacro(tPenguin)]))
%~ call_mpred_post4 :-
%~ level=202 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = arityMax(tPenguin,1) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = arityMax(tPenguin,1) ,
%~ support_fact = functorDeclares(tPenguin) ,
%~ support_trig = '$pt'( baseKB,
%~ functorDeclares(tPenguin),
%~ rhs( [ arityMax(tPenguin,1),
%~ functorIsMacro(tPenguin)])).
%~ baseKB : mpred_fwc1( arityMax(tPenguin,1)).
%~ %~ RHS-Post1: functorIsMacro(tPenguin)
%~ %~ Support: functorDeclares(tPenguin),$pt(baseKB,functorDeclares(tPenguin),rhs([ arityMax(tPenguin,1),
%~ %~ functorIsMacro(tPenguin)]))
%~ call_mpred_post4 :-
%~ level=203 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = functorIsMacro(tPenguin) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = functorIsMacro(tPenguin) ,
%~ support_fact = functorDeclares(tPenguin) ,
%~ support_trig = '$pt'( baseKB,
%~ functorDeclares(tPenguin),
%~ rhs( [ arityMax(tPenguin,1),
%~ functorIsMacro(tPenguin)])).
%~ baseKB : mpred_fwc1( functorIsMacro(tPenguin)).
%~ %~ Found positive trigger: tSet(tPenguin)
%~ %~ body: rhs([ tCol(tPenguin),
%~ %~ \+( ttExpressionType(tPenguin))])
%~ %~ RHS-Post1: tCol(tPenguin)
%~ %~ Support: tSet(tPenguin),$pt(baseKB,tSet(tPenguin),rhs([ tCol(tPenguin),
%~ %~ \+( ttExpressionType(tPenguin))]))
%~ call_mpred_post4 :-
%~ level=164 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',26) ,
%~ ax)) ,
%~ post1 = tCol(tPenguin) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tCol(tPenguin) ,
%~ support_fact = tSet(tPenguin) ,
%~ support_trig = '$pt'(baseKB,tSet(tPenguin),rhs([tCol(tPenguin),\+ttExpressionType(tPenguin)])).
%~ %~ RHS-Withdrawing-Neg: ttExpressionType(tPenguin)
%~ %~ Support: tSet(tPenguin),$pt(baseKB,tSet(tPenguin),rhs([ tCol(tPenguin),
%~ %~ \+( ttExpressionType(tPenguin))]))
%~ %~ Found positive trigger: tSet(tPenguin)
%~ %~ body: rhs([ tCol(tPenguin)])
%~ %~ RHS-Post1: tCol(tPenguin)
%~ %~ Support: tSet(tPenguin),$pt(baseKB,tSet(tPenguin),rhs([ tCol(tPenguin)]))
%~ call_mpred_post4 :-
%~ level=164 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',26) ,
%~ ax)) ,
%~ post1 = tCol(tPenguin) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tCol(tPenguin) ,
%~ support_fact = tSet(tPenguin) ,
%~ support_trig = '$pt'(baseKB,tSet(tPenguin),rhs([tCol(tPenguin)])).
~*/
tCol(tBird).
/*~
%~ call_mpred_post4 :-
%~ level=86 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tCol(tBird) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tCol(tBird) ,
%~ support_fact = mfl4(_26744,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',27) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( tCol(tBird)).
%~ %~ Found positive trigger: tCol(tBird)
%~ %~ body: rhs([ { decl_type(tBird),
%~ %~ kb_shared( tBird/1) }])
%~ call_mpred_post4 :-
%~ level=194 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tBird,1,kb_shared) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tBird,1,kb_shared) ,
%~ support_fact = ( mfl4(_460,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',27) ,
%~ ax) ,
%~ support_trig = mfl4(_988,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',27).
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tBird,1,kb_shared)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,kb_shared)
%~ %~ body: $pt(baseKB,genlMt(Call_BaseKB,baseKB),(Call_BaseKB\=baseKB*->rhs([ { nop( dmsg_pretty( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tBird/1))),
%~ %~ show_failure( on_x_fail( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tBird/1))) }])))
%~ %~ Adding positive
%~ %~ trigger: genlMt(BaseKB,baseKB)
%~ %~ body: Call_BaseKB\=baseKB*->rhs([ { nop( dmsg_pretty( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tBird/1))),
%~ %~ show_failure( on_x_fail( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tBird/1))) }])
%~ %~ Support: mpred_prop(baseKB,tBird,1,kb_shared),$pt(baseKB,mpred_prop(baseKB,tBird,1,kb_shared),$pt(baseKB,genlMt(Call_BaseKB,baseKB),(Call_BaseKB\=baseKB*->rhs(
%~ %~ [ { nop( dmsg_pretty( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tBird/1))),
%~ %~ show_failure( on_x_fail( Call_BaseKB :
%~ %~
%~ %~ call(kb_shared,Call_BaseKB:tBird/1))) }]))))
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,kb_shared)
%~ %~ body: \+ground((tBird/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tBird,1,kb_shared)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,kb_shared)
%~ %~ body: genlPreds(kb_shared,Prop_GenlPreds_Kb_shared)*->rhs([ mpred_prop(baseKB,tBird,1,Prop_GenlPreds_Kb_shared)])
%~ %~ Found positive trigger: tCol(tBird)
%~ %~ body: rhs([ arity(tBird,1)])
%~ %~ RHS-Post1: arity(tBird,1)
%~ %~ Support: tCol(tBird),$pt(baseKB,tCol(tBird),rhs([ arity(tBird,1)]))
%~ call_mpred_post4 :-
%~ level=124 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = arity(tBird,1) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = arity(tBird,1) ,
%~ support_fact = tCol(tBird) ,
%~ support_trig = '$pt'(baseKB,tCol(tBird),rhs([arity(tBird,1)])).
%~ baseKB : mpred_fwc1( arity(tBird,1)).
%~ %~ Found positive trigger: arity(tBird,1)
%~ %~ body: predicateConventionMt(tBird,PredicateConventionMt_Bird)*->rhs([ { kb_global( PredicateConventionMt_Bird :
%~ %~
%~ %~ tBird/1) }])
%~ %~ Found positive trigger: arity(tBird,1)
%~ %~ body: prologHybrid(tBird)*->rhs([ { kb_shared( tBird/1) }])
%~ %~ Found positive trigger: arity(tBird,1)
%~ %~ body: pfcControlled(tBird)*->rhs([ hybrid_support(tBird,1)])
%~ %~ Found positive trigger: arity(tBird,1)
%~ %~ body: singleValuedInArg(tBird,SingleValuedInArgAX_SingleValuedInArg_Bird)*->rhs([ singleValuedInArgAX(tBird,1,SingleValuedInArgAX_SingleValuedInArg_Bird)])
%~ %~ Found positive trigger: tCol(tBird)
%~ %~ body: \+ttExpressionType(tBird)*->rhs([ tSet(tBird)])
%~ %~ RHS-Post1: tSet(tBird)
%~ %~ Support: tCol(tBird),$pt(baseKB,tCol(tBird),(\+ttExpressionType(tBird)*->rhs([ tSet(tBird)])))
%~ call_mpred_post4 :-
%~ level=126 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tSet(tBird) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tSet(tBird) ,
%~ support_fact = tCol(tBird) ,
%~ support_trig = '$pt'(baseKB,tCol(tBird),(\+ttExpressionType(tBird)*->rhs([tSet(tBird)]))).
%~ baseKB : mpred_fwc1( tSet(tBird)).
%~ %~ Found positive trigger: tSet(tBird)
%~ %~ body: rhs([ functorDeclares(tBird)])
%~ %~ RHS-Post1: functorDeclares(tBird)
%~ %~ Support: tSet(tBird),$pt(baseKB,tSet(tBird),rhs([ functorDeclares(tBird)]))
%~ call_mpred_post4 :-
%~ level=164 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = functorDeclares(tBird) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = functorDeclares(tBird) ,
%~ support_fact = tSet(tBird) ,
%~ support_trig = '$pt'(baseKB,tSet(tBird),rhs([functorDeclares(tBird)])).
%~ baseKB : mpred_fwc1( functorDeclares(tBird)).
%~ %~ Found positive trigger: functorDeclares(tBird)
%~ %~ body: rhs([ arityMax(tBird,1),
%~ %~ functorIsMacro(tBird)])
%~ %~ RHS-Post1: arityMax(tBird,1)
%~ %~ Support: functorDeclares(tBird),$pt(baseKB,functorDeclares(tBird),rhs([ arityMax(tBird,1),
%~ %~ functorIsMacro(tBird)]))
%~ call_mpred_post4 :-
%~ level=202 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = arityMax(tBird,1) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = arityMax(tBird,1) ,
%~ support_fact = functorDeclares(tBird) ,
%~ support_trig = '$pt'(baseKB,functorDeclares(tBird),rhs([arityMax(tBird,1),functorIsMacro(tBird)])).
%~ baseKB : mpred_fwc1( arityMax(tBird,1)).
%~ %~ RHS-Post1: functorIsMacro(tBird)
%~ %~ Support: functorDeclares(tBird),$pt(baseKB,functorDeclares(tBird),rhs([ arityMax(tBird,1),
%~ %~ functorIsMacro(tBird)]))
%~ call_mpred_post4 :-
%~ level=203 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = functorIsMacro(tBird) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = functorIsMacro(tBird) ,
%~ support_fact = functorDeclares(tBird) ,
%~ support_trig = '$pt'(baseKB,functorDeclares(tBird),rhs([arityMax(tBird,1),functorIsMacro(tBird)])).
%~ baseKB : mpred_fwc1( functorIsMacro(tBird)).
%~ %~ Found positive trigger: tSet(tBird)
%~ %~ body: rhs([ tCol(tBird),
%~ %~ \+( ttExpressionType(tBird))])
%~ %~ RHS-Post1: tCol(tBird)
%~ %~ Support: tSet(tBird),$pt(baseKB,tSet(tBird),rhs([ tCol(tBird),
%~ %~ \+( ttExpressionType(tBird))]))
%~ call_mpred_post4 :-
%~ level=164 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',27) ,
%~ ax)) ,
%~ post1 = tCol(tBird) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tCol(tBird) ,
%~ support_fact = tSet(tBird) ,
%~ support_trig = '$pt'(baseKB,tSet(tBird),rhs([tCol(tBird),\+ttExpressionType(tBird)])).
%~ %~ RHS-Withdrawing-Neg: ttExpressionType(tBird)
%~ %~ Support: tSet(tBird),$pt(baseKB,tSet(tBird),rhs([ tCol(tBird),
%~ %~ \+( ttExpressionType(tBird))]))
%~ %~ Found positive trigger: tSet(tBird)
%~ %~ body: rhs([ tCol(tBird)])
%~ %~ RHS-Post1: tCol(tBird)
%~ %~ Support: tSet(tBird),$pt(baseKB,tSet(tBird),rhs([ tCol(tBird)]))
%~ call_mpred_post4 :-
%~ level=164 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',27) ,
%~ ax)) ,
%~ post1 = tCol(tBird) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tCol(tBird) ,
%~ support_fact = tSet(tBird) ,
%~ support_trig = '$pt'(baseKB,tSet(tBird),rhs([tCol(tBird)])).
~*/
genls(tCanary,tBird).
/*~
%~ call_mpred_post4 :-
%~ level=86 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = genls(tCanary,tBird) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = genls(tCanary,tBird) ,
%~ support_fact = mfl4(_4266,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',29) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( genls(tCanary,tBird)).
%~ %~ Found positive trigger: genls(tCanary,tBird)
%~ %~ body: rhs([ tCol(tCanary),
%~ %~ tCol(tBird)])
%~ %~ RHS-Post1: tCol(tCanary)
%~ %~ Support: genls(tCanary,tBird),$pt(baseKB,genls(tCanary,tBird),rhs([ tCol(tCanary),
%~ %~ tCol(tBird)]))
%~ call_mpred_post4 :-
%~ level=124 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',25) ,
%~ ax)) ,
%~ post1 = tCol(tCanary) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tCol(tCanary) ,
%~ support_fact = genls(tCanary,tBird) ,
%~ support_trig = '$pt'(baseKB,genls(tCanary,tBird),rhs([tCol(tCanary),tCol(tBird)])).
%~ %~ RHS-Post1: tCol(tBird)
%~ %~ Support: genls(tCanary,tBird),$pt(baseKB,genls(tCanary,tBird),rhs([ tCol(tCanary),
%~ %~ tCol(tBird)]))
%~ call_mpred_post4 :-
%~ level=125 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',27) ,
%~ ax)) ,
%~ post1 = tCol(tBird) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tCol(tBird) ,
%~ support_fact = genls(tCanary,tBird) ,
%~ support_trig = '$pt'(baseKB,genls(tCanary,tBird),rhs([tCol(tCanary),tCol(tBird)])).
%~ %~ Found positive trigger: genls(tCanary,tBird)
%~ %~ body: tCanary\=tBird*->rhs([ isa(Bird_Canary_Canary_Bird,tCanary)==>isa(Bird_Canary_Canary_Bird,tBird)])
%~ %~ RHS-Post1: isa(Bird_Canary_Canary_Bird,tCanary)==>isa(Bird_Canary_Canary_Bird,tBird)
%~ %~ Support: genls(tCanary,tBird),$pt(baseKB,genls(tCanary,tBird),(tCanary\=tBird*->rhs([ isa(Bird_Canary_Canary_Bird,tCanary)==>isa(Bird_Canary_Canary_Bird,tBird)])))
%~ call_mpred_post4 :-
%~ level=126 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tCanary(_1516)==>tBird(_1516) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tCanary(_1516)==>tBird(_1516) ,
%~ support_fact = genls(tCanary,tBird) ,
%~ support_trig = '$pt'( baseKB,
%~ genls(tCanary,tBird),
%~ tCanary\=tBird*->rhs([(isa(_1516,tCanary)==>isa(_1516,tBird))])).
%~ baseKB : mpred_fwc1( tCanary(Bird_Canary)==>tBird(Bird_Canary)).
%~ call_mpred_post4 :-
%~ level=175 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tBird,1,pfcRHS) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tBird,1,pfcRHS) ,
%~ support_fact = mfl4(_1932,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',29) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tBird,1,pfcRHS)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,pfcRHS)
%~ %~ body: \+ground((tBird/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tBird,1,pfcRHS)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,pfcRHS)
%~ %~ body: rhs([ mpred_prop(baseKB,tBird,1,pfcCreates)])
%~ %~ RHS-Post1: mpred_prop(baseKB,tBird,1,pfcCreates)
%~ %~ Support: mpred_prop(baseKB,tBird,1,pfcRHS),$pt(baseKB,mpred_prop(baseKB,tBird,1,pfcRHS),rhs([ mpred_prop(baseKB,tBird,1,pfcCreates)]))
%~ call_mpred_post4 :-
%~ level=213 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tBird,1,pfcCreates) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tBird,1,pfcCreates) ,
%~ support_fact = mpred_prop(baseKB,tBird,1,pfcRHS) ,
%~ support_trig = '$pt'(baseKB,mpred_prop(baseKB,tBird,1,pfcRHS),rhs([mpred_prop(baseKB,tBird,1,pfcCreates)])).
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tBird,1,pfcCreates)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,pfcCreates)
%~ %~ body: \+ground((tBird/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tBird,1,pfcCreates)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,pfcCreates)
%~ %~ body: rhs([ { baseKB : warn_if_static(tBird,1) },
%~ %~ { kb_shared( baseKB : tBird/1) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,pfcCreates)
%~ %~ body: genlPreds(pfcCreates,Prop_GenlPreds_PfcCreates)*->rhs([ mpred_prop(baseKB,tBird,1,Prop_GenlPreds_PfcCreates)])
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,pfcRHS)
%~ %~ body: genlPreds(pfcRHS,Prop_GenlPreds_PfcRHS)*->rhs([ mpred_prop(baseKB,tBird,1,Prop_GenlPreds_PfcRHS)])
%~ %~ RHS-Post1: mpred_prop(baseKB,tBird,1,pfcControlled)
%~ %~ Support: mpred_prop(baseKB,tBird,1,pfcRHS),$pt(baseKB,mpred_prop(baseKB,tBird,1,pfcRHS),(genlPreds(pfcRHS,pfcControlled)*->rhs([ mpred_prop(baseKB,tBird,1,pfcControlled)])))
%~ call_mpred_post4 :-
%~ level=215 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tBird,1,pfcControlled) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tBird,1,pfcControlled) ,
%~ support_fact = mpred_prop(baseKB,tBird,1,pfcRHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tBird,1,pfcRHS),
%~ genlPreds(pfcRHS,pfcControlled)*->rhs([mpred_prop(baseKB,tBird,1,pfcControlled)])).
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tBird,1,pfcControlled)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,pfcControlled)
%~ %~ body: \+ground((tBird/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tBird,1,pfcControlled)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,pfcControlled)
%~ %~ body: rhs([ { kb_shared( baseKB : tBird/1) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,pfcControlled)
%~ %~ body: genlPreds(pfcControlled,Prop_GenlPreds_PfcControlled)*->rhs([ mpred_prop(baseKB,tBird,1,Prop_GenlPreds_PfcControlled)])
%~ %~ RHS-Post1: mpred_prop(baseKB,tBird,1,prologHybrid)
%~ %~ Support: mpred_prop(baseKB,tBird,1,pfcControlled),$pt(baseKB,mpred_prop(baseKB,tBird,1,pfcControlled),(genlPreds(pfcControlled,prologHybrid)*->rhs(
%~ %~ [ mpred_prop(baseKB,tBird,1,prologHybrid)])))
%~ call_mpred_post4 :-
%~ level=255 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tBird,1,prologHybrid) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tBird,1,prologHybrid) ,
%~ support_fact = mpred_prop(baseKB,tBird,1,pfcControlled) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tBird,1,pfcControlled),
%~ genlPreds(pfcControlled,prologHybrid)*->rhs([mpred_prop(baseKB,tBird,1,prologHybrid)])).
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tBird,1,prologHybrid)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,prologHybrid)
%~ %~ body: \+ground((tBird/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tBird,1,prologHybrid)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,prologHybrid)
%~ %~ body: genlPreds(prologHybrid,Prop_GenlPreds_PrologHybrid)*->rhs([ mpred_prop(baseKB,tBird,1,Prop_GenlPreds_PrologHybrid)])
%~ %~ RHS-Post1: mpred_prop(baseKB,tBird,1,prologHybrid)
%~ %~ Support: mpred_prop(baseKB,tBird,1,pfcRHS),$pt(baseKB,mpred_prop(baseKB,tBird,1,pfcRHS),(genlPreds(pfcRHS,prologHybrid)*->rhs([ mpred_prop(baseKB,tBird,1,prologHybrid)])))
%~ call_mpred_post4 :-
%~ level=215 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mpred_prop(baseKB,tBird,1,pfcControlled) ,
%~ '$pt'( baseKB,
%~ mpred_prop(baseKB,tBird,1,pfcControlled),
%~ genlPreds(pfcControlled,prologHybrid)*->rhs([mpred_prop(baseKB,tBird,1,prologHybrid)])))) ,
%~ post1 = mpred_prop(baseKB,tBird,1,prologHybrid) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tBird,1,prologHybrid) ,
%~ support_fact = mpred_prop(baseKB,tBird,1,pfcRHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tBird,1,pfcRHS),
%~ genlPreds(pfcRHS,prologHybrid)*->rhs([mpred_prop(baseKB,tBird,1,prologHybrid)])).
%~ call_mpred_post4 :-
%~ level=176 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tCanary,1,pfcLHS) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tCanary,1,pfcLHS) ,
%~ support_fact = ( tCanary(_2036)==>tBird(_2036) ,
%~ mfl4(_2044,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',29)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tCanary,1,pfcLHS)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tCanary,1,pfcLHS)
%~ %~ body: \+ground((tCanary/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tCanary,1,pfcLHS)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tCanary,1,pfcLHS)
%~ %~ body: rhs([ arity(tCanary,1),
%~ %~ functorIsMacro(tCanary),
%~ %~ mpred_prop(baseKB,tCanary,1,pfcWatches)])
%~ %~ RHS-Post1: arity(tCanary,1)
%~ %~ Support: mpred_prop(baseKB,tCanary,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,tCanary,1,pfcLHS),rhs([ arity(tCanary,1),
%~ %~ functorIsMacro(tCanary),
%~ %~ mpred_prop(baseKB,tCanary,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=214 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( tCol(tCanary),'$pt'(baseKB,tCol(tCanary),rhs([arity(tCanary,1)]))) ,
%~ post1 = arity(tCanary,1) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = arity(tCanary,1) ,
%~ support_fact = mpred_prop(baseKB,tCanary,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tCanary,1,pfcLHS),
%~ rhs( [ arity(tCanary,1),
%~ functorIsMacro(tCanary),
%~ mpred_prop(baseKB,tCanary,1,pfcWatches)])).
%~ %~ RHS-Post1: functorIsMacro(tCanary)
%~ %~ Support: mpred_prop(baseKB,tCanary,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,tCanary,1,pfcLHS),rhs([ arity(tCanary,1),
%~ %~ functorIsMacro(tCanary),
%~ %~ mpred_prop(baseKB,tCanary,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=215 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( functorDeclares(tCanary) ,
%~ '$pt'(baseKB,functorDeclares(tCanary),rhs([arityMax(tCanary,1),functorIsMacro(tCanary)])))) ,
%~ post1 = functorIsMacro(tCanary) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = functorIsMacro(tCanary) ,
%~ support_fact = mpred_prop(baseKB,tCanary,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tCanary,1,pfcLHS),
%~ rhs( [ arity(tCanary,1),
%~ functorIsMacro(tCanary),
%~ mpred_prop(baseKB,tCanary,1,pfcWatches)])).
%~ %~ RHS-Post1: mpred_prop(baseKB,tCanary,1,pfcWatches)
%~ %~ Support: mpred_prop(baseKB,tCanary,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,tCanary,1,pfcLHS),rhs([ arity(tCanary,1),
%~ %~ functorIsMacro(tCanary),
%~ %~ mpred_prop(baseKB,tCanary,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=216 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tCanary,1,pfcWatches) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tCanary,1,pfcWatches) ,
%~ support_fact = mpred_prop(baseKB,tCanary,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tCanary,1,pfcLHS),
%~ rhs( [ arity(tCanary,1),
%~ functorIsMacro(tCanary),
%~ mpred_prop(baseKB,tCanary,1,pfcWatches)])).
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tCanary,1,pfcWatches)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tCanary,1,pfcWatches)
%~ %~ body: \+ground((tCanary/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tCanary,1,pfcWatches)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tCanary,1,pfcWatches)
%~ %~ body: rhs([ { kb_shared( baseKB : tCanary/1) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tCanary,1,pfcWatches)
%~ %~ body: genlPreds(pfcWatches,Prop_GenlPreds_PfcWatches)*->rhs([ mpred_prop(baseKB,tCanary,1,Prop_GenlPreds_PfcWatches)])
%~ %~ Found positive trigger: mpred_prop(baseKB,tCanary,1,pfcLHS)
%~ %~ body: genlPreds(pfcLHS,Prop_GenlPreds_PfcLHS)*->rhs([ mpred_prop(baseKB,tCanary,1,Prop_GenlPreds_PfcLHS)])
%~ %~ Adding positive
%~ %~ trigger: tCanary(Canary)
%~ %~ body: rhs([ tBird(Bird1)])
%~ %~ Support: (tCanary(Bird_Canary)==>tBird(Bird_Canary)),mfl4(BaseKB,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L29 ',29)
%~ call_mpred_post4 :-
%~ level=182 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tCanary,1,pfcPosTrigger) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tCanary,1,pfcPosTrigger) ,
%~ support_fact = ( tCanary(_1950)==>tBird(_1950) ,
%~ mfl4(_1932,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',29)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tCanary,1,pfcPosTrigger)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tCanary,1,pfcPosTrigger)
%~ %~ body: \+ground((tCanary/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tCanary,1,pfcPosTrigger)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tCanary,1,pfcPosTrigger)
%~ %~ body: rhs([ mpred_prop(baseKB,tCanary,1,pfcWatches)])
%~ %~ RHS-Post1: mpred_prop(baseKB,tCanary,1,pfcWatches)
%~ %~ Support: mpred_prop(baseKB,tCanary,1,pfcPosTrigger),$pt(baseKB,mpred_prop(baseKB,tCanary,1,pfcPosTrigger),rhs([ mpred_prop(baseKB,tCanary,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=220 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mpred_prop(baseKB,tCanary,1,pfcLHS) ,
%~ '$pt'( baseKB,
%~ mpred_prop(baseKB,tCanary,1,pfcLHS),
%~ rhs( [ arity(tCanary,1),
%~ functorIsMacro(tCanary),
%~ mpred_prop(baseKB,tCanary,1,pfcWatches)])))) ,
%~ post1 = mpred_prop(baseKB,tCanary,1,pfcWatches) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tCanary,1,pfcWatches) ,
%~ support_fact = mpred_prop(baseKB,tCanary,1,pfcPosTrigger) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tCanary,1,pfcPosTrigger),
%~ rhs([mpred_prop(baseKB,tCanary,1,pfcWatches)])).
%~ %~ Found positive trigger: mpred_prop(baseKB,tCanary,1,pfcPosTrigger)
%~ %~ body: genlPreds(pfcPosTrigger,Prop_GenlPreds_PfcPosTrigger)*->rhs([ mpred_prop(baseKB,tCanary,1,Prop_GenlPreds_PfcPosTrigger)])
%~ %~ Found positive trigger: genls(tCanary,tBird)
%~ %~ body: mudIsa(Bird_Canary,tCanary)*->rhs([ mudIsa(Bird_Canary,tBird)])
~*/
genls(tPenguin,tBird).
% chilly is a penguin.
/*~
%~ call_mpred_post4 :-
%~ level=86 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = genls(tPenguin,tBird) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = genls(tPenguin,tBird) ,
%~ support_fact = mfl4(_464,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',30) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( genls(tPenguin,tBird)).
%~ %~ Found positive trigger: genls(tPenguin,tBird)
%~ %~ body: rhs([ tCol(tPenguin),
%~ %~ tCol(tBird)])
%~ %~ RHS-Post1: tCol(tPenguin)
%~ %~ Support: genls(tPenguin,tBird),$pt(baseKB,genls(tPenguin,tBird),rhs([ tCol(tPenguin),
%~ %~ tCol(tBird)]))
%~ call_mpred_post4 :-
%~ level=124 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',26) ,
%~ ax)) ,
%~ post1 = tCol(tPenguin) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tCol(tPenguin) ,
%~ support_fact = genls(tPenguin,tBird) ,
%~ support_trig = '$pt'(baseKB,genls(tPenguin,tBird),rhs([tCol(tPenguin),tCol(tBird)])).
%~ %~ RHS-Post1: tCol(tBird)
%~ %~ Support: genls(tPenguin,tBird),$pt(baseKB,genls(tPenguin,tBird),rhs([ tCol(tPenguin),
%~ %~ tCol(tBird)]))
%~ call_mpred_post4 :-
%~ level=125 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',27) ,
%~ ax)) ,
%~ post1 = tCol(tBird) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tCol(tBird) ,
%~ support_fact = genls(tPenguin,tBird) ,
%~ support_trig = '$pt'(baseKB,genls(tPenguin,tBird),rhs([tCol(tPenguin),tCol(tBird)])).
%~ %~ Found positive trigger: genls(tPenguin,tBird)
%~ %~ body: tPenguin\=tBird*->rhs([ isa(Bird_Penguin_Penguin_Bird,tPenguin)==>isa(Bird_Penguin_Penguin_Bird,tBird)])
%~ %~ RHS-Post1: isa(Bird_Penguin_Penguin_Bird,tPenguin)==>isa(Bird_Penguin_Penguin_Bird,tBird)
%~ %~ Support: genls(tPenguin,tBird),$pt(baseKB,genls(tPenguin,tBird),(tPenguin\=tBird*->rhs([ isa(Bird_Penguin_Penguin_Bird,tPenguin)==>isa(Bird_Penguin_Penguin_Bird,tBird)])))
%~ call_mpred_post4 :-
%~ level=126 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tPenguin(_1362)==>tBird(_1362) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tPenguin(_1362)==>tBird(_1362) ,
%~ support_fact = genls(tPenguin,tBird) ,
%~ support_trig = '$pt'( baseKB,
%~ genls(tPenguin,tBird),
%~ tPenguin\=tBird*->rhs([(isa(_1362,tPenguin)==>isa(_1362,tBird))])).
%~ baseKB : mpred_fwc1( tPenguin(Bird_Penguin)==>tBird(Bird_Penguin)).
%~ call_mpred_post4 :-
%~ level=176 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tPenguin,1,pfcLHS) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tPenguin,1,pfcLHS) ,
%~ support_fact = ( tPenguin(_1876)==>tBird(_1876) ,
%~ mfl4(_1884,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',30)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tPenguin,1,pfcLHS)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tPenguin,1,pfcLHS)
%~ %~ body: \+ground((tPenguin/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tPenguin,1,pfcLHS)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tPenguin,1,pfcLHS)
%~ %~ body: rhs([ arity(tPenguin,1),
%~ %~ functorIsMacro(tPenguin),
%~ %~ mpred_prop(baseKB,tPenguin,1,pfcWatches)])
%~ %~ RHS-Post1: arity(tPenguin,1)
%~ %~ Support: mpred_prop(baseKB,tPenguin,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,tPenguin,1,pfcLHS),rhs([ arity(tPenguin,1),
%~ %~ functorIsMacro(tPenguin),
%~ %~ mpred_prop(baseKB,tPenguin,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=214 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( tCol(tPenguin),'$pt'(baseKB,tCol(tPenguin),rhs([arity(tPenguin,1)]))) ,
%~ post1 = arity(tPenguin,1) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = arity(tPenguin,1) ,
%~ support_fact = mpred_prop(baseKB,tPenguin,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tPenguin,1,pfcLHS),
%~ rhs( [ arity(tPenguin,1),
%~ functorIsMacro(tPenguin),
%~ mpred_prop(baseKB,tPenguin,1,pfcWatches)])).
%~ %~ RHS-Post1: functorIsMacro(tPenguin)
%~ %~ Support: mpred_prop(baseKB,tPenguin,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,tPenguin,1,pfcLHS),rhs([ arity(tPenguin,1),
%~ %~ functorIsMacro(tPenguin),
%~ %~ mpred_prop(baseKB,tPenguin,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=215 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( functorDeclares(tPenguin) ,
%~ '$pt'(baseKB,functorDeclares(tPenguin),rhs([arityMax(tPenguin,1),functorIsMacro(tPenguin)])))) ,
%~ post1 = functorIsMacro(tPenguin) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = functorIsMacro(tPenguin) ,
%~ support_fact = mpred_prop(baseKB,tPenguin,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tPenguin,1,pfcLHS),
%~ rhs( [ arity(tPenguin,1),
%~ functorIsMacro(tPenguin),
%~ mpred_prop(baseKB,tPenguin,1,pfcWatches)])).
%~ %~ RHS-Post1: mpred_prop(baseKB,tPenguin,1,pfcWatches)
%~ %~ Support: mpred_prop(baseKB,tPenguin,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,tPenguin,1,pfcLHS),rhs([ arity(tPenguin,1),
%~ %~ functorIsMacro(tPenguin),
%~ %~ mpred_prop(baseKB,tPenguin,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=216 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tPenguin,1,pfcWatches) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tPenguin,1,pfcWatches) ,
%~ support_fact = mpred_prop(baseKB,tPenguin,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tPenguin,1,pfcLHS),
%~ rhs( [ arity(tPenguin,1),
%~ functorIsMacro(tPenguin),
%~ mpred_prop(baseKB,tPenguin,1,pfcWatches)])).
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tPenguin,1,pfcWatches)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tPenguin,1,pfcWatches)
%~ %~ body: \+ground((tPenguin/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tPenguin,1,pfcWatches)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tPenguin,1,pfcWatches)
%~ %~ body: rhs([ { kb_shared( baseKB : tPenguin/1) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tPenguin,1,pfcWatches)
%~ %~ body: genlPreds(pfcWatches,Prop_GenlPreds_PfcWatches)*->rhs([ mpred_prop(baseKB,tPenguin,1,Prop_GenlPreds_PfcWatches)])
%~ %~ Found positive trigger: mpred_prop(baseKB,tPenguin,1,pfcLHS)
%~ %~ body: genlPreds(pfcLHS,Prop_GenlPreds_PfcLHS)*->rhs([ mpred_prop(baseKB,tPenguin,1,Prop_GenlPreds_PfcLHS)])
%~ %~ Adding positive
%~ %~ trigger: tPenguin(Penguin)
%~ %~ body: rhs([ tBird(Bird1)])
%~ %~ Support: (tPenguin(Bird_Penguin)==>tBird(Bird_Penguin)),mfl4(BaseKB,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L30 ',30)
%~ call_mpred_post4 :-
%~ level=182 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tPenguin,1,pfcPosTrigger) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tPenguin,1,pfcPosTrigger) ,
%~ support_fact = ( tPenguin(_1792)==>tBird(_1792) ,
%~ mfl4(_1776,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',30)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tPenguin,1,pfcPosTrigger)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tPenguin,1,pfcPosTrigger)
%~ %~ body: \+ground((tPenguin/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tPenguin,1,pfcPosTrigger)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tPenguin,1,pfcPosTrigger)
%~ %~ body: rhs([ mpred_prop(baseKB,tPenguin,1,pfcWatches)])
%~ %~ RHS-Post1: mpred_prop(baseKB,tPenguin,1,pfcWatches)
%~ %~ Support: mpred_prop(baseKB,tPenguin,1,pfcPosTrigger),$pt(baseKB,mpred_prop(baseKB,tPenguin,1,pfcPosTrigger),rhs([ mpred_prop(baseKB,tPenguin,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=220 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mpred_prop(baseKB,tPenguin,1,pfcLHS) ,
%~ '$pt'( baseKB,
%~ mpred_prop(baseKB,tPenguin,1,pfcLHS),
%~ rhs( [ arity(tPenguin,1),
%~ functorIsMacro(tPenguin),
%~ mpred_prop(baseKB,tPenguin,1,pfcWatches)])))) ,
%~ post1 = mpred_prop(baseKB,tPenguin,1,pfcWatches) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tPenguin,1,pfcWatches) ,
%~ support_fact = mpred_prop(baseKB,tPenguin,1,pfcPosTrigger) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tPenguin,1,pfcPosTrigger),
%~ rhs([mpred_prop(baseKB,tPenguin,1,pfcWatches)])).
%~ %~ Found positive trigger: mpred_prop(baseKB,tPenguin,1,pfcPosTrigger)
%~ %~ body: genlPreds(pfcPosTrigger,Prop_GenlPreds_PfcPosTrigger)*->rhs([ mpred_prop(baseKB,tPenguin,1,Prop_GenlPreds_PfcPosTrigger)])
%~ %~ Found positive trigger: genls(tPenguin,tBird)
%~ %~ body: mudIsa(Bird_Penguin,tPenguin)*->rhs([ mudIsa(Bird_Penguin,tBird)])
~*/
% chilly is a penguin.
tPenguin(iChilly).
/*~
%~ call_mpred_post4 :-
%~ level=86 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tPenguin(iChilly) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tPenguin(iChilly) ,
%~ support_fact = mfl4(_41902,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',34) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( tPenguin(iChilly)).
%~ %~ Found positive trigger: tPenguin(iChilly)
%~ %~ body: rhs([ tBird(iChilly)])
%~ %~ RHS-Post1: tBird(iChilly)
%~ %~ Support: tPenguin(iChilly),$pt(baseKB,tPenguin(iChilly),rhs([ tBird(iChilly)]))
%~ call_mpred_post4 :-
%~ level=124 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tBird(iChilly) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tBird(iChilly) ,
%~ support_fact = tPenguin(iChilly) ,
%~ support_trig = '$pt'(baseKB,tPenguin(iChilly),rhs([tBird(iChilly)])).
%~ baseKB : mpred_fwc1( tBird(iChilly)).
~*/
:-mpred_test((tBird(iChilly))).
% tweety is a canary.
/*~
%~ ?-( mpred_test("Test_0001_Line_0000__IChilly",baseKB:tBird(iChilly))).
%~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L36
passed=info(why_was_true(baseKB:tBird(iChilly)))
Justifications for tBird(iChilly):
1.1 tPenguin(iChilly) % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L34 ]
1.2 tPenguin(W4)==>tBird(W4) % [mfl4(_2140,_2142,_2144,_2146)]
1.3 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L34 ',34)
1.4 genls(tPenguin,tBird) % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L30 ]
1.5 (genls(W4,X4)/W4\=X4)==>(isa(Y4,W4)==>isa(Y4,X4)) % [mfl4(_4196,_4198,_4200,_4202)]
1.6 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L30 ',30)
1.7 \+tooSlow % [/boot/init.pl:512]
1.8 \+tooSlow==>((genls(W4,X4)/W4\=X4)==>(isa(Y4,W4)==>isa(Y4,X4))) % [logicmoo_base/prolog/logicmoo/pfc/system_basic.pfc.pl:354]
1.9 mfl4(['C'=_,'P'=_,'I'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_basic.pfc.pl#L354 ',354)
name = 'logicmoo.base.examples.fol.ZENLS_01Z-Test_0001_Line_0000__IChilly'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.ZENLS_01Z'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'zenls_01z.pfc.pl\']"'.
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-base-examples-fol-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_base_examples_fol_ZENLS_01Z_Test_0001_Line_0000_IChilly-junit.xml
~*/
% tweety is a canary.
tCanary(iTweety).
/*~
%~ call_mpred_post4 :-
%~ level=86 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tCanary(iTweety) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tCanary(iTweety) ,
%~ support_fact = mfl4(_870050,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl',40) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( tCanary(iTweety)).
%~ %~ Found positive trigger: tCanary(iTweety)
%~ %~ body: rhs([ tBird(iTweety)])
%~ %~ RHS-Post1: tBird(iTweety)
%~ %~ Support: tCanary(iTweety),$pt(baseKB,tCanary(iTweety),rhs([ tBird(iTweety)]))
%~ call_mpred_post4 :-
%~ level=124 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tBird(iTweety) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tBird(iTweety) ,
%~ support_fact = tCanary(iTweety) ,
%~ support_trig = '$pt'(baseKB,tCanary(iTweety),rhs([tBird(iTweety)])).
%~ baseKB : mpred_fwc1( tBird(iTweety)).
~*/
:-mpred_test((tBird(iTweety))).
% birds fly by default.
/*~
%~ ?-( mpred_test("Test_0002_Line_0000__ITweety",baseKB:tBird(iTweety))).
%~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L42
passed=info(why_was_true(baseKB:tBird(iTweety)))
Justifications for tBird(iTweety):
1.1 tCanary(iTweety) % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L40 ]
1.2 tCanary(W4)==>tBird(W4) % [mfl4(_946088,_946090,_946092,_946094)]
1.3 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L40 ',40)
1.4 genls(tCanary,tBird) % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L29 ]
1.5 (genls(W4,X4)/W4\=X4)==>(isa(Y4,W4)==>isa(Y4,X4)) % [mfl4(_948144,_948146,_948148,_948150)]
1.6 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L29 ',29)
1.7 \+tooSlow % [/boot/init.pl:512]
1.8 \+tooSlow==>((genls(W4,X4)/W4\=X4)==>(isa(Y4,W4)==>isa(Y4,X4))) % [logicmoo_base/prolog/logicmoo/pfc/system_basic.pfc.pl:354]
1.9 mfl4(['C'=_,'P'=_,'I'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_basic.pfc.pl#L354 ',354)
name = 'logicmoo.base.examples.fol.ZENLS_01Z-Test_0002_Line_0000__ITweety'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.ZENLS_01Z'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'zenls_01z.pfc.pl\']"'.
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-base-examples-fol-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_base_examples_fol_ZENLS_01Z_Test_0002_Line_0000_ITweety-junit.xml
~*/
% birds fly by default.
(mdefault(( tBird(X) ==> tFly(X)))).
/*~
%~ call_mpred_post4 :-
%~ level=86 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mdefault( tBird(X)==>tFly(X)) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mdefault( tBird(X)==>tFly(X)) ,
%~ support_fact = mfl4(
%~ [ 'X'=X],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl', 46) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mdefault( tBird(Fly_Bird)==>tFly(Fly_Bird))).
%~ %~ Found positive trigger: mdefault((tBird(Fly_Bird)==>tFly(Fly_Bird)))
%~ %~ body: nonvar(tFly(Bird_Fly))*->rhs([ tBird(Bird_Fly)==>mdefault(tFly(Bird_Fly))])
%~ %~ RHS-Post1: tBird(Fly_Bird)==>mdefault(tFly(Fly_Bird))
%~ %~ Support: mdefault((tBird(Fly_Bird)==>tFly(Fly_Bird))),$pt(baseKB,mdefault((tBird(Fly_Bird3)==>tFly(Fly_Bird3))),(nonvar(tFly(Fly_Bird3))*->rhs(
%~ %~ [ tBird(Fly_Bird3)==>mdefault(tFly(Fly_Bird3))])))
%~ call_mpred_post4 :-
%~ level=126 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tBird(_928510)==>mdefault(tFly(_928510)) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tBird(_928510)==>mdefault(tFly(_928510)) ,
%~ support_fact = mdefault( tBird(Fly_Bird)==>tFly(Fly_Bird)) ,
%~ support_trig = '$pt'( baseKB,
%~ mdefault( tBird(Fly_Bird)==>tFly(Fly_Bird)),
%~ nonvar(tFly(_928510))*->rhs([(tBird(_928510)==>mdefault(tFly(_928510)))])).
%~ baseKB : mpred_fwc1( tBird(Fly_Bird)==>mdefault(tFly(Fly_Bird))).
%~ call_mpred_post4 :-
%~ level=176 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tBird,1,pfcLHS) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tBird,1,pfcLHS) ,
%~ support_fact = ( tBird(_1005726)==>mdefault(tFly(_1005726)) ,
%~ mfl4(
%~ [ 'X'=X1],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl', 46)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tBird,1,pfcLHS)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,pfcLHS)
%~ %~ body: \+ground((tBird/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tBird,1,pfcLHS)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,pfcLHS)
%~ %~ body: rhs([ arity(tBird,1),
%~ %~ functorIsMacro(tBird),
%~ %~ mpred_prop(baseKB,tBird,1,pfcWatches)])
%~ %~ RHS-Post1: arity(tBird,1)
%~ %~ Support: mpred_prop(baseKB,tBird,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,tBird,1,pfcLHS),rhs([ arity(tBird,1),
%~ %~ functorIsMacro(tBird),
%~ %~ mpred_prop(baseKB,tBird,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=214 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( tCol(tBird),'$pt'(baseKB,tCol(tBird),rhs([arity(tBird,1)]))) ,
%~ post1 = arity(tBird,1) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = arity(tBird,1) ,
%~ support_fact = mpred_prop(baseKB,tBird,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tBird,1,pfcLHS),
%~ rhs( [ arity(tBird,1), functorIsMacro(tBird),mpred_prop(baseKB,tBird,1,pfcWatches)])).
%~ %~ RHS-Post1: functorIsMacro(tBird)
%~ %~ Support: mpred_prop(baseKB,tBird,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,tBird,1,pfcLHS),rhs([ arity(tBird,1),
%~ %~ functorIsMacro(tBird),
%~ %~ mpred_prop(baseKB,tBird,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=215 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( functorDeclares(tBird) ,
%~ '$pt'(baseKB,functorDeclares(tBird),rhs([arityMax(tBird,1),functorIsMacro(tBird)])))) ,
%~ post1 = functorIsMacro(tBird) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = functorIsMacro(tBird) ,
%~ support_fact = mpred_prop(baseKB,tBird,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tBird,1,pfcLHS),
%~ rhs( [ arity(tBird,1), functorIsMacro(tBird),mpred_prop(baseKB,tBird,1,pfcWatches)])).
%~ %~ RHS-Post1: mpred_prop(baseKB,tBird,1,pfcWatches)
%~ %~ Support: mpred_prop(baseKB,tBird,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,tBird,1,pfcLHS),rhs([ arity(tBird,1),
%~ %~ functorIsMacro(tBird),
%~ %~ mpred_prop(baseKB,tBird,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=216 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tBird,1,pfcWatches) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tBird,1,pfcWatches) ,
%~ support_fact = mpred_prop(baseKB,tBird,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tBird,1,pfcLHS),
%~ rhs( [ arity(tBird,1), functorIsMacro(tBird),mpred_prop(baseKB,tBird,1,pfcWatches)])).
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tBird,1,pfcWatches)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,pfcWatches)
%~ %~ body: \+ground((tBird/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tBird,1,pfcWatches)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,pfcWatches)
%~ %~ body: rhs([ { kb_shared( baseKB : tBird/1) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,pfcWatches)
%~ %~ body: genlPreds(pfcWatches,Prop_GenlPreds_PfcWatches)*->rhs([ mpred_prop(baseKB,tBird,1,Prop_GenlPreds_PfcWatches)])
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,pfcLHS)
%~ %~ body: genlPreds(pfcLHS,Prop_GenlPreds_PfcLHS)*->rhs([ mpred_prop(baseKB,tBird,1,Prop_GenlPreds_PfcLHS)])
%~ %~ Adding positive
%~ %~ trigger: tBird(Bird)
%~ %~ body: rhs([ mdefault( tFly(Fly))])
%~ %~ Support: (tBird(Fly_Bird)==>mdefault(tFly(Fly_Bird))),mfl4(['X'=X],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L46 ',46)
%~ call_mpred_post4 :-
%~ level=182 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tBird,1,pfcPosTrigger) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tBird,1,pfcPosTrigger) ,
%~ support_fact = ( tBird(_2186)==>mdefault(tFly(_2186)) ,
%~ mfl4(
%~ [ 'X'=X],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl', 46)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tBird,1,pfcPosTrigger)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,pfcPosTrigger)
%~ %~ body: \+ground((tBird/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tBird,1,pfcPosTrigger)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,pfcPosTrigger)
%~ %~ body: rhs([ mpred_prop(baseKB,tBird,1,pfcWatches)])
%~ %~ RHS-Post1: mpred_prop(baseKB,tBird,1,pfcWatches)
%~ %~ Support: mpred_prop(baseKB,tBird,1,pfcPosTrigger),$pt(baseKB,mpred_prop(baseKB,tBird,1,pfcPosTrigger),rhs([ mpred_prop(baseKB,tBird,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=220 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mpred_prop(baseKB,tBird,1,pfcLHS) ,
%~ '$pt'( baseKB,
%~ mpred_prop(baseKB,tBird,1,pfcLHS),
%~ rhs( [ arity(tBird,1), functorIsMacro(tBird),mpred_prop(baseKB,tBird,1,pfcWatches)])))) ,
%~ post1 = mpred_prop(baseKB,tBird,1,pfcWatches) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tBird,1,pfcWatches) ,
%~ support_fact = mpred_prop(baseKB,tBird,1,pfcPosTrigger) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tBird,1,pfcPosTrigger),
%~ rhs([mpred_prop(baseKB,tBird,1,pfcWatches)])).
%~ %~ Found positive trigger: mpred_prop(baseKB,tBird,1,pfcPosTrigger)
%~ %~ body: genlPreds(pfcPosTrigger,Prop_GenlPreds_PfcPosTrigger)*->rhs([ mpred_prop(baseKB,tBird,1,Prop_GenlPreds_PfcPosTrigger)])
%~ %~ RHS-Post1: mdefault(tFly(iChilly))
%~ %~ Support: tBird(iChilly),$pt(baseKB,tBird(Fly_Bird),rhs([ mdefault( tFly(Fly_Bird))]))
%~ call_mpred_post4 :-
%~ level=174 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mdefault( tFly(iChilly)) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mdefault( tFly(iChilly)) ,
%~ support_fact = tBird(iChilly) ,
%~ support_trig = '$pt'(baseKB,tBird(_249604),rhs([mdefault(tFly(_249604))])).
%~ baseKB : mpred_fwc1( mdefault( tFly(iChilly))).
%~ %~ Found positive trigger: mdefault(tFly(iChilly))
%~ %~ body: mpred_positive_fact(tFly(iChilly)),if_missing_mask(tFly(iChilly),Ground_Fly,Mask_Ground)*->rhs([ ( \+Ground_Fly/(ground(Ground_Fly),Mask_Ground),\+ ~tFly(iChilly) ==>
%~ %~ tFly(iChilly))])
%~ %~ RHS-Post1: \+(tFly(iChilly)/ground(tFly(iChilly)),\+tFly(iChilly)),\+ ~tFly(iChilly)==>tFly(iChilly)
%~ %~ Support: mdefault(tFly(iChilly)),$pt(baseKB,mdefault(tFly(iChilly)),(mpred_positive_fact(tFly(iChilly)),if_missing_mask(tFly(iChilly),tFly(iChilly),\+tFly(iChilly))*->rhs(
%~ %~ [ \+tFly(iChilly)/(ground(tFly(iChilly)),\+tFly(iChilly)),\+ ~tFly(iChilly)==>tFly(iChilly)])))
%~ call_mpred_post4 :-
%~ level=214 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = ( \+tFly(iChilly)/(ground(tFly(iChilly)),\+tFly(iChilly)),\+ ~tFly(iChilly) ==>
%~ tFly(iChilly)) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = \+tFly(iChilly)/(ground(tFly(iChilly)),\+tFly(iChilly)),\+ ~tFly(iChilly)==>tFly(iChilly) ,
%~ support_fact = mdefault( tFly(iChilly)) ,
%~ support_trig = '$pt'( baseKB,
%~ mdefault( tFly(iChilly)),
%~ ( ( mpred_positive_fact( tFly(iChilly)) ,
%~ if_missing_mask(tFly(iChilly),tFly(iChilly),\+tFly(iChilly))) *->
%~ rhs([(\+tFly(iChilly)/(ground(tFly(iChilly)),\+tFly(iChilly)),\+ ~tFly(iChilly)==>tFly(iChilly))]))).
%~ baseKB : mpred_fwc1( \+tFly(iChilly)/(ground(tFly(iChilly)),\+tFly(iChilly)),\+ ~tFly(iChilly)==>tFly(iChilly)).
%~ call_mpred_post4 :-
%~ level=263 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tFly,1,pfcRHS) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tFly,1,pfcRHS) ,
%~ support_fact = mfl4(
%~ [ 'X'=X],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl', 46) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tFly,1,pfcRHS)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcRHS)
%~ %~ body: \+ground((tFly/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tFly,1,pfcRHS)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcRHS)
%~ %~ body: rhs([ mpred_prop(baseKB,tFly,1,pfcCreates)])
%~ %~ RHS-Post1: mpred_prop(baseKB,tFly,1,pfcCreates)
%~ %~ Support: mpred_prop(baseKB,tFly,1,pfcRHS),$pt(baseKB,mpred_prop(baseKB,tFly,1,pfcRHS),rhs([ mpred_prop(baseKB,tFly,1,pfcCreates)]))
%~ call_mpred_post4 :-
%~ level=301 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tFly,1,pfcCreates) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tFly,1,pfcCreates) ,
%~ support_fact = mpred_prop(baseKB,tFly,1,pfcRHS) ,
%~ support_trig = '$pt'(baseKB,mpred_prop(baseKB,tFly,1,pfcRHS),rhs([mpred_prop(baseKB,tFly,1,pfcCreates)])).
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tFly,1,pfcCreates)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcCreates)
%~ %~ body: \+ground((tFly/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tFly,1,pfcCreates)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcCreates)
%~ %~ body: rhs([ { baseKB : warn_if_static(tFly,1) },
%~ %~ { kb_shared( baseKB : tFly/1) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcCreates)
%~ %~ body: genlPreds(pfcCreates,Prop_GenlPreds_PfcCreates)*->rhs([ mpred_prop(baseKB,tFly,1,Prop_GenlPreds_PfcCreates)])
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcRHS)
%~ %~ body: genlPreds(pfcRHS,Prop_GenlPreds_PfcRHS)*->rhs([ mpred_prop(baseKB,tFly,1,Prop_GenlPreds_PfcRHS)])
%~ %~ RHS-Post1: mpred_prop(baseKB,tFly,1,pfcControlled)
%~ %~ Support: mpred_prop(baseKB,tFly,1,pfcRHS),$pt(baseKB,mpred_prop(baseKB,tFly,1,pfcRHS),(genlPreds(pfcRHS,pfcControlled)*->rhs([ mpred_prop(baseKB,tFly,1,pfcControlled)])))
%~ call_mpred_post4 :-
%~ level=303 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tFly,1,pfcControlled) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tFly,1,pfcControlled) ,
%~ support_fact = mpred_prop(baseKB,tFly,1,pfcRHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tFly,1,pfcRHS),
%~ genlPreds(pfcRHS,pfcControlled)*->rhs([mpred_prop(baseKB,tFly,1,pfcControlled)])).
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tFly,1,pfcControlled)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcControlled)
%~ %~ body: \+ground((tFly/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tFly,1,pfcControlled)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcControlled)
%~ %~ body: rhs([ { kb_shared( baseKB : tFly/1) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcControlled)
%~ %~ body: genlPreds(pfcControlled,Prop_GenlPreds_PfcControlled)*->rhs([ mpred_prop(baseKB,tFly,1,Prop_GenlPreds_PfcControlled)])
%~ %~ RHS-Post1: mpred_prop(baseKB,tFly,1,prologHybrid)
%~ %~ Support: mpred_prop(baseKB,tFly,1,pfcControlled),$pt(baseKB,mpred_prop(baseKB,tFly,1,pfcControlled),(genlPreds(pfcControlled,prologHybrid)*->rhs(
%~ %~ [ mpred_prop(baseKB,tFly,1,prologHybrid)])))
%~ call_mpred_post4 :-
%~ level=343 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tFly,1,prologHybrid) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tFly,1,prologHybrid) ,
%~ support_fact = mpred_prop(baseKB,tFly,1,pfcControlled) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tFly,1,pfcControlled),
%~ genlPreds(pfcControlled,prologHybrid)*->rhs([mpred_prop(baseKB,tFly,1,prologHybrid)])).
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tFly,1,prologHybrid)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,prologHybrid)
%~ %~ body: \+ground((tFly/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tFly,1,prologHybrid)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,prologHybrid)
%~ %~ body: genlPreds(prologHybrid,Prop_GenlPreds_PrologHybrid)*->rhs([ mpred_prop(baseKB,tFly,1,Prop_GenlPreds_PrologHybrid)])
%~ %~ RHS-Post1: mpred_prop(baseKB,tFly,1,prologHybrid)
%~ %~ Support: mpred_prop(baseKB,tFly,1,pfcRHS),$pt(baseKB,mpred_prop(baseKB,tFly,1,pfcRHS),(genlPreds(pfcRHS,prologHybrid)*->rhs([ mpred_prop(baseKB,tFly,1,prologHybrid)])))
%~ call_mpred_post4 :-
%~ level=303 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mpred_prop(baseKB,tFly,1,pfcControlled) ,
%~ '$pt'( baseKB,
%~ mpred_prop(baseKB,tFly,1,pfcControlled),
%~ genlPreds(pfcControlled,prologHybrid)*->rhs([mpred_prop(baseKB,tFly,1,prologHybrid)])))) ,
%~ post1 = mpred_prop(baseKB,tFly,1,prologHybrid) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tFly,1,prologHybrid) ,
%~ support_fact = mpred_prop(baseKB,tFly,1,pfcRHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tFly,1,pfcRHS),
%~ genlPreds(pfcRHS,prologHybrid)*->rhs([mpred_prop(baseKB,tFly,1,prologHybrid)])).
%~ call_mpred_post4 :-
%~ level=266 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tFly,1,pfcLHS) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tFly,1,pfcLHS) ,
%~ support_fact = ( ( \+tFly(iChilly)/(ground(tFly(iChilly)),\+tFly(iChilly)),\+ ~tFly(iChilly) ==>
%~ tFly(iChilly)) ,
%~ mfl4(
%~ [ 'X'=X1],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl', 46)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tFly,1,pfcLHS)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcLHS)
%~ %~ body: \+ground((tFly/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tFly,1,pfcLHS)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcLHS)
%~ %~ body: rhs([ arity(tFly,1),
%~ %~ functorIsMacro(tFly),
%~ %~ mpred_prop(baseKB,tFly,1,pfcWatches)])
%~ %~ RHS-Post1: arity(tFly,1)
%~ %~ Support: mpred_prop(baseKB,tFly,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,tFly,1,pfcLHS),rhs([ arity(tFly,1),
%~ %~ functorIsMacro(tFly),
%~ %~ mpred_prop(baseKB,tFly,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=304 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( tCol(tFly),'$pt'(baseKB,tCol(tFly),rhs([arity(tFly,1)]))) ,
%~ post1 = arity(tFly,1) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = arity(tFly,1) ,
%~ support_fact = mpred_prop(baseKB,tFly,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tFly,1,pfcLHS),
%~ rhs( [ arity(tFly,1), functorIsMacro(tFly),mpred_prop(baseKB,tFly,1,pfcWatches)])).
%~ %~ RHS-Post1: functorIsMacro(tFly)
%~ %~ Support: mpred_prop(baseKB,tFly,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,tFly,1,pfcLHS),rhs([ arity(tFly,1),
%~ %~ functorIsMacro(tFly),
%~ %~ mpred_prop(baseKB,tFly,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=305 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( functorDeclares(tFly) ,
%~ '$pt'(baseKB,functorDeclares(tFly),rhs([arityMax(tFly,1),functorIsMacro(tFly)])))) ,
%~ post1 = functorIsMacro(tFly) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = functorIsMacro(tFly) ,
%~ support_fact = mpred_prop(baseKB,tFly,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tFly,1,pfcLHS),
%~ rhs( [ arity(tFly,1), functorIsMacro(tFly),mpred_prop(baseKB,tFly,1,pfcWatches)])).
%~ %~ RHS-Post1: mpred_prop(baseKB,tFly,1,pfcWatches)
%~ %~ Support: mpred_prop(baseKB,tFly,1,pfcLHS),$pt(baseKB,mpred_prop(baseKB,tFly,1,pfcLHS),rhs([ arity(tFly,1),
%~ %~ functorIsMacro(tFly),
%~ %~ mpred_prop(baseKB,tFly,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=306 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tFly,1,pfcWatches) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tFly,1,pfcWatches) ,
%~ support_fact = mpred_prop(baseKB,tFly,1,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tFly,1,pfcLHS),
%~ rhs( [ arity(tFly,1), functorIsMacro(tFly),mpred_prop(baseKB,tFly,1,pfcWatches)])).
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tFly,1,pfcWatches)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcWatches)
%~ %~ body: \+ground((tFly/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tFly,1,pfcWatches)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcWatches)
%~ %~ body: rhs([ { kb_shared( baseKB : tFly/1) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcWatches)
%~ %~ body: genlPreds(pfcWatches,Prop_GenlPreds_PfcWatches)*->rhs([ mpred_prop(baseKB,tFly,1,Prop_GenlPreds_PfcWatches)])
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcLHS)
%~ %~ body: genlPreds(pfcLHS,Prop_GenlPreds_PfcLHS)*->rhs([ mpred_prop(baseKB,tFly,1,Prop_GenlPreds_PfcLHS)])
%~ call_mpred_post4 :-
%~ level=267 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tFly,1,pfcCallCode) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tFly,1,pfcCallCode) ,
%~ support_fact = ( ( \+tFly(iChilly)/(ground(tFly(iChilly)),\+tFly(iChilly)),\+ ~tFly(iChilly) ==>
%~ tFly(iChilly)) ,
%~ mfl4(
%~ [ 'X'=X1],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl', 46)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tFly,1,pfcCallCode)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcCallCode)
%~ %~ body: \+ground((tFly/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tFly,1,pfcCallCode)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcCallCode)
%~ %~ body: predicate_is_undefined_fa(tFly,1)*->rhs([ mpred_prop(baseKB,tFly,1,needsDefined)])
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcCallCode)
%~ %~ body: genlPreds(pfcCallCode,Prop_GenlPreds_PfcCallCode)*->rhs([ mpred_prop(baseKB,tFly,1,Prop_GenlPreds_PfcCallCode)])
%~ call_mpred_post4 :-
%~ level=270 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tFly,1,pfcNegTrigger) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tFly,1,pfcNegTrigger) ,
%~ support_fact = ( ( \+tFly(iChilly)/(ground(tFly(iChilly)),\+tFly(iChilly)),\+ ~tFly(iChilly) ==>
%~ tFly(iChilly)) ,
%~ mfl4(
%~ [ 'X'=X],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl', 46)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tFly,1,pfcNegTrigger)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcNegTrigger)
%~ %~ body: \+ground((tFly/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tFly,1,pfcNegTrigger)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcNegTrigger)
%~ %~ body: rhs([ mpred_prop(baseKB,tFly,1,pfcWatches)])
%~ %~ RHS-Post1: mpred_prop(baseKB,tFly,1,pfcWatches)
%~ %~ Support: mpred_prop(baseKB,tFly,1,pfcNegTrigger),$pt(baseKB,mpred_prop(baseKB,tFly,1,pfcNegTrigger),rhs([ mpred_prop(baseKB,tFly,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=308 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mpred_prop(baseKB,tFly,1,pfcLHS) ,
%~ '$pt'( baseKB,
%~ mpred_prop(baseKB,tFly,1,pfcLHS),
%~ rhs( [ arity(tFly,1), functorIsMacro(tFly),mpred_prop(baseKB,tFly,1,pfcWatches)])))) ,
%~ post1 = mpred_prop(baseKB,tFly,1,pfcWatches) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tFly,1,pfcWatches) ,
%~ support_fact = mpred_prop(baseKB,tFly,1,pfcNegTrigger) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tFly,1,pfcNegTrigger),
%~ rhs([mpred_prop(baseKB,tFly,1,pfcWatches)])).
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcNegTrigger)
%~ %~ body: genlPreds(pfcNegTrigger,Prop_GenlPreds_PfcNegTrigger)*->rhs([ mpred_prop(baseKB,tFly,1,Prop_GenlPreds_PfcNegTrigger)])
%~ %~ Adding negative
%~ %~ trigger: tFly(iChilly)
%~ %~ test: call_u_no_bc(tFly(iChilly)),ground(tFly(iChilly)),\+tFly(iChilly)
%~ %~ body: $nt(~tFly(iChilly),call_u_no_bc(~tFly(iChilly)),rhs([ tFly(iChilly)]))
%~ %~ Support: (\+(tFly(iChilly)/ground(tFly(iChilly)),\+tFly(iChilly)),\+ ~tFly(iChilly)==>tFly(iChilly)),mfl4(['X'=X],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L46 ',46)
%~ %~ Adding negative
%~ %~ trigger: ~tFly(iChilly)
%~ %~ test: call_u_no_bc(~tFly(iChilly))
%~ %~ body: rhs([ tFly(iChilly)])
%~ %~ Support: \+tFly(iChilly),$nt(tFly(iChilly),(call_u_no_bc(tFly(iChilly)),ground(tFly(iChilly)),\+tFly(iChilly)),$nt(~tFly(iChilly),call_u_no_bc(~tFly(iChilly)),rhs(
%~ %~ [ tFly(iChilly)])))
%~ %~ Adding NEG mpred_do_fcnt via support
%~ %~ trigger: tFly(iChilly)
%~ %~ cond: call_u_no_bc(tFly(iChilly)),ground(tFly(iChilly)),\+tFly(iChilly)
%~ %~ action: $nt(~tFly(iChilly),call_u_no_bc(~tFly(iChilly)),rhs([ tFly(iChilly)]))
%~ %~ from: mpred_add_support_fast($nt(~tFly(iChilly),call_u_no_bc(~tFly(iChilly)),rhs([ tFly(iChilly)])),(\+tFly(iChilly),$nt(tFly(iChilly),(call_u_no_bc(tFly(iChilly)),ground(tFly(iChilly)),\+tFly(iChilly)),$nt(~tFly(iChilly),call_u_no_bc(~tFly(iChilly)),rhs(
%~ %~ [ tFly(iChilly)])))))
%~ %~ RHS-Post1: tFly(iChilly)
%~ %~ Support: \+ ~tFly(iChilly),$nt(~tFly(iChilly),call_u_no_bc(~tFly(iChilly)),rhs([ tFly(iChilly)]))
%~ call_mpred_post4 :-
%~ level=267 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tFly(iChilly) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tFly(iChilly) ,
%~ support_fact = \+( ~( tFly(iChilly))) ,
%~ support_trig = '$nt'(~tFly(iChilly),call_u_no_bc(~tFly(iChilly)),rhs([tFly(iChilly)])).
%~ %~ Adding NEG mpred_do_fcnt via support
%~ %~ trigger: ~tFly(iChilly)
%~ %~ cond: call_u_no_bc(~tFly(iChilly))
%~ %~ action: rhs([ tFly(iChilly)])
%~ %~ from: mpred_add_support_fast(tFly(iChilly),(\+ ~tFly(iChilly),$nt(~tFly(iChilly),call_u_no_bc(~tFly(iChilly)),rhs([ tFly(iChilly)]))))
%~ baseKB : mpred_fwc1( tFly(iChilly)).
%~ %~ Found negative trigger: tFly(iChilly)
%~ %~ cond: call_u_no_bc(tFly(iChilly)),ground(tFly(iChilly)),\+tFly(iChilly)
%~ %~ body: $nt(~tFly(iChilly),call_u_no_bc(~tFly(iChilly)),rhs([ tFly(iChilly)]))
%~ %~ Support: $spft(baseKB,$nt(~tFly(iChilly),call_u_no_bc(~tFly(iChilly)),rhs([ tFly(iChilly)])),\+tFly(iChilly),$nt(tFly(iChilly),(call_u_no_bc(tFly(iChilly)),ground(tFly(iChilly)),\+tFly(iChilly)),$nt(~tFly(iChilly),call_u_no_bc(~tFly(iChilly)),rhs(
%~ %~ [ tFly(iChilly)]))))
%~ %~ Found positive trigger: mdefault(tFly(iChilly))
%~ %~ body: mpred_positive_fact(tFly(iChilly)),if_missing_mask(tFly(iChilly),Ground_Fly,Mask)*->rhs([ ( ( Ground_Fly /
%~ %~ ( ground(Ground_Fly) ,
%~ %~ Mask ,
%~ %~ \+( Ground_Fly =
%~ %~
%~ %~ tFly(iChilly)))) ==>
%~ %~ \+( tFly(iChilly)))])
%~ %~ RHS-Post1: (tFly(iChilly)/ground(tFly(iChilly)),\+tFly(iChilly),\+tFly(iChilly)=tFly(iChilly))==> \+tFly(iChilly)
%~ %~ Support: mdefault(tFly(iChilly)),$pt(baseKB,mdefault(tFly(iChilly)),(mpred_positive_fact(tFly(iChilly)),if_missing_mask(tFly(iChilly),tFly(iChilly),\+tFly(iChilly))*->rhs(
%~ %~ [ ( tFly(iChilly)/(ground(tFly(iChilly)),\+tFly(iChilly),\+tFly(iChilly)=tFly(iChilly)) ==>
%~ %~ \+( tFly(iChilly)))])))
%~ call_mpred_post4 :-
%~ level=214 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = ( tFly(iChilly)/(ground(tFly(iChilly)),\+tFly(iChilly),\+tFly(iChilly)=tFly(iChilly)) ==>
%~ \+( tFly(iChilly))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = ( tFly(iChilly)/(ground(tFly(iChilly)),\+tFly(iChilly),\+tFly(iChilly)=tFly(iChilly)) ==>
%~ \+( tFly(iChilly))) ,
%~ support_fact = mdefault( tFly(iChilly)) ,
%~ support_trig = '$pt'( baseKB,
%~ mdefault( tFly(iChilly)),
%~ ( ( mpred_positive_fact( tFly(iChilly)) ,
%~ if_missing_mask(tFly(iChilly),tFly(iChilly),\+tFly(iChilly))) *->
%~ rhs([(tFly(iChilly)/(ground(tFly(iChilly)),\+tFly(iChilly),\+tFly(iChilly)=tFly(iChilly))==> \+tFly(iChilly))]))).
%~ baseKB : mpred_fwc1( ( tFly(iChilly)/(ground(tFly(iChilly)),\+tFly(iChilly),\+tFly(iChilly)=tFly(iChilly)) ==>
%~ \+( tFly(iChilly)))).
%~ %~ Adding positive
%~ %~ trigger: tFly(iChilly)
%~ %~ body: ground(tFly(iChilly)),\+tFly(iChilly),\+tFly(iChilly)=tFly(iChilly)*->rhs([ \+( tFly(iChilly))])
%~ %~ Support: ((tFly(iChilly)/ground(tFly(iChilly)),\+tFly(iChilly),\+tFly(iChilly)=tFly(iChilly))==> \+tFly(iChilly)),mfl4(['X'=X],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L46 ',46)
%~ call_mpred_post4 :-
%~ level=270 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,tFly,1,pfcPosTrigger) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tFly,1,pfcPosTrigger) ,
%~ support_fact = ( ( ( tFly(iChilly) /
%~ ( ground( tFly(iChilly)) ,
%~ \+( tFly(iChilly)) ,
%~ \+( tFly(iChilly) =
%~
%~ tFly(iChilly)))) ==>
%~ \+( tFly(iChilly))) ,
%~ mfl4(
%~ [ 'X'=X],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl', 46)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,tFly,1,pfcPosTrigger)).
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcPosTrigger)
%~ %~ body: \+ground((tFly/1))*->rhs([ { trace_or_throw( mpred_prop(baseKB,tFly,1,pfcPosTrigger)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcPosTrigger)
%~ %~ body: rhs([ mpred_prop(baseKB,tFly,1,pfcWatches)])
%~ %~ RHS-Post1: mpred_prop(baseKB,tFly,1,pfcWatches)
%~ %~ Support: mpred_prop(baseKB,tFly,1,pfcPosTrigger),$pt(baseKB,mpred_prop(baseKB,tFly,1,pfcPosTrigger),rhs([ mpred_prop(baseKB,tFly,1,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=308 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status = simular( ( mpred_prop(baseKB,tFly,1,pfcLHS) ,
%~ '$pt'( baseKB,
%~ mpred_prop(baseKB,tFly,1,pfcLHS),
%~ rhs( [ arity(tFly,1), functorIsMacro(tFly),mpred_prop(baseKB,tFly,1,pfcWatches)])))) ,
%~ post1 = mpred_prop(baseKB,tFly,1,pfcWatches) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,tFly,1,pfcWatches) ,
%~ support_fact = mpred_prop(baseKB,tFly,1,pfcPosTrigger) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,tFly,1,pfcPosTrigger),
%~ rhs([mpred_prop(baseKB,tFly,1,pfcWatches)])).
%~ %~ Found positive trigger: mpred_prop(baseKB,tFly,1,pfcPosTrigger)
%~ %~ body: genlPreds(pfcPosTrigger,Prop_GenlPreds_PfcPosTrigger)*->rhs([ mpred_prop(baseKB,tFly,1,Prop_GenlPreds_PfcPosTrigger)])
%~ %~ RHS-Post1: mdefault(tFly(iTweety))
%~ %~ Support: tBird(iTweety),$pt(baseKB,tBird(Fly_Bird),rhs([ mdefault( tFly(Fly_Bird))]))
%~ call_mpred_post4 :-
%~ level=174 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mdefault( tFly(iTweety)) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mdefault( tFly(iTweety)) ,
%~ support_fact = tBird(iTweety) ,
%~ support_trig = '$pt'(baseKB,tBird(_2488),rhs([mdefault(tFly(_2488))])).
%~ baseKB : mpred_fwc1( mdefault( tFly(iTweety))).
%~ %~ Found positive trigger: mdefault(tFly(iTweety))
%~ %~ body: mpred_positive_fact(tFly(iTweety)),if_missing_mask(tFly(iTweety),Ground_Fly,Mask_Ground)*->rhs([ ( \+Ground_Fly/(ground(Ground_Fly),Mask_Ground),\+ ~tFly(iTweety) ==>
%~ %~ tFly(iTweety))])
%~ %~ RHS-Post1: \+(tFly(iTweety)/ground(tFly(iTweety)),\+tFly(iTweety)),\+ ~tFly(iTweety)==>tFly(iTweety)
%~ %~ Support: mdefault(tFly(iTweety)),$pt(baseKB,mdefault(tFly(iTweety)),(mpred_positive_fact(tFly(iTweety)),if_missing_mask(tFly(iTweety),tFly(iTweety),\+tFly(iTweety))*->rhs(
%~ %~ [ \+tFly(iTweety)/(ground(tFly(iTweety)),\+tFly(iTweety)),\+ ~tFly(iTweety)==>tFly(iTweety)])))
%~ call_mpred_post4 :-
%~ level=214 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = ( \+tFly(iTweety)/(ground(tFly(iTweety)),\+tFly(iTweety)),\+ ~tFly(iTweety) ==>
%~ tFly(iTweety)) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = \+tFly(iTweety)/(ground(tFly(iTweety)),\+tFly(iTweety)),\+ ~tFly(iTweety)==>tFly(iTweety) ,
%~ support_fact = mdefault( tFly(iTweety)) ,
%~ support_trig = '$pt'( baseKB,
%~ mdefault( tFly(iTweety)),
%~ ( ( mpred_positive_fact( tFly(iTweety)) ,
%~ if_missing_mask(tFly(iTweety),tFly(iTweety),\+tFly(iTweety))) *->
%~ rhs([(\+tFly(iTweety)/(ground(tFly(iTweety)),\+tFly(iTweety)),\+ ~tFly(iTweety)==>tFly(iTweety))]))).
%~ baseKB : mpred_fwc1( \+tFly(iTweety)/(ground(tFly(iTweety)),\+tFly(iTweety)),\+ ~tFly(iTweety)==>tFly(iTweety)).
%~ %~ Adding negative
%~ %~ trigger: tFly(iTweety)
%~ %~ test: call_u_no_bc(tFly(iTweety)),ground(tFly(iTweety)),\+tFly(iTweety)
%~ %~ body: $nt(~tFly(iTweety),call_u_no_bc(~tFly(iTweety)),rhs([ tFly(iTweety)]))
%~ %~ Support: (\+(tFly(iTweety)/ground(tFly(iTweety)),\+tFly(iTweety)),\+ ~tFly(iTweety)==>tFly(iTweety)),mfl4(['X'=X],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L46 ',46)
%~ %~ Adding negative
%~ %~ trigger: ~tFly(iTweety)
%~ %~ test: call_u_no_bc(~tFly(iTweety))
%~ %~ body: rhs([ tFly(iTweety)])
%~ %~ Support: \+tFly(iTweety),$nt(tFly(iTweety),(call_u_no_bc(tFly(iTweety)),ground(tFly(iTweety)),\+tFly(iTweety)),$nt(~tFly(iTweety),call_u_no_bc(~tFly(iTweety)),rhs(
%~ %~ [ tFly(iTweety)])))
%~ %~ Adding NEG mpred_do_fcnt via support
%~ %~ trigger: tFly(iTweety)
%~ %~ cond: call_u_no_bc(tFly(iTweety)),ground(tFly(iTweety)),\+tFly(iTweety)
%~ %~ action: $nt(~tFly(iTweety),call_u_no_bc(~tFly(iTweety)),rhs([ tFly(iTweety)]))
%~ %~ from: mpred_add_support_fast($nt(~tFly(iTweety),call_u_no_bc(~tFly(iTweety)),rhs([ tFly(iTweety)])),(\+tFly(iTweety),$nt(tFly(iTweety),(call_u_no_bc(tFly(iTweety)),ground(tFly(iTweety)),\+tFly(iTweety)),$nt(~tFly(iTweety),call_u_no_bc(~tFly(iTweety)),rhs(
%~ %~ [ tFly(iTweety)])))))
%~ %~ RHS-Post1: tFly(iTweety)
%~ %~ Support: \+ ~tFly(iTweety),$nt(~tFly(iTweety),call_u_no_bc(~tFly(iTweety)),rhs([ tFly(iTweety)]))
%~ call_mpred_post4 :-
%~ level=267 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tFly(iTweety) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tFly(iTweety) ,
%~ support_fact = \+( ~( tFly(iTweety))) ,
%~ support_trig = '$nt'(~tFly(iTweety),call_u_no_bc(~tFly(iTweety)),rhs([tFly(iTweety)])).
%~ %~ Adding NEG mpred_do_fcnt via support
%~ %~ trigger: ~tFly(iTweety)
%~ %~ cond: call_u_no_bc(~tFly(iTweety))
%~ %~ action: rhs([ tFly(iTweety)])
%~ %~ from: mpred_add_support_fast(tFly(iTweety),(\+ ~tFly(iTweety),$nt(~tFly(iTweety),call_u_no_bc(~tFly(iTweety)),rhs([ tFly(iTweety)]))))
%~ baseKB : mpred_fwc1( tFly(iTweety)).
%~ %~ Found negative trigger: tFly(iTweety)
%~ %~ cond: call_u_no_bc(tFly(iTweety)),ground(tFly(iTweety)),\+tFly(iTweety)
%~ %~ body: $nt(~tFly(iTweety),call_u_no_bc(~tFly(iTweety)),rhs([ tFly(iTweety)]))
%~ %~ Support: $spft(baseKB,$nt(~tFly(iTweety),call_u_no_bc(~tFly(iTweety)),rhs([ tFly(iTweety)])),\+tFly(iTweety),$nt(tFly(iTweety),(call_u_no_bc(tFly(iTweety)),ground(tFly(iTweety)),\+tFly(iTweety)),$nt(~tFly(iTweety),call_u_no_bc(~tFly(iTweety)),rhs(
%~ %~ [ tFly(iTweety)]))))
%~ %~ Found positive trigger: mdefault(tFly(iTweety))
%~ %~ body: mpred_positive_fact(tFly(iTweety)),if_missing_mask(tFly(iTweety),Ground_Fly,Mask)*->rhs([ ( ( Ground_Fly /
%~ %~ ( ground(Ground_Fly) ,
%~ %~ Mask ,
%~ %~ \+( Ground_Fly =
%~ %~
%~ %~ tFly(iTweety)))) ==>
%~ %~ \+( tFly(iTweety)))])
%~ %~ RHS-Post1: (tFly(iTweety)/ground(tFly(iTweety)),\+tFly(iTweety),\+tFly(iTweety)=tFly(iTweety))==> \+tFly(iTweety)
%~ %~ Support: mdefault(tFly(iTweety)),$pt(baseKB,mdefault(tFly(iTweety)),(mpred_positive_fact(tFly(iTweety)),if_missing_mask(tFly(iTweety),tFly(iTweety),\+tFly(iTweety))*->rhs(
%~ %~ [ ( tFly(iTweety)/(ground(tFly(iTweety)),\+tFly(iTweety),\+tFly(iTweety)=tFly(iTweety)) ==>
%~ %~ \+( tFly(iTweety)))])))
%~ call_mpred_post4 :-
%~ level=214 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = ( tFly(iTweety)/(ground(tFly(iTweety)),\+tFly(iTweety),\+tFly(iTweety)=tFly(iTweety)) ==>
%~ \+( tFly(iTweety))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = ( tFly(iTweety)/(ground(tFly(iTweety)),\+tFly(iTweety),\+tFly(iTweety)=tFly(iTweety)) ==>
%~ \+( tFly(iTweety))) ,
%~ support_fact = mdefault( tFly(iTweety)) ,
%~ support_trig = '$pt'( baseKB,
%~ mdefault( tFly(iTweety)),
%~ ( ( mpred_positive_fact( tFly(iTweety)) ,
%~ if_missing_mask(tFly(iTweety),tFly(iTweety),\+tFly(iTweety))) *->
%~ rhs([(tFly(iTweety)/(ground(tFly(iTweety)),\+tFly(iTweety),\+tFly(iTweety)=tFly(iTweety))==> \+tFly(iTweety))]))).
%~ baseKB : mpred_fwc1( ( tFly(iTweety)/(ground(tFly(iTweety)),\+tFly(iTweety),\+tFly(iTweety)=tFly(iTweety)) ==>
%~ \+( tFly(iTweety)))).
%~ %~ Adding positive
%~ %~ trigger: tFly(iTweety)
%~ %~ body: ground(tFly(iTweety)),\+tFly(iTweety),\+tFly(iTweety)=tFly(iTweety)*->rhs([ \+( tFly(iTweety))])
%~ %~ Support: ((tFly(iTweety)/ground(tFly(iTweety)),\+tFly(iTweety),\+tFly(iTweety)=tFly(iTweety))==> \+tFly(iTweety)),mfl4(['X'=X],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L46 ',46)
%~ %~ Found positive trigger: mdefault((tBird(Fly_Bird)==>tFly(Fly_Bird)))
%~ %~ body: mpred_positive_fact((tBird(Fly_Bird)==>tFly(Fly_Bird))),if_missing_mask((tBird(Fly_Bird)==>tFly(Fly_Bird)),Ground5,Mask_Ground)*->rhs(
%~ %~ [ ( ( \+( Ground5/(ground(Ground5),Mask_Ground)) ,
%~ %~ \+( ~( tBird(Fly_Bird)==>tFly(Fly_Bird)))) ==>
%~ %~ tBird(Fly_Bird) ==>
%~ %~ tFly(Fly_Bird))])
%~ %~ Found positive trigger: mdefault((tBird(Fly_Bird)==>tFly(Fly_Bird)))
%~ %~ body: mpred_positive_fact((tBird(Fly_Bird)==>tFly(Fly_Bird))),if_missing_mask((tBird(Fly_Bird)==>tFly(Fly_Bird)),Ground_Bird_d439650_Fly_d439650,Mask)*->rhs(
%~ %~ [ ( ( Ground_Bird_d439650_Fly_d439650 /
%~ %~ ( ground(Ground_Bird_d439650_Fly_d439650) ,
%~ %~ Mask ,
%~ %~ \+( Ground_Bird_d439650_Fly_d439650 =
%~ %~
%~ %~ tBird(Fly_Bird)==>tFly(Fly_Bird)))) ==>
%~ %~ \+( tBird(Fly_Bird)==>tFly(Fly_Bird)))])
~*/
:-mpred_test((isa(I,tFly),I=iChilly)).
/*~
%~ ?-( mpred_test("Test_0003_Line_0000__TFly",baseKB:(isa(I,tFly),I=iChilly))).
passed=info(why_was_true(baseKB:(isa(iChilly,tFly),iChilly=iChilly)))
no_proof_for((isa(iChilly,tFly),iChilly=iChilly)).
no_proof_for((isa(iChilly,tFly),iChilly=iChilly)).
no_proof_for((isa(iChilly,tFly),iChilly=iChilly)).
name = 'logicmoo.base.examples.fol.ZENLS_01Z-Test_0003_Line_0000__TFly'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.ZENLS_01Z'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'zenls_01z.pfc.pl\']"'.
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-base-examples-fol-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_base_examples_fol_ZENLS_01Z_Test_0003_Line_0000_TFly-junit.xml
~*/
:-mpred_test((tFly(iTweety))).
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl:50
%~ ?-( mpred_test("Test_0004_Line_0000__ITweety",baseKB:tFly(iTweety))).
%~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L50
passed=info(why_was_true(baseKB:tFly(iTweety)))
Justifications for tFly(iTweety):
1.1 \+ ~tFly(iTweety) % [/boot/init.pl:512]
1.2 \+tFly(iTweety) % [/boot/init.pl:512]
1.3 \+(tFly(iTweety)/ground(tFly(iTweety)),\+tFly(iTweety)),\+ ~tFly(iTweety)==>tFly(iTweety) % [mfl4(_1138542,_1138544,_1138546,_1138548)]
1.4 mdefault(tFly(iTweety)) % [mfl4(_1139248,_1139250,_1139252,_1139254)]
1.5 (mdefault(W4)/mpred_positive_fact(W4),if_missing_mask(W4,X4,Y4))==>(\+(X4/ground(X4),Y4),\+ ~W4==>W4) % [pfc/prolog/pfclib/system_mdefault.pfc.pl:61]
1.6 tBird(iTweety) % [mfl4(_1141002,_1141004,_1141006,_1141008)]
1.7 tBird(W4)==>mdefault(tFly(W4)) % [mfl4(_1141730,_1141732,_1141734,_1141736)]
1.8 mfl4(['Q'=_,'R'=_,'Test'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/prolog/pfclib/system_mdefault.pfc.pl#L61 ',61)
1.9 tCanary(iTweety) % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L40 ]
1.10 tCanary(W4)==>tBird(W4) % [mfl4(_1143794,_1143796,_1143798,_1143800)]
1.11 mdefault((tBird(W4)==>tFly(W4))) % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L46 ]
1.12 (mdefault((W4==>X4))/nonvar(X4))==>(W4==>mdefault(X4)) % [pfc/prolog/pfclib/system_mdefault.pfc.pl:54]
1.13 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L40 ',40)
1.14 genls(tCanary,tBird) % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L29 ]
1.15 (genls(W4,X4)/W4\=X4)==>(isa(Y4,W4)==>isa(Y4,X4)) % [mfl4(_1147768,_1147770,_1147772,_1147774)]
1.16 mfl4(['X'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L46 ',46)
1.17 mfl4(['P'=_,'Q'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/prolog/pfclib/system_mdefault.pfc.pl#L54 ',54)
1.18 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L29 ',29)
1.19 \+tooSlow % [/boot/init.pl:512]
1.20 \+tooSlow==>((genls(W4,X4)/W4\=X4)==>(isa(Y4,W4)==>isa(Y4,X4))) % [logicmoo_base/prolog/logicmoo/pfc/system_basic.pfc.pl:354]
1.21 mfl4(['C'=_,'P'=_,'I'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_basic.pfc.pl#L354 ',354)
name = 'logicmoo.base.examples.fol.ZENLS_01Z-Test_0004_Line_0000__ITweety'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.ZENLS_01Z'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'zenls_01z.pfc.pl\']"'.
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-base-examples-fol-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_base_examples_fol_ZENLS_01Z_Test_0004_Line_0000_ITweety-junit.xml
~*/
:-mpred_test((tFly(iChilly))).
% penguins do ~ tFly.
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl:51
%~ ?-( mpred_test("Test_0005_Line_0000__IChilly",baseKB:tFly(iChilly))).
%~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L51
passed=info(why_was_true(baseKB:tFly(iChilly)))
Justifications for tFly(iChilly):
1.1 \+ ~tFly(iChilly) % [/boot/init.pl:512]
1.2 \+tFly(iChilly) % [/boot/init.pl:512]
1.3 \+(tFly(iChilly)/ground(tFly(iChilly)),\+tFly(iChilly)),\+ ~tFly(iChilly)==>tFly(iChilly) % [mfl4(_2861024,_2861026,_2861028,_2861030)]
1.4 mdefault(tFly(iChilly)) % [mfl4(_2861730,_2861732,_2861734,_2861736)]
1.5 (mdefault(W4)/mpred_positive_fact(W4),if_missing_mask(W4,X4,Y4))==>(\+(X4/ground(X4),Y4),\+ ~W4==>W4) % [pfc/prolog/pfclib/system_mdefault.pfc.pl:61]
1.6 tBird(iChilly) % [mfl4(_2863484,_2863486,_2863488,_2863490)]
1.7 tBird(W4)==>mdefault(tFly(W4)) % [mfl4(_2864212,_2864214,_2864216,_2864218)]
1.8 mfl4(['Q'=_,'R'=_,'Test'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/prolog/pfclib/system_mdefault.pfc.pl#L61 ',61)
1.9 tPenguin(iChilly) % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L34 ]
1.10 tPenguin(W4)==>tBird(W4) % [mfl4(_2866276,_2866278,_2866280,_2866282)]
1.11 mdefault((tBird(W4)==>tFly(W4))) % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L46 ]
1.12 (mdefault((W4==>X4))/nonvar(X4))==>(W4==>mdefault(X4)) % [pfc/prolog/pfclib/system_mdefault.pfc.pl:54]
1.13 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L34 ',34)
1.14 genls(tPenguin,tBird) % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L30 ]
1.15 (genls(W4,X4)/W4\=X4)==>(isa(Y4,W4)==>isa(Y4,X4)) % [mfl4(_2870250,_2870252,_2870254,_2870256)]
1.16 mfl4(['X'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L46 ',46)
1.17 mfl4(['P'=_,'Q'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/prolog/pfclib/system_mdefault.pfc.pl#L54 ',54)
1.18 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L30 ',30)
1.19 \+tooSlow % [/boot/init.pl:512]
1.20 \+tooSlow==>((genls(W4,X4)/W4\=X4)==>(isa(Y4,W4)==>isa(Y4,X4))) % [logicmoo_base/prolog/logicmoo/pfc/system_basic.pfc.pl:354]
1.21 mfl4(['C'=_,'P'=_,'I'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_basic.pfc.pl#L354 ',354)
name = 'logicmoo.base.examples.fol.ZENLS_01Z-Test_0005_Line_0000__IChilly'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.ZENLS_01Z'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'zenls_01z.pfc.pl\']"'.
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-base-examples-fol-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_base_examples_fol_ZENLS_01Z_Test_0005_Line_0000_IChilly-junit.xml
~*/
% penguins do ~ tFly.
tPenguin(X) ==> ~(tFly(X)).
/*~
%~ call_mpred_post4 :-
%~ level=86 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tPenguin(_1212116)==> ~tFly(_1212116) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tPenguin(_1212116)==> ~tFly(_1212116) ,
%~ support_fact = mfl4(
%~ [ 'X'=X],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl', 55) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( tPenguin(Fly_Penguin)==> ~tFly(Fly_Penguin)).
%~ %~ Adding positive
%~ %~ trigger: tPenguin(Penguin)
%~ %~ body: rhs([ ~( tFly(Fly))])
%~ %~ Support: (tPenguin(Fly_Penguin)==> ~tFly(Fly_Penguin)),mfl4(['X'=X],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L55 ',55)
%~ %~ RHS-Post1: ~tFly(iChilly)
%~ %~ Support: tPenguin(iChilly),$pt(baseKB,tPenguin(Fly_Penguin),rhs([ ~( tFly(Fly_Penguin))]))
%~ %~ Adding negative
%~ %~ trigger: ~tFly(iChilly)
%~ %~ test: call_u_no_bc(~tFly(iChilly))
%~ %~ body: rhs([ tFly(iChilly)])
%~ %~ Support: \+tFly(iChilly),$nt(tFly(iChilly),(call_u_no_bc(tFly(iChilly)),ground(tFly(iChilly)),\+tFly(iChilly)),$nt(~tFly(iChilly),call_u_no_bc(~tFly(iChilly)),rhs(
%~ %~ [ tFly(iChilly)])))
%~ %~ Adding NEG mpred_do_fcnt via support
%~ %~ trigger: tFly(iChilly)
%~ %~ cond: call_u_no_bc(tFly(iChilly)),ground(tFly(iChilly)),\+tFly(iChilly)
%~ %~ action: $nt(~tFly(iChilly),call_u_no_bc(~tFly(iChilly)),rhs([ tFly(iChilly)]))
%~ %~ from: mpred_add_support_fast($nt(~tFly(iChilly),call_u_no_bc(~tFly(iChilly)),rhs([ tFly(iChilly)])),(\+tFly(iChilly),$nt(tFly(iChilly),(call_u_no_bc(tFly(iChilly)),ground(tFly(iChilly)),\+tFly(iChilly)),$nt(~tFly(iChilly),call_u_no_bc(~tFly(iChilly)),rhs(
%~ %~ [ tFly(iChilly)])))))
%~ %~ RHS-Post1: tFly(iChilly)
%~ %~ Support: \+ ~tFly(iChilly),$nt(~tFly(iChilly),call_u_no_bc(~tFly(iChilly)),rhs([ tFly(iChilly)]))
%~ call_mpred_post4 :-
%~ level=173 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = tFly(iChilly) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = tFly(iChilly) ,
%~ support_fact = \+( ~( tFly(iChilly))) ,
%~ support_trig = '$nt'(~tFly(iChilly),call_u_no_bc(~tFly(iChilly)),rhs([tFly(iChilly)])).
%~ %~ Adding NEG mpred_do_fcnt via support
%~ %~ trigger: ~tFly(iChilly)
%~ %~ cond: call_u_no_bc(~tFly(iChilly))
%~ %~ action: rhs([ tFly(iChilly)])
%~ %~ from: mpred_add_support_fast(tFly(iChilly),(\+ ~tFly(iChilly),$nt(~tFly(iChilly),call_u_no_bc(~tFly(iChilly)),rhs([ tFly(iChilly)]))))
%~ baseKB : mpred_fwc1( tFly(iChilly)).
%~ %~ Found positive trigger: tFly(iChilly)
%~ %~ body: ground(tFly(iChilly)),\+tFly(iChilly),\+tFly(iChilly)=tFly(iChilly)*->rhs([ \+( tFly(iChilly))])
%~ %~ Found negative trigger: tFly(iChilly)
%~ %~ cond: call_u_no_bc(tFly(iChilly)),ground(tFly(iChilly)),\+tFly(iChilly)
%~ %~ body: $nt(~tFly(iChilly),call_u_no_bc(~tFly(iChilly)),rhs([ tFly(iChilly)]))
%~ %~ Support: $spft(baseKB,$nt(~tFly(iChilly),call_u_no_bc(~tFly(iChilly)),rhs([ tFly(iChilly)])),\+tFly(iChilly),$nt(tFly(iChilly),(call_u_no_bc(tFly(iChilly)),ground(tFly(iChilly)),\+tFly(iChilly)),$nt(~tFly(iChilly),call_u_no_bc(~tFly(iChilly)),rhs(
%~ %~ [ tFly(iChilly)]))))
%~ call_mpred_post4 :-
%~ level=135 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = ~( tFly(iChilly)) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = ~( tFly(iChilly)) ,
%~ support_fact = tPenguin(iChilly) ,
%~ support_trig = '$pt'(baseKB,tPenguin(_1261082),rhs([~tFly(_1261082)])).
%~ baseKB : mpred_fwc1( ~( tFly(iChilly))).
%~ %~ Found negative trigger: ~tFly(iChilly)
%~ %~ cond: call_u_no_bc(~tFly(iChilly))
%~ %~ body: rhs([ tFly(iChilly)])
%~ %~ Support: $spft(baseKB,tFly(iChilly),\+ ~tFly(iChilly),$nt(~tFly(iChilly),call_u_no_bc(~tFly(iChilly)),rhs([ tFly(iChilly)])))
~*/
:-mpred_test((\+ tFly(iChilly))).
/*~
%~ ?-( mpred_test("Test_0006_Line_0000__naf_IChilly",baseKB:(\+tFly(iChilly)))).
%~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L57
failure=info((why_was_true(baseKB:tFly(iChilly)),nop(ftrace(baseKB:(\+tFly(iChilly))))))
Justifications for tFly(iChilly):
1.1 \+ ~tFly(iChilly) % [/boot/init.pl:512]
1.2 \+tFly(iChilly) % [/boot/init.pl:512]
1.3 \+(tFly(iChilly)/ground(tFly(iChilly)),\+tFly(iChilly)),\+ ~tFly(iChilly)==>tFly(iChilly) % [mfl4(_1407890,_1407892,_1407894,_1407896)]
1.4 tPenguin(iChilly) % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L34 ]
1.5 tPenguin(W4)==> ~tFly(W4) % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L55 ]
1.6 mdefault(tFly(iChilly)) % [mfl4(_1410468,_1410470,_1410472,_1410474)]
1.7 (mdefault(W4)/mpred_positive_fact(W4),if_missing_mask(W4,X4,Y4))==>(\+(X4/ground(X4),Y4),\+ ~W4==>W4) % [pfc/prolog/pfclib/system_mdefault.pfc.pl:61]
1.8 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L34 ',34)
1.9 mfl4(['X'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L55 ',55)
1.10 tBird(iChilly) % [mfl4(_1413006,_1413008,_1413010,_1413012)]
1.11 tBird(W4)==>mdefault(tFly(W4)) % [mfl4(_1413734,_1413736,_1413738,_1413740)]
1.12 mfl4(['Q'=_,'R'=_,'Test'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/prolog/pfclib/system_mdefault.pfc.pl#L61 ',61)
1.13 tPenguin(W4)==>tBird(W4) % [mfl4(_1414888,_1414890,_1414892,_1414894)]
1.14 mdefault((tBird(W4)==>tFly(W4))) % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L46 ]
1.15 (mdefault((W4==>X4))/nonvar(X4))==>(W4==>mdefault(X4)) % [pfc/prolog/pfclib/system_mdefault.pfc.pl:54]
1.16 genls(tPenguin,tBird) % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L30 ]
1.17 (genls(W4,X4)/W4\=X4)==>(isa(Y4,W4)==>isa(Y4,X4)) % [mfl4(_1418476,_1418478,_1418480,_1418482)]
1.18 mfl4(['X'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L46 ',46)
1.19 mfl4(['P'=_,'Q'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/pfc/prolog/pfclib/system_mdefault.pfc.pl#L54 ',54)
1.20 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl#L30 ',30)
1.21 \+tooSlow % [/boot/init.pl:512]
1.22 \+tooSlow==>((genls(W4,X4)/W4\=X4)==>(isa(Y4,W4)==>isa(Y4,X4))) % [logicmoo_base/prolog/logicmoo/pfc/system_basic.pfc.pl:354]
1.23 mfl4(['C'=_,'P'=_,'I'=_],baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_basic.pfc.pl#L354 ',354)
name = 'logicmoo.base.examples.fol.ZENLS_01Z-Test_0006_Line_0000__naf_IChilly'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.ZENLS_01Z'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'zenls_01z.pfc.pl\']"'.
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-base-examples-fol-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_base_examples_fol_ZENLS_01Z_Test_0006_Line_0000_naf_IChilly-junit.xml
~*/
:-mpred_test(( ~(tFly(iChilly)))).
% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/415
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl
% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.base.examples.fol/ZENLS_01Z/logicmoo_base_examples_fol_ZENLS_01Z_JUnit/
% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AZENLS_01Z
/*~
%~ ?-( mpred_test("Test_0007_Line_0000__IChilly",baseKB: ~tFly(iChilly))).
failure=info((why_was_true(baseKB:(\+ ~tFly(iChilly))),nop(ftrace(baseKB: ~tFly(iChilly)))))
no_proof_for(\+ ~tFly(iChilly)).
no_proof_for(\+ ~tFly(iChilly)).
no_proof_for(\+ ~tFly(iChilly)).
name = 'logicmoo.base.examples.fol.ZENLS_01Z-Test_0007_Line_0000__IChilly'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.ZENLS_01Z'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'zenls_01z.pfc.pl\']"'.
% saving_junit: /var/lib/jenkins/workspace/logicmoo_workspace@2/test_results/jenkins/Report-logicmoo-base-examples-fol-vSTARv0vSTARvvDOTvvSTARv-2-1--grep-2-i-WARN-ERROR-_file-00-fail-pass--Units-Logicmoo_base_examples_fol_ZENLS_01Z_Test_0007_Line_0000_IChilly-junit.xml
~*/
%~ unused(no_junit_results)
Test_0001_Line_0000__IChilly result = passed.
Test_0002_Line_0000__ITweety result = passed.
Test_0003_Line_0000__TFly result = passed.
Test_0004_Line_0000__ITweety result = passed.
Test_0005_Line_0000__IChilly result = passed.
Test_0006_Line_0000__naf_IChilly result = failure.
Test_0007_Line_0000__IChilly result = failure.
%~ test_completed_exit(8)
totalTime=2.000
FAILED: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k zenls_01z.pfc.pl (returned 8) Add_LABELS='' Rem_LABELS='Skipped,Skipped,Errors,Warnings,Overtime,Skipped'
