logicmoo_workspace
logicmoo_workspace copied to clipboard
Published
20 hours ago •
logicmoo
logicmoo
logicmoo.base.examples.fol.FOL_BIRDT_01 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 "['fol_birdt_01.pfc.pl']")
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.base.examples.fol/FOL_BIRDT_01/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AFOL_BIRDT_01 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/76
%~ 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/fol_birdt_01.pfc.pl'),
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))
%
% PFC is a language extension for prolog.. there is so much that can be done in this language extension to Prolog
%
% props(Obj,[height(ObjHt)]) == t(height,Obj,ObjHt) == rdf(Obj,height,ObjHt) == t(height(Obj,ObjHt)).
% padd(Obj,[height(ObjHt)]) == prop_set(height,Obj,ObjHt,...) == ain(height(Obj,ObjHt))
% [pdel/pclr](Obj,[height(ObjHt)]) == [del/clr](height,Obj,ObjHt) == [del/clr]svo(Obj,height,ObjHt) == [del/clr](height(Obj,ObjHt))
% keraseall(AnyTerm).
%
% ANTECEEDANT CONSEQUENT
%
% P = test nesc true assert(P),retract(~P) , enable(P).
% ~P = test nesc false assert(~P),retract(P), disable(P).
%
% ~ ~(P) = test possible (via not impossible) retract(~P), enable(P).
% \+ ~(P) = test impossiblity is unknown retract(~P).
% ~\+(P) = same as P same as P
% \+(P) = test naf(P) retract(P)
%
% Dec 13, 2035
% Douglas Miles
:- expects_dialect(pfc).
/*~
~*/
tCol(tFly).
/*~
~*/
tCol(tCanary).
/*~
~*/
tCol(tPenguin).
/*~
~*/
tCol(tBird).
/*~
~*/
:- mpred_test(predicate_property(tBird(_),dynamic)).
/*~
%~ ?-( mpred_test("Test_0001_Line_0000__tBird_1",baseKB:predicate_property(tBird(Bird),dynamic))).
passed=info(why_was_true(baseKB:predicate_property(tBird(_19366),dynamic)))
no_proof_for(predicate_property(tBird(Bird1),dynamic)).
no_proof_for(predicate_property(tBird(Bird1),dynamic)).
no_proof_for(predicate_property(tBird(Bird1),dynamic)).
name = 'logicmoo.base.examples.fol.FOL_BIRDT_01-Test_0001_Line_0000__tBird_1'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.FOL_BIRDT_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'fol_birdt_01.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_FOL_BIRDT_01_Test_0001_Line_0000_tBird_1-junit.xml
~*/
genls(tCanary,tBird).
/*~
~*/
genls(tPenguin,tBird).
/*~
~*/
:- dmsg("chilly is a penguin.").
/*~
%~ chilly is a penguin.
~*/
tPenguin(iChilly).
/*~
~*/
:- mpred_test((tBird(iChilly))).
/*~
%~ ?-( mpred_test("Test_0002_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/fol_birdt_01.pfc.pl#L45
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/fol_birdt_01.pfc.pl#L43 ]
1.2 tPenguin(W4)==>tBird(W4) % [mfl4(_2142,_2144,_2146,_2148)]
1.3 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl#L43 ',43)
1.4 genls(tPenguin,tBird) % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl#L38 ]
1.5 (genls(W4,X4)/W4\=X4)==>(isa(Y4,W4)==>isa(Y4,X4)) % [mfl4(_4198,_4200,_4202,_4204)]
1.6 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl#L38 ',38)
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.FOL_BIRDT_01-Test_0002_Line_0000__IChilly'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.FOL_BIRDT_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'fol_birdt_01.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_FOL_BIRDT_01_Test_0002_Line_0000_IChilly-junit.xml
~*/
:- dmsg("tweety is a canary.").
/*~
%~ tweety is a canary.
~*/
tCanary(iTweety).
/*~
~*/
:- mpred_test((tBird(iTweety))).
/*~
%~ ?-( mpred_test("Test_0003_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/fol_birdt_01.pfc.pl#L52
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/fol_birdt_01.pfc.pl#L50 ]
1.2 tCanary(W4)==>tBird(W4) % [mfl4(_113922,_113924,_113926,_113928)]
1.3 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl#L50 ',50)
1.4 genls(tCanary,tBird) % [* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl#L37 ]
1.5 (genls(W4,X4)/W4\=X4)==>(isa(Y4,W4)==>isa(Y4,X4)) % [mfl4(_115978,_115980,_115982,_115984)]
1.6 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl#L37 ',37)
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.FOL_BIRDT_01-Test_0003_Line_0000__ITweety'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.FOL_BIRDT_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'fol_birdt_01.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_FOL_BIRDT_01_Test_0003_Line_0000_ITweety-junit.xml
~*/
:- dmsg("birds fly by default.").
/*~
%~ birds fly by default.
~*/
mdefault(( tBird(X) => tFly(X))).
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl:56
%~ message_hook_type(error)
%~ message_hook(
%~ error(permission_error(assert,procedure,baseKB:tBird/1),context(system:assertz/1,Context_Kw)),
%~ error,
%~ [ '~q/~w: '-[assertz,1],
%~ 'No permission to ~w ~w `~p\'' - [ assert,
%~ procedure,
%~ baseKB : tBird/1]])
assertz/1: No permission to assert procedure `baseKB:(tBird/1)'
ERROR: assertz/1: No permission to assert procedure `baseKB:(tBird/1)'
%~ message_hook_type(warning)
%~ message_hook(
%~ goal_failed( directive,
%~ baseKB : mpred_ain(
%~ mdefault( tBird(X)=>tFly(X)),
%~ ( mfl4(
%~ [ 'X'=X],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl', 56) ,
%~ ax))),
%~ warning,
%~ [ 'Goal (~w) failed: ~p' - [ directive,
%~ baseKB : mpred_ain(
%~ mdefault( tBird(X)=>tFly(X)),
%~ ( mfl4(
%~ [ 'X'=X],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl', 56) ,
%~ ax))]])
Goal (directive) failed: baseKB:mpred_ain(mdefault(tBird(_514)=>tFly(_514)),(mfl4(['X'=_514],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl':56,56),ax))
Warning: Goal (directive) failed: baseKB:mpred_ain(mdefault(tBird(_514)=>tFly(_514)),(mfl4(['X'=_514],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl':56,56),ax))
~*/
:- dmsg("make sure chilly can fly").
/*~
%~ make sure chilly can fly
~*/
:- mpred_test((isa(I,tFly),I=iChilly)).
/*~
%~ ?-( mpred_test("Test_0004_Line_0000__TFly",baseKB:(isa(I,tFly),I=iChilly))).
failure=info((why_was_true(baseKB:(\+ (isa(_110628,tFly),_110628=iChilly))),nop(ftrace(baseKB:(isa(_110628,tFly),_110628=iChilly)))))
no_proof_for(\+ (isa(Chilly_Fly_Fly_Fly,tFly),Chilly_Fly_Fly_Fly=iChilly)).
no_proof_for(\+ (isa(Chilly_Fly_Fly_Fly,tFly),Chilly_Fly_Fly_Fly=iChilly)).
no_proof_for(\+ (isa(Chilly_Fly_Fly_Fly,tFly),Chilly_Fly_Fly_Fly=iChilly)).
name = 'logicmoo.base.examples.fol.FOL_BIRDT_01-Test_0004_Line_0000__TFly'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.FOL_BIRDT_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'fol_birdt_01.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_FOL_BIRDT_01_Test_0004_Line_0000_TFly-junit.xml
~*/
:- dmsg("make sure tweety can fly (and again chilly)").
/*~
%~ make sure tweety can fly (and again chilly)
~*/
:- mpred_test((tFly(iTweety))).
/*~
%~ ?-( mpred_test("Test_0005_Line_0000__ITweety",baseKB:tFly(iTweety))).
failure=info((why_was_true(baseKB:(\+tFly(iTweety))),nop(ftrace(baseKB:tFly(iTweety)))))
no_proof_for(\+tFly(iTweety)).
no_proof_for(\+tFly(iTweety)).
no_proof_for(\+tFly(iTweety)).
name = 'logicmoo.base.examples.fol.FOL_BIRDT_01-Test_0005_Line_0000__ITweety'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.FOL_BIRDT_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'fol_birdt_01.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_FOL_BIRDT_01_Test_0005_Line_0000_ITweety-junit.xml
~*/
:- mpred_test((tFly(iChilly))).
/*~
%~ ?-( mpred_test("Test_0006_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.FOL_BIRDT_01-Test_0006_Line_0000__IChilly'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.FOL_BIRDT_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'fol_birdt_01.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_FOL_BIRDT_01_Test_0006_Line_0000_IChilly-junit.xml
~*/
:- dmsg("penguins do not tFly.").
/*~
%~ penguins do not tFly.
~*/
tPenguin(X) => ~tFly(X).
/*~
%~ message_hook_type(error)
%~ message_hook(
%~ error(permission_error(assert,procedure,baseKB:tPenguin/1),context(system:assertz/1,Context_Kw)),
%~ error,
%~ [ '~q/~w: '-[assertz,1],
%~ 'No permission to ~w ~w `~p\'' - [ assert,
%~ procedure,
%~ baseKB : tPenguin/1]])
assertz/1: No permission to assert procedure `baseKB:(tPenguin/1)'
ERROR: assertz/1: No permission to assert procedure `baseKB:(tPenguin/1)'
%~ message_hook_type(warning)
%~ message_hook(
%~ goal_failed( directive,
%~ baseKB : mpred_ain(
%~ tPenguin(X)=>(~tFly(X)),
%~ ( mfl4(
%~ [ 'X'=X],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl', 67) ,
%~ ax))),
%~ warning,
%~ [ 'Goal (~w) failed: ~p' - [ directive,
%~ baseKB : mpred_ain(
%~ tPenguin(X)=>(~tFly(X)),
%~ ( mfl4(
%~ [ 'X'=X],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl', 67) ,
%~ ax))]])
Goal (directive) failed: baseKB:mpred_ain(tPenguin(_145034)=>(~tFly(_145034)),(mfl4(['X'=_145034],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl':67,67),ax))
Warning: Goal (directive) failed: baseKB:mpred_ain(tPenguin(_145034)=>(~tFly(_145034)),(mfl4(['X'=_145034],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl':67,67),ax))
~*/
:- dmsg("confirm chilly now cant fly").
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl:69
%~ confirm chilly now cant fly
~*/
:- mpred_test((\+ tFly(iChilly))).
/*~
%~ ?-( mpred_test("Test_0007_Line_0000__naf_IChilly",baseKB:(\+tFly(iChilly)))).
passed=info(why_was_true(baseKB:(\+tFly(iChilly))))
no_proof_for(\+tFly(iChilly)).
no_proof_for(\+tFly(iChilly)).
no_proof_for(\+tFly(iChilly)).
name = 'logicmoo.base.examples.fol.FOL_BIRDT_01-Test_0007_Line_0000__naf_IChilly'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.FOL_BIRDT_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'fol_birdt_01.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_FOL_BIRDT_01_Test_0007_Line_0000_naf_IChilly-junit.xml
~*/
:- mpred_test(( ~tFly(iChilly))).
%= repropigate that chilly was a bird again
/*~
%~ ?-( mpred_test("Test_0008_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.FOL_BIRDT_01-Test_0008_Line_0000__IChilly'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.FOL_BIRDT_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'fol_birdt_01.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_FOL_BIRDT_01_Test_0008_Line_0000_IChilly-junit.xml
~*/
%= repropigate that chilly was a bird again
tBird(iChilly).
%= this helps show the real differnce in ~and \+
/*~
~*/
%= this helps show the real differnce in ~and \+
:- dmsg("confirm chilly still does not fly").
/*~
%~ confirm chilly still does not fly
~*/
:- mpred_test((\+ tFly(iChilly))).
/*~
%~ ?-( mpred_test("Test_0009_Line_0000__naf_IChilly",baseKB:(\+tFly(iChilly)))).
passed=info(why_was_true(baseKB:(\+tFly(iChilly))))
no_proof_for(\+tFly(iChilly)).
no_proof_for(\+tFly(iChilly)).
no_proof_for(\+tFly(iChilly)).
name = 'logicmoo.base.examples.fol.FOL_BIRDT_01-Test_0009_Line_0000__naf_IChilly'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.FOL_BIRDT_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'fol_birdt_01.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_FOL_BIRDT_01_Test_0009_Line_0000_naf_IChilly-junit.xml
~*/
:- dmsg("confirm chilly still cant fly").
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl:79
%~ confirm chilly still cant fly
~*/
:- mpred_test(( ~tFly(iChilly))).
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl:80
%~ ?-( mpred_test("Test_0010_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.FOL_BIRDT_01-Test_0010_Line_0000__IChilly'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.FOL_BIRDT_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'fol_birdt_01.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_FOL_BIRDT_01_Test_0010_Line_0000_IChilly-junit.xml
~*/
/*
This wounld be a good TMS test it should throw.. but right now it passes wrongly
tFly(iChilly).
:- dmsg("confirm chilly is flying penguin").
:- mpred_test(( tFly(iChilly))).
:- mpred_test(( tPenguin(iChilly))).
:- mpred_test((\+ ~tFly(iChilly))).
\+ tFly(iChilly).
:- dmsg("confirm chilly is a normal penguin who cant fly").
:- mpred_test((\+ tFly(iChilly))).
% fails rightly
:- mpred_test(( tPenguin(iChilly))).
*/
:- dmsg("chilly is no longer a penguin").
/*~
%~ chilly is no longer a penguin
~*/
:- debug_logicmoo(logicmoo(_)).
/*~
~*/
:- mpred_trace_exec.
/*~
~*/
\+ tPenguin(iChilly).
/*~
%~ %~ still_supported(tBird(iChilly))
%~ debugm( baseKB,
%~ show_success( baseKB,
%~ baseKB : mpred_withdraw( tPenguin(iChilly),
%~ ( mfl4(BaseKB,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl ',107) ,
%~ ax))))
~*/
:- mpred_test(( \+ tPenguin(iChilly))).
/*~
%~ ?-( mpred_test("Test_0011_Line_0000__naf_IChilly",baseKB:(\+tPenguin(iChilly)))).
passed=info(why_was_true(baseKB:(\+tPenguin(iChilly))))
no_proof_for(\+tPenguin(iChilly)).
no_proof_for(\+tPenguin(iChilly)).
no_proof_for(\+tPenguin(iChilly)).
name = 'logicmoo.base.examples.fol.FOL_BIRDT_01-Test_0011_Line_0000__naf_IChilly'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.FOL_BIRDT_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'fol_birdt_01.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_FOL_BIRDT_01_Test_0011_Line_0000_naf_IChilly-junit.xml
~*/
:- dmsg("chilly is still a bird").
/*~
%~ chilly is still a bird
~*/
:- mpred_test((tBird(iChilly))).
/*~
%~ ?-( mpred_test("Test_0012_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/fol_birdt_01.pfc.pl#L112
passed=info(why_was_true(baseKB:tBird(iChilly)))
Justifications for tBird(iChilly):
1.1 mfl4(_,baseKB,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl#L74 ',74)
name = 'logicmoo.base.examples.fol.FOL_BIRDT_01-Test_0012_Line_0000__IChilly'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.FOL_BIRDT_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'fol_birdt_01.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_FOL_BIRDT_01_Test_0012_Line_0000_IChilly-junit.xml
~*/
:- repropagate(tBird(iChilly)).
/*~
%~ baseKB : mpred_fwc1( tBird(iChilly)).
%~ debugm(baseKB,show_success(baseKB,baseKB:mpred_fwc(tBird(iChilly))))
~*/
:- dmsg("confirm chilly is flying bird").
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl:116
%~ confirm chilly is flying bird
~*/
:- mpred_test(( tFly(iChilly))).
/*~
%~ ?-( mpred_test("Test_0013_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.FOL_BIRDT_01-Test_0013_Line_0000__IChilly'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.FOL_BIRDT_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'fol_birdt_01.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_FOL_BIRDT_01_Test_0013_Line_0000_IChilly-junit.xml
~*/
:- mpred_test(( \+ tPenguin(iChilly))).
/*~
%~ ?-( mpred_test("Test_0014_Line_0000__naf_IChilly",baseKB:(\+tPenguin(iChilly)))).
passed=info(why_was_true(baseKB:(\+tPenguin(iChilly))))
no_proof_for(\+tPenguin(iChilly)).
no_proof_for(\+tPenguin(iChilly)).
no_proof_for(\+tPenguin(iChilly)).
name = 'logicmoo.base.examples.fol.FOL_BIRDT_01-Test_0014_Line_0000__naf_IChilly'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.FOL_BIRDT_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'fol_birdt_01.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_FOL_BIRDT_01_Test_0014_Line_0000_naf_IChilly-junit.xml
~*/
:- mpred_test(( \+ ~tFly(iChilly))).
% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/76
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl
% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.base.examples.fol/FOL_BIRDT_01/
% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AFOL_BIRDT_01
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl:119
%~ ?-( mpred_test("Test_0015_Line_0000__naf_IChilly",baseKB:(\+ ~tFly(iChilly)))).
passed=info(why_was_true(baseKB:(\+ ~tFly(iChilly))))
no_proof_for(\+ ~tFly(iChilly)).
no_proof_for(\+ ~tFly(iChilly)).
no_proof_for(\+ ~tFly(iChilly)).
name = 'logicmoo.base.examples.fol.FOL_BIRDT_01-Test_0015_Line_0000__naf_IChilly'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.FOL_BIRDT_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'fol_birdt_01.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_FOL_BIRDT_01_Test_0015_Line_0000_naf_IChilly-junit.xml
~*/
%~ unused(no_junit_results)
Test_0001_Line_0000__tBird_1 result = passed.
Test_0002_Line_0000__IChilly result = passed.
Test_0003_Line_0000__ITweety result = passed.
logicmoo.base.examples.fol.FOL_BIRDT_01 JUnit error = assertz/1: No permission to assert procedure `baseKB:(tBird/1)'
logicmoo.base.examples.fol.FOL_BIRDT_01 JUnit warning = Goal (directive) failed: baseKB:mpred_ain(mdefault(tBird(_514)=>tFly(_514)),(mfl4(['X'=_514],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl':56,56),ax))
Test_0004_Line_0000__TFly result = failure.
Test_0005_Line_0000__ITweety result = failure.
Test_0006_Line_0000__IChilly result = failure.
logicmoo.base.examples.fol.FOL_BIRDT_01 JUnit error = assertz/1: No permission to assert procedure `baseKB:(tPenguin/1)'
logicmoo.base.examples.fol.FOL_BIRDT_01 JUnit warning = Goal (directive) failed: baseKB:mpred_ain(tPenguin(_145034)=>(~tFly(_145034)),(mfl4(['X'=_145034],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl':67,67),ax))
Test_0007_Line_0000__naf_IChilly result = passed.
Test_0008_Line_0000__IChilly result = failure.
Test_0009_Line_0000__naf_IChilly result = passed.
Test_0010_Line_0000__IChilly result = failure.
Test_0011_Line_0000__naf_IChilly result = passed.
Test_0012_Line_0000__IChilly result = passed.
Test_0013_Line_0000__IChilly result = failure.
Test_0014_Line_0000__naf_IChilly result = passed.
Test_0015_Line_0000__naf_IChilly result = passed.
%~ test_completed_exit(56)
totalTime=1.000
FAILED: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k fol_birdt_01.pfc.pl (returned 56) Add_LABELS='Errors,Warnings' Rem_LABELS='Skipped,Overtime,Skipped'
