logicmoo_workspace
logicmoo_workspace copied to clipboard
Published
20 hours ago •
logicmoo
logicmoo
logicmoo.base.examples.fol.MAKE_WFF_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 "['make_wff_01.pfc.pl']")
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.base.examples.fol/MAKE_WFF_01/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AMAKE_WFF_01 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/74
%~ 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/make_wff_01.pfc.pl'),
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))
% =================================================================================
% Load the system
% =================================================================================
% :- make.
% :- set_prolog_flag(gc,false).
% =================================================================================
% Set our engine up
% =================================================================================
:- expects_dialect(clif).
% deduce instances from usages in args having the effect of deducing human,dwelling,beverage_class are classes
/*~
~*/
% deduce instances from usages in args having the effect of deducing human,dwelling,beverage_class are classes
==> feature_setting(make_wff,true).
/*~
~*/
==> feature_setting(add_admitted_arguments,true).
% set truth maintainance system to remove previous assertions that new assertions disagree with
/*~
~*/
% set truth maintainance system to remove previous assertions that new assertions disagree with
==> feature_setting(tms_mode,remove_conflicting).
/*~
~*/
:- set_prolog_flag(runtime_debug,3). % mention it when we remove previous assertions
/*~
~*/
% mention it when we remove previous assertions
:- set_prolog_flag_until_eof(do_renames,mpred_expansion).
%:- set_prolog_flag_until_eof(runtime_speed,0). % but dont gripe about speed
/*~
~*/
%:- set_prolog_flag_until_eof(runtime_speed,0). % but dont gripe about speed
:- kif_compile.
/*~
~*/
:- nop(module( baseKB)).
/*~
~*/
:- nop('$set_source_module'( baseKB)).
% =================================================================================
% Define a couple predicates
% =================================================================================
/*~
~*/
% =================================================================================
% Define a couple predicates
% =================================================================================
:- set_prolog_flag(access_level,system).
/*~
~*/
:- redefine_system_predicate(arity(_,_)).
/*~
~*/
:- unlock_predicate(arity(_,_)).
/*~
~*/
:- multifile arity/2.
% maximum cardinality of livesAt/2 is 1
%==> isa(livesAt,'FunctionalBinaryPredicate').
/*~
~*/
% maximum cardinality of livesAt/2 is 1
%==> isa(livesAt,'FunctionalBinaryPredicate').
==> singleValuedInArg(livesAt,2).
% thus implies
/*~
~*/
% thus implies
==> arity(livesAt,2).
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl:42
%~ message_hook_type(error)
%~ message_hook(
%~ error(
%~ permission_error(modify,static_procedure,baseKB:arity/2),
%~ context(system:assertz/1,Context_Kw)),
%~ error,
%~ [ '~q/~w: '-[assertz,1],
%~ 'No permission to ~w static procedure `~p\'' - [ modify,
%~ baseKB : arity/2]])
assertz/1: No permission to modify static procedure `baseKB:(arity/2)'
ERROR: assertz/1: No permission to modify static procedure `baseKB:(arity/2)'
%~ message_hook_type(warning)
%~ message_hook(
%~ goal_failed( directive,
%~ baseKB : mpred_ain(
%~ ==>( arity(livesAt,2)),
%~ ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl',42) ,
%~ ax))),
%~ warning,
%~ [ 'Goal (~w) failed: ~p' - [ directive,
%~ baseKB : mpred_ain(
%~ ==>( arity(livesAt,2)),
%~ ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl',42) ,
%~ ax))]])
Goal (directive) failed: baseKB:mpred_ain((==>arity(livesAt,2)),(mfl4(_470,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':42,42),ax))
Warning: Goal (directive) failed: baseKB:mpred_ain((==>arity(livesAt,2)),(mfl4(_470,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':42,42),ax))
~*/
==> argIsa(livesAt,1,human).
/*~
%~ message_hook_type(error)
%~ message_hook(
%~ error(
%~ permission_error(modify,static_procedure,baseKB:arity/2),
%~ context(system:assertz/1,Context_Kw)),
%~ error,
%~ [ '~q/~w: '-[assertz,1],
%~ 'No permission to ~w static procedure `~p\'' - [ modify,
%~ baseKB : arity/2]])
assertz/1: No permission to modify static procedure `baseKB:(arity/2)'
ERROR: assertz/1: No permission to modify static procedure `baseKB:(arity/2)'
%~ message_hook_type(warning)
%~ message_hook(
%~ goal_failed( directive,
%~ baseKB : mpred_ain(
%~ ==>( argIsa(livesAt,1,human)),
%~ ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl',43) ,
%~ ax))),
%~ warning,
%~ [ 'Goal (~w) failed: ~p' - [ directive,
%~ baseKB : mpred_ain(
%~ ==>( argIsa(livesAt,1,human)),
%~ ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl',43) ,
%~ ax))]])
Goal (directive) failed: baseKB:mpred_ain((==>argIsa(livesAt,1,human)),(mfl4(_474,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':43,43),ax))
Warning: Goal (directive) failed: baseKB:mpred_ain((==>argIsa(livesAt,1,human)),(mfl4(_474,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':43,43),ax))
~*/
==> argIsa(livesAt,2,dwelling).
% define drinks/2
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl:44
%~ message_hook_type(error)
%~ message_hook(
%~ error(
%~ permission_error(modify,static_procedure,baseKB:arity/2),
%~ context(system:assertz/1,Context_Kw)),
%~ error,
%~ [ '~q/~w: '-[assertz,1],
%~ 'No permission to ~w static procedure `~p\'' - [ modify,
%~ baseKB : arity/2]])
assertz/1: No permission to modify static procedure `baseKB:(arity/2)'
ERROR: assertz/1: No permission to modify static procedure `baseKB:(arity/2)'
%~ message_hook_type(warning)
%~ message_hook(
%~ goal_failed( directive,
%~ baseKB : mpred_ain(
%~ ==>( argIsa(livesAt,2,dwelling)),
%~ ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl',44) ,
%~ ax))),
%~ warning,
%~ [ 'Goal (~w) failed: ~p' - [ directive,
%~ baseKB : mpred_ain(
%~ ==>( argIsa(livesAt,2,dwelling)),
%~ ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl',44) ,
%~ ax))]])
Goal (directive) failed: baseKB:mpred_ain((==>argIsa(livesAt,2,dwelling)),(mfl4(_474,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':44,44),ax))
Warning: Goal (directive) failed: baseKB:mpred_ain((==>argIsa(livesAt,2,dwelling)),(mfl4(_474,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':44,44),ax))
~*/
% define drinks/2
==> arity(drinks,2).
/*~
%~ message_hook_type(error)
%~ message_hook(
%~ error(
%~ permission_error(modify,static_procedure,baseKB:arity/2),
%~ context(system:assertz/1,Context_Kw)),
%~ error,
%~ [ '~q/~w: '-[assertz,1],
%~ 'No permission to ~w static procedure `~p\'' - [ modify,
%~ baseKB : arity/2]])
assertz/1: No permission to modify static procedure `baseKB:(arity/2)'
ERROR: assertz/1: No permission to modify static procedure `baseKB:(arity/2)'
%~ message_hook_type(warning)
%~ message_hook(
%~ goal_failed( directive,
%~ baseKB : mpred_ain(
%~ ==>( arity(drinks,2)),
%~ ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl',47) ,
%~ ax))),
%~ warning,
%~ [ 'Goal (~w) failed: ~p' - [ directive,
%~ baseKB : mpred_ain(
%~ ==>( arity(drinks,2)),
%~ ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl',47) ,
%~ ax))]])
Goal (directive) failed: baseKB:mpred_ain((==>arity(drinks,2)),(mfl4(_470,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':47,47),ax))
Warning: Goal (directive) failed: baseKB:mpred_ain((==>arity(drinks,2)),(mfl4(_470,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':47,47),ax))
~*/
==> argIsa(drinks,1,drinker).
/*~
%~ message_hook_type(error)
%~ message_hook(
%~ error(
%~ permission_error(modify,static_procedure,baseKB:arity/2),
%~ context(system:assertz/1,Context_Kw)),
%~ error,
%~ [ '~q/~w: '-[assertz,1],
%~ 'No permission to ~w static procedure `~p\'' - [ modify,
%~ baseKB : arity/2]])
assertz/1: No permission to modify static procedure `baseKB:(arity/2)'
ERROR: assertz/1: No permission to modify static procedure `baseKB:(arity/2)'
%~ message_hook_type(warning)
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl:48
%~ message_hook(
%~ goal_failed( directive,
%~ baseKB : mpred_ain(
%~ ==>( argIsa(drinks,1,drinker)),
%~ ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl',48) ,
%~ ax))),
%~ warning,
%~ [ 'Goal (~w) failed: ~p' - [ directive,
%~ baseKB : mpred_ain(
%~ ==>( argIsa(drinks,1,drinker)),
%~ ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl',48) ,
%~ ax))]])
Goal (directive) failed: baseKB:mpred_ain((==>argIsa(drinks,1,drinker)),(mfl4(_474,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':48,48),ax))
Warning: Goal (directive) failed: baseKB:mpred_ain((==>argIsa(drinks,1,drinker)),(mfl4(_474,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':48,48),ax))
~*/
==> argIsa(drinks,2,beverage_class).
% =================================================================================
% Test 1 Possible Fact
% =================================================================================
/*~
%~ message_hook_type(error)
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl:49
%~ message_hook(
%~ error(
%~ permission_error(modify,static_procedure,baseKB:arity/2),
%~ context(system:assertz/1,Context_Kw)),
%~ error,
%~ [ '~q/~w: '-[assertz,1],
%~ 'No permission to ~w static procedure `~p\'' - [ modify,
%~ baseKB : arity/2]])
assertz/1: No permission to modify static procedure `baseKB:(arity/2)'
ERROR: assertz/1: No permission to modify static procedure `baseKB:(arity/2)'
%~ message_hook_type(warning)
%~ message_hook(
%~ goal_failed( directive,
%~ baseKB : mpred_ain(
%~ ==>( argIsa(drinks,2,beverage_class)),
%~ ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl',49) ,
%~ ax))),
%~ warning,
%~ [ 'Goal (~w) failed: ~p' - [ directive,
%~ baseKB : mpred_ain(
%~ ==>( argIsa(drinks,2,beverage_class)),
%~ ( mfl4(BaseKB,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl',49) ,
%~ ax))]])
Goal (directive) failed: baseKB:mpred_ain((==>argIsa(drinks,2,beverage_class)),(mfl4(_474,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':49,49),ax))
Warning: Goal (directive) failed: baseKB:mpred_ain((==>argIsa(drinks,2,beverage_class)),(mfl4(_474,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':49,49),ax))
~*/
% =================================================================================
% Test 1 Possible Fact
% =================================================================================
==> poss(livesAt(fred,green_house)).
/*~
~*/
:- mpred_test(poss(isa(fred,human))).
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl:57
%~ ?-( mpred_test("Test_0001_Line_0000__Fred",baseKB:poss(human(fred)))).
passed=info(why_was_true(baseKB:poss(human(fred))))
no_proof_for(poss(human(fred))).
no_proof_for(poss(human(fred))).
no_proof_for(poss(human(fred))).
name = 'logicmoo.base.examples.fol.MAKE_WFF_01-Test_0001_Line_0000__Fred'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.MAKE_WFF_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'make_wff_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_MAKE_WFF_01_Test_0001_Line_0000_Fred-junit.xml
~*/
:- mpred_test(\+ is_user_fact(isa(fred,human))).
/*~
%~ ?-( mpred_test("Test_0002_Line_0000__naf_Fred",baseKB:(\+is_user_fact(human(fred))))).
failure=info((why_was_true(baseKB:is_user_fact(human(fred))),nop(ftrace(baseKB:(\+is_user_fact(human(fred)))))))
no_proof_for(is_user_fact(human(fred))).
no_proof_for(is_user_fact(human(fred))).
no_proof_for(is_user_fact(human(fred))).
name = 'logicmoo.base.examples.fol.MAKE_WFF_01-Test_0002_Line_0000__naf_Fred'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.MAKE_WFF_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'make_wff_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_MAKE_WFF_01_Test_0002_Line_0000_naf_Fred-junit.xml
~*/
:- mpred_test(isa(fred,human)).
/*~
%~ ?-( mpred_test("Test_0003_Line_0000__Fred",baseKB:human(fred))).
failure=info((why_was_true(baseKB:(\+human(fred))),nop(ftrace(baseKB:human(fred)))))
no_proof_for(\+human(fred)).
no_proof_for(\+human(fred)).
no_proof_for(\+human(fred)).
name = 'logicmoo.base.examples.fol.MAKE_WFF_01-Test_0003_Line_0000__Fred'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.MAKE_WFF_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'make_wff_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_MAKE_WFF_01_Test_0003_Line_0000_Fred-junit.xml
~*/
:- mpred_test(poss(isa(green_house,dwelling))).
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl:63
%~ ?-( mpred_test("Test_0004_Line_0000__Green_house",baseKB:poss(dwelling(green_house)))).
passed=info(why_was_true(baseKB:poss(dwelling(green_house))))
no_proof_for(poss(dwelling(green_house))).
no_proof_for(poss(dwelling(green_house))).
no_proof_for(poss(dwelling(green_house))).
name = 'logicmoo.base.examples.fol.MAKE_WFF_01-Test_0004_Line_0000__Green_house'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.MAKE_WFF_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'make_wff_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_MAKE_WFF_01_Test_0004_Line_0000_Green_house-junit.xml
~*/
:- mpred_test(isa(green_house,dwelling)).
/*~
%~ ?-( mpred_test("Test_0005_Line_0000__Green_house",baseKB:dwelling(green_house))).
failure=info((why_was_true(baseKB:(\+dwelling(green_house))),nop(ftrace(baseKB:dwelling(green_house)))))
no_proof_for(\+dwelling(green_house)).
no_proof_for(\+dwelling(green_house)).
no_proof_for(\+dwelling(green_house)).
name = 'logicmoo.base.examples.fol.MAKE_WFF_01-Test_0005_Line_0000__Green_house'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.MAKE_WFF_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'make_wff_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_MAKE_WFF_01_Test_0005_Line_0000_Green_house-junit.xml
~*/
:- mpred_test(naf(~isa(green_house,dwelling))).
% =================================================================================
% Test 2 Absolute Facts
% =================================================================================
/*~
%~ ?-( mpred_test("Test_0006_Line_0000__Green_house",baseKB:naf(~dwelling(green_house)))).
passed=info(why_was_true(baseKB:naf(~dwelling(green_house))))
no_proof_for(naf(~dwelling(green_house))).
no_proof_for(naf(~dwelling(green_house))).
no_proof_for(naf(~dwelling(green_house))).
name = 'logicmoo.base.examples.fol.MAKE_WFF_01-Test_0006_Line_0000__Green_house'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.MAKE_WFF_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'make_wff_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_MAKE_WFF_01_Test_0006_Line_0000_Green_house-junit.xml
~*/
% =================================================================================
% Test 2 Absolute Facts
% =================================================================================
:- mpred_trace_exec.
/*~
~*/
==> livesAt(fran,green_house).
/*~
%~ call_mpred_post4 :-
%~ level=86 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = livesAt(fran,green_house) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = livesAt(fran,green_house) ,
%~ support_fact = mfl4(_301726,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl',76) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( livesAt(fran,green_house)).
~*/
==> livesAt(sue,green_house).
/*~
%~ call_mpred_post4 :-
%~ level=86 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = livesAt(sue,green_house) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = livesAt(sue,green_house) ,
%~ support_fact = mfl4(_337956,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl',77) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( livesAt(sue,green_house)).
~*/
:- mpred_test(dwelling(green_house)).
/*~
%~ ?-( mpred_test("Test_0007_Line_0000__Green_house",baseKB:dwelling(green_house))).
failure=info((why_was_true(baseKB:(\+dwelling(green_house))),nop(ftrace(baseKB:dwelling(green_house)))))
no_proof_for(\+dwelling(green_house)).
no_proof_for(\+dwelling(green_house)).
no_proof_for(\+dwelling(green_house)).
name = 'logicmoo.base.examples.fol.MAKE_WFF_01-Test_0007_Line_0000__Green_house'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.MAKE_WFF_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'make_wff_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_MAKE_WFF_01_Test_0007_Line_0000_Green_house-junit.xml
~*/
==> all(X, if(livesAt(X, green_house),drinks(X, coffee))).
/*~
%~ call_mpred_post4 :-
%~ level=86 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = all(_297958,if(livesAt(_297958,green_house),drinks(_297958,coffee))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = all(_297958,if(livesAt(_297958,green_house),drinks(_297958,coffee))) ,
%~ support_fact = mfl4(
%~ [ 'X'=X],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl', 81) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( all( If_Coffee_Green_house,
%~ if(livesAt(If_Coffee_Green_house,green_house),drinks(If_Coffee_Green_house,coffee)))).
~*/
prove_holds_t(F,A,B)==>t(F,A,B).
/*~
%~ call_mpred_post4 :-
%~ level=86 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = prove_holds_t(_362168,_362190,_362212)==>t(_362168,_362190,_362212) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = prove_holds_t(_362168,_362190,_362212)==>t(_362168,_362190,_362212) ,
%~ support_fact = mfl4(
%~ [ 'F'=F, 'A'=A,'B'=B],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl', 83) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( ( prove_holds_t(Prove_holds_t4,Prove_holds_t,T) ==>
%~ t(Prove_holds_t4,Prove_holds_t,T))).
%~ call_mpred_post4 :-
%~ level=136 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,prove_holds_t,3,pfcLHS) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,prove_holds_t,3,pfcLHS) ,
%~ support_fact = ( prove_holds_t(_403348,_403350,_403352)==>t(_403348,_403350,_403352) ,
%~ mfl4(
%~ [ 'F'=F3, 'A'=A4,'B'=B5],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl', 83)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,prove_holds_t,3,pfcLHS)).
%~ %~ Found positive trigger: mpred_prop(baseKB,prove_holds_t,3,pfcLHS)
%~ %~ body: \+ground((prove_holds_t/3))*->rhs([ { trace_or_throw( mpred_prop(baseKB,prove_holds_t,3,pfcLHS)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,prove_holds_t,3,pfcLHS)
%~ %~ body: rhs([ arity(prove_holds_t,3),
%~ %~ functorIsMacro(prove_holds_t),
%~ %~ mpred_prop(baseKB,prove_holds_t,3,pfcWatches)])
%~ %~ RHS-Post1: arity(prove_holds_t,3)
%~ %~ Support: mpred_prop(baseKB,prove_holds_t,3,pfcLHS),$pt(baseKB,mpred_prop(baseKB,prove_holds_t,3,pfcLHS),rhs([ arity(prove_holds_t,3),
%~ %~ functorIsMacro(prove_holds_t),
%~ %~ mpred_prop(baseKB,prove_holds_t,3,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=174 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = arity(prove_holds_t,3) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = arity(prove_holds_t,3) ,
%~ support_fact = mpred_prop(baseKB,prove_holds_t,3,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,prove_holds_t,3,pfcLHS),
%~ rhs( [ arity(prove_holds_t,3),
%~ functorIsMacro(prove_holds_t),
%~ mpred_prop(baseKB,prove_holds_t,3,pfcWatches)])).
%~ message_hook_type(error)
%~ message_hook(
%~ error(
%~ permission_error(modify,static_procedure,baseKB:arity/2),
%~ context(system:assertz/1,Context_Kw)),
%~ error,
%~ [ '~q/~w: '-[assertz,1],
%~ 'No permission to ~w static procedure `~p\'' - [ modify,
%~ baseKB : arity/2]])
assertz/1: No permission to modify static procedure `baseKB:(arity/2)'
ERROR: assertz/1: No permission to modify static procedure `baseKB:(arity/2)'
%~ message_hook_type(warning)
%~ message_hook(
%~ goal_failed( directive,
%~ baseKB : mpred_ain(
%~ prove_holds_t(F,A,B)==>t(F,A,B),
%~ ( mfl4(
%~ [ 'F'=F, 'A'=A,'B'=B],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl', 83) ,
%~ ax))),
%~ warning,
%~ [ 'Goal (~w) failed: ~p' - [ directive,
%~ baseKB : mpred_ain(
%~ prove_holds_t(F,A,B)==>t(F,A,B),
%~ ( mfl4(
%~ [ 'F'=F, 'A'=A,'B'=B],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl', 83) ,
%~ ax))]])
Goal (directive) failed: baseKB:mpred_ain((prove_holds_t(_570,_574,_578)==>t(_570,_574,_578)),(mfl4(['F'=_570,'A'=_574,'B'=_578],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':83,83),ax))
Warning: Goal (directive) failed: baseKB:mpred_ain((prove_holds_t(_570,_574,_578)==>t(_570,_574,_578)),(mfl4(['F'=_570,'A'=_574,'B'=_578],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':83,83),ax))
~*/
prove_not_holds_t(F,A,B)==> ~t(F,A,B).
/*~
%~ call_mpred_post4 :-
%~ level=86 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = prove_not_holds_t(_51694,_51716,_51738)==> ~t(_51694,_51716,_51738) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = prove_not_holds_t(_51694,_51716,_51738)==> ~t(_51694,_51716,_51738) ,
%~ support_fact = mfl4(
%~ [ 'F'=F, 'A'=A,'B'=B],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl', 85) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( ( prove_not_holds_t(Prove_not_holds_t4,Prove_not_holds_t,T) ==>
%~ ~( t(Prove_not_holds_t4,Prove_not_holds_t,T)))).
%~ call_mpred_post4 :-
%~ level=136 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = mpred_prop(baseKB,prove_not_holds_t,3,pfcLHS) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = mpred_prop(baseKB,prove_not_holds_t,3,pfcLHS) ,
%~ support_fact = ( prove_not_holds_t(_95628,_95630,_95632)==> ~t(_95628,_95630,_95632) ,
%~ mfl4(
%~ [ 'F'=F3, 'A'=A4,'B'=B5],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl', 85)) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( mpred_prop(baseKB,prove_not_holds_t,3,pfcLHS)).
%~ %~ Found positive trigger: mpred_prop(baseKB,prove_not_holds_t,3,pfcLHS)
%~ %~ body: \+ground((prove_not_holds_t/3))*->rhs([ { trace_or_throw( mpred_prop(baseKB,prove_not_holds_t,3,pfcLHS)) }])
%~ %~ Found positive trigger: mpred_prop(baseKB,prove_not_holds_t,3,pfcLHS)
%~ %~ body: rhs([ arity(prove_not_holds_t,3),
%~ %~ functorIsMacro(prove_not_holds_t),
%~ %~ mpred_prop(baseKB,prove_not_holds_t,3,pfcWatches)])
%~ %~ RHS-Post1: arity(prove_not_holds_t,3)
%~ %~ Support: mpred_prop(baseKB,prove_not_holds_t,3,pfcLHS),$pt(baseKB,mpred_prop(baseKB,prove_not_holds_t,3,pfcLHS),rhs([ arity(prove_not_holds_t,3),
%~ %~ functorIsMacro(prove_not_holds_t),
%~ %~ mpred_prop(baseKB,prove_not_holds_t,3,pfcWatches)]))
%~ call_mpred_post4 :-
%~ level=174 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = arity(prove_not_holds_t,3) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = arity(prove_not_holds_t,3) ,
%~ support_fact = mpred_prop(baseKB,prove_not_holds_t,3,pfcLHS) ,
%~ support_trig = '$pt'( baseKB,
%~ mpred_prop(baseKB,prove_not_holds_t,3,pfcLHS),
%~ rhs( [ arity(prove_not_holds_t,3),
%~ functorIsMacro(prove_not_holds_t),
%~ mpred_prop(baseKB,prove_not_holds_t,3,pfcWatches)])).
%~ message_hook_type(error)
%~ message_hook(
%~ error(
%~ permission_error(modify,static_procedure,baseKB:arity/2),
%~ context(system:assertz/1,Context_Kw)),
%~ error,
%~ [ '~q/~w: '-[assertz,1],
%~ 'No permission to ~w static procedure `~p\'' - [ modify,
%~ baseKB : arity/2]])
assertz/1: No permission to modify static procedure `baseKB:(arity/2)'
ERROR: assertz/1: No permission to modify static procedure `baseKB:(arity/2)'
%~ message_hook_type(warning)
%~ message_hook(
%~ goal_failed( directive,
%~ baseKB : mpred_ain(
%~ prove_not_holds_t(F,A,B)==> ~t(F,A,B),
%~ ( mfl4(
%~ [ 'F'=F, 'A'=A,'B'=B],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl', 85) ,
%~ ax))),
%~ warning,
%~ [ 'Goal (~w) failed: ~p' - [ directive,
%~ baseKB : mpred_ain(
%~ prove_not_holds_t(F,A,B)==> ~t(F,A,B),
%~ ( mfl4(
%~ [ 'F'=F, 'A'=A,'B'=B],
%~ baseKB, '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl', 85) ,
%~ ax))]])
Goal (directive) failed: baseKB:mpred_ain((prove_not_holds_t(_51694,_51716,_51738)==> ~t(_51694,_51716,_51738)),(mfl4(['F'=_51694,'A'=_51716,'B'=_51738],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':85,85),ax))
Warning: Goal (directive) failed: baseKB:mpred_ain((prove_not_holds_t(_51694,_51716,_51738)==> ~t(_51694,_51716,_51738)),(mfl4(['F'=_51694,'A'=_51716,'B'=_51738],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':85,85),ax))
~*/
:- mpred_test(drinker(fran)).
/*~
%~ ?-( mpred_test("Test_0008_Line_0000__Fran",baseKB:drinker(fran))).
failure=info((why_was_true(baseKB:(\+drinker(fran))),nop(ftrace(baseKB:drinker(fran)))))
no_proof_for(\+drinker(fran)).
no_proof_for(\+drinker(fran)).
no_proof_for(\+drinker(fran)).
name = 'logicmoo.base.examples.fol.MAKE_WFF_01-Test_0008_Line_0000__Fran'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.MAKE_WFF_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'make_wff_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_MAKE_WFF_01_Test_0008_Line_0000_Fran-junit.xml
~*/
:- mpred_test(isa(fran,drinker)).
/*~
%~ ?-( mpred_test("Test_0009_Line_0000__Fran",baseKB:drinker(fran))).
failure=info((why_was_true(baseKB:(\+drinker(fran))),nop(ftrace(baseKB:drinker(fran)))))
no_proof_for(\+drinker(fran)).
no_proof_for(\+drinker(fran)).
no_proof_for(\+drinker(fran)).
name = 'logicmoo.base.examples.fol.MAKE_WFF_01-Test_0009_Line_0000__Fran'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.MAKE_WFF_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'make_wff_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_MAKE_WFF_01_Test_0009_Line_0000_Fran-junit.xml
~*/
:- kif_add(isa(joe,drinker)).
/*~
%~ call_mpred_post4 :-
%~ level=95 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = clif( drinker(joe)) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = clif( drinker(joe)) ,
%~ support_fact = mfl4(_464822,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl',92) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( clif( drinker(joe))).
%~ %~ Found positive trigger: clif(drinker(joe))
%~ %~ body: rhs([ { delistify_last_arg(drinker(joe),clif_to_modal_clif,Arg_Clif_to_modal_clif) },
%~ %~ modal_clif(Arg_Clif_to_modal_clif)])
%~ kifi = drinker(joe).
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl:92
%~ kifm = nesc( drinker(joe)).
%~ %~ RHS-Post1: modal_clif(nesc(drinker(joe)))
%~ %~ Support: clif(drinker(joe)),$pt(baseKB,clif(drinker(joe)),rhs([ { delistify_last_arg(drinker(joe),clif_to_modal_clif,nesc(drinker(joe))) },
%~ %~ modal_clif( nesc( drinker(joe)))]))
%~ call_mpred_post4 :-
%~ level=134 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = modal_clif( nesc( drinker(joe))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = modal_clif( nesc( drinker(joe))) ,
%~ support_fact = clif( drinker(joe)) ,
%~ support_trig = '$pt'( baseKB,
%~ clif( drinker(joe)),
%~ rhs( [ { delistify_last_arg(drinker(joe),clif_to_modal_clif,nesc(drinker(joe))) },
%~ modal_clif( nesc( drinker(joe)))])).
%~ baseKB : mpred_fwc1( modal_clif( nesc( drinker(joe)))).
%~ %~ Found positive trigger: modal_clif(nesc(drinker(joe)))
%~ %~ body: rhs([ { delistify_last_arg(nesc(drinker(joe)),kif_to_boxlog,Arg_Kif_to_boxlog) },
%~ %~ boxlog(Arg_Kif_to_boxlog)])
%~ call_mpred_post4 :-
%~ level=219 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = wid(rule1:0,rule,nesc(drinker(joe))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = wid(rule1:0,rule,nesc(drinker(joe))) ,
%~ support_fact = ( mfl4(_508,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl',92) ,
%~ ax) ,
%~ support_trig = mfl4(_1078,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl',92).
%~ baseKB : mpred_fwc1( wid(rule1:0,rule,nesc(drinker(joe)))).
%~ kifm = nesc( drinker(joe)).
%~ kif_to_boxlog_attvars2 = necessary(drinker(joe))
%~ %~ RHS-Post1: boxlog(nesc(drinker(joe)))
%~ %~ Support: modal_clif(nesc(drinker(joe))),$pt(baseKB,modal_clif(nesc(drinker(joe))),rhs([ { delistify_last_arg(nesc(drinker(joe)),kif_to_boxlog,nesc(drinker(joe))) },
%~ %~ boxlog( nesc( drinker(joe)))]))
%~ call_mpred_post4 :-
%~ level=173 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = boxlog( nesc( drinker(joe))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = boxlog( nesc( drinker(joe))) ,
%~ support_fact = modal_clif( nesc( drinker(joe))) ,
%~ support_trig = '$pt'( baseKB,
%~ modal_clif( nesc( drinker(joe))),
%~ rhs( [ { delistify_last_arg(nesc(drinker(joe)),kif_to_boxlog,nesc(drinker(joe))) },
%~ boxlog( nesc( drinker(joe)))])).
%~ baseKB : mpred_fwc1( boxlog( nesc( drinker(joe)))).
%~ %~ Found positive trigger: boxlog(nesc(drinker(joe)))
%~ %~ body: delistify_last_arg(nesc(drinker(joe)),boxlog_to_pfc,Pfclog_Unqualified_Arg_Boxlog_to_pfc),must_be_unqualified(Pfclog_Unqualified_Arg_Boxlog_to_pfc)*->rhs(
%~ %~ [ pfclog(Pfclog_Unqualified_Arg_Boxlog_to_pfc)])
%~ %~ RHS-Post1: pfclog(nesc(drinker(joe)))
%~ %~ Support: boxlog(nesc(drinker(joe))),$pt(baseKB,boxlog(nesc(drinker(joe))),(delistify_last_arg(nesc(drinker(joe)),boxlog_to_pfc,nesc(drinker(joe))),must_be_unqualified(nesc(drinker(joe)))*->rhs(
%~ %~ [ pfclog( nesc( drinker(joe)))])))
%~ call_mpred_post4 :-
%~ level=213 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = pfclog( nesc( drinker(joe))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = pfclog( nesc( drinker(joe))) ,
%~ support_fact = boxlog( nesc( drinker(joe))) ,
%~ support_trig = '$pt'( baseKB,
%~ boxlog( nesc( drinker(joe))),
%~ ( ( delistify_last_arg(nesc(drinker(joe)),boxlog_to_pfc,nesc(drinker(joe))) ,
%~ must_be_unqualified( nesc( drinker(joe)))) *->
%~ rhs([pfclog(nesc(drinker(joe)))]))).
%~ baseKB : mpred_fwc1( pfclog( nesc( drinker(joe)))).
%~ %~ Found positive trigger: pfclog(nesc(drinker(joe)))
%~ %~ body: rhs([ nesc( drinker(joe))])
%~ %~ RHS-Post1: nesc(drinker(joe))
%~ %~ Support: pfclog(nesc(drinker(joe))),$pt(baseKB,pfclog(nesc(drinker(joe))),rhs([ nesc( drinker(joe))]))
%~ call_mpred_post4 :-
%~ level=251 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = nesc( drinker(joe)) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = nesc( drinker(joe)) ,
%~ support_fact = pfclog( nesc( drinker(joe))) ,
%~ support_trig = '$pt'(baseKB,pfclog(nesc(drinker(joe))),rhs([nesc(drinker(joe))])).
%~ baseKB : mpred_fwc1( nesc( drinker(joe))).
%~ %~ Found positive trigger: nesc(drinker(joe))
%~ %~ body: chainable_literal(drinker(joe),Poss_Literal_Drinker)*->rhs([ poss(Poss_Literal_Drinker),
%~ %~ Poss_Literal_Drinker])
%~ %~ RHS-Post1: poss(drinker(joe))
%~ %~ Support: nesc(drinker(joe)),$pt(baseKB,nesc(drinker(joe)),(chainable_literal(drinker(joe),drinker(joe))*->rhs([ poss( drinker(joe)),
%~ %~ drinker(joe)])))
%~ call_mpred_post4 :-
%~ level=291 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = poss( drinker(joe)) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = poss( drinker(joe)) ,
%~ support_fact = nesc( drinker(joe)) ,
%~ support_trig = '$pt'( baseKB,
%~ nesc( drinker(joe)),
%~ ( chainable_literal(drinker(joe),drinker(joe)) *->
%~ rhs( [ poss( drinker(joe)),
%~ drinker(joe)]))).
%~ baseKB : mpred_fwc1( poss( drinker(joe))).
%~ %~ Found positive trigger: poss(drinker(joe))
%~ %~ body: non_modal_positive(drinker(joe))*->rhs([ { check_non_modal_positive( drinker(joe)) },
%~ %~ \+( ~( drinker(joe))),
%~ %~ \+( ~( poss( drinker(joe))))])
%~ %~ still_supported(~drinker(joe))
%~ %~ mpred_withdraw/2 Could not find support unKnown_suppoRt to remove (fact): ~drinker(joe)
%~ %~ still_supported(~drinker(joe))
%~ %~ still_supported(~poss(drinker(joe)))
%~ %~ mpred_withdraw/2 Could not find support unKnown_suppoRt to remove (fact): ~poss(drinker(joe))
%~ %~ still_supported(~poss(drinker(joe)))
%~ %~ RHS-Post1: drinker(joe)
%~ %~ Support: nesc(drinker(joe)),$pt(baseKB,nesc(drinker(joe)),(chainable_literal(drinker(joe),drinker(joe))*->rhs([ poss( drinker(joe)),
%~ %~ drinker(joe)])))
%~ call_mpred_post4 :-
%~ level=292 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = drinker(joe) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = drinker(joe) ,
%~ support_fact = nesc( drinker(joe)) ,
%~ support_trig = '$pt'( baseKB,
%~ nesc( drinker(joe)),
%~ ( chainable_literal(drinker(joe),drinker(joe)) *->
%~ rhs( [ poss( drinker(joe)),
%~ drinker(joe)]))).
%~ baseKB : mpred_fwc1( drinker(joe)).
%~ debugm(baseKB,show_success(baseKB,baseKB:ain(clif(drinker(joe)))))
% xgrun compiled into parser_chat80 0.00 sec, 0 clauses
% xgproc compiled into parser_chat80 0.02 sec, 0 clauses
** Grammar from file /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_nlu/ext/chat80/original/clone.xg: 179 words .. **
** Grammar from file /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_nlu/ext/chat80/original/lex.xg: -236 words .. **
% chatops compiled into parser_chat80 0.00 sec, 0 clauses
% chatops compiled into parser_chat80 0.00 sec, 0 clauses
% :- share_mfa_pt2(parser_chat80,test_chat80,1).
% :- share_mfa_pt2(parser_chat80,hi80,0).
% :- share_mfa_pt2(parser_chat80,hi80,1).
% :- share_mfa_pt2(parser_chat80,control80,1).
% :- share_mfa_pt2(parser_chat80,trace_chat80,1).
% /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_nlu/ext/chat80/original/load compiled into parser_chat80 2.25 sec, 3 clauses
% /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/debuggery/dmsg compiled into dmsg 0.12 sec, -16 clauses
=======================================================
drinker(joe)
============================================
?- kif_to_boxlog( drinker(joe) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ joe isa drinker
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ call_mpred_post4 :-
%~ level=92 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = wid(rule2:0,rule,drinker(joe)) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = wid(rule2:0,rule,drinker(joe)) ,
%~ support_fact = mfl4(_29894,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl',92) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( wid(rule2:0,rule,drinker(joe))).
%~ kif_to_boxlog_attvars2 = necessary(drinker(joe))
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc(drinker(joe)).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that joe isa drinker
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc( drinker(joe)).
============================================
~*/
:- mpred_test((isa(fran,X),X==drinker)).
/*~
%~ ?-( mpred_test("Test_0010_Line_0000__Fran",baseKB:(isa(fran,X),X==drinker))).
failure=info((why_was_true(baseKB:(\+ (isa(fran,_183608),_183608==drinker))),nop(ftrace(baseKB:(isa(fran,_183608),_183608==drinker)))))
no_proof_for(\+ (isa(fran,Isa_Drinker_Fran),Isa_Drinker_Fran==drinker)).
no_proof_for(\+ (isa(fran,Isa_Drinker_Fran),Isa_Drinker_Fran==drinker)).
no_proof_for(\+ (isa(fran,Isa_Drinker_Fran),Isa_Drinker_Fran==drinker)).
name = 'logicmoo.base.examples.fol.MAKE_WFF_01-Test_0010_Line_0000__Fran'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.MAKE_WFF_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'make_wff_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_MAKE_WFF_01_Test_0010_Line_0000_Fran-junit.xml
~*/
:- mpred_test(poss(isa(fred,drinker))).
/*~
%~ ?-( mpred_test("Test_0011_Line_0000__Fred",baseKB:poss(drinker(fred)))).
passed=info(why_was_true(baseKB:poss(drinker(fred))))
no_proof_for(poss(drinker(fred))).
no_proof_for(poss(drinker(fred))).
no_proof_for(poss(drinker(fred))).
name = 'logicmoo.base.examples.fol.MAKE_WFF_01-Test_0011_Line_0000__Fred'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.MAKE_WFF_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'make_wff_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_MAKE_WFF_01_Test_0011_Line_0000_Fred-junit.xml
~*/
:- mpred_test(isa(coffee,beverage_class)).
% =================================================================================
% Test 3
% =================================================================================
/*~
%~ ?-( mpred_test("Test_0012_Line_0000__Coffee",baseKB:beverage_class(coffee))).
failure=info((why_was_true(baseKB:(\+beverage_class(coffee))),nop(ftrace(baseKB:beverage_class(coffee)))))
no_proof_for(\+beverage_class(coffee)).
no_proof_for(\+beverage_class(coffee)).
no_proof_for(\+beverage_class(coffee)).
name = 'logicmoo.base.examples.fol.MAKE_WFF_01-Test_0012_Line_0000__Coffee'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.MAKE_WFF_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'make_wff_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_MAKE_WFF_01_Test_0012_Line_0000_Coffee-junit.xml
~*/
% =================================================================================
% Test 3
% =================================================================================
==> livesAt(sue,green_house).
% :- repropagate(all(X, if(livesAt(X, green_house),drinks(X, coffee)))).
/*~
%~ call_mpred_post4 :-
%~ level=86 ,
%~ que=0 ,
%~ assertion_status=identical ,
%~ support_status=exact ,
%~ post1 = livesAt(sue,green_house) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = livesAt(sue,green_house) ,
%~ support_fact = mfl4(_1783284,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl',104) ,
%~ support_trig=ax.
~*/
% :- repropagate(all(X, if(livesAt(X, green_house),drinks(X, coffee)))).
:- mpred_test(isa(sue,drinker)).
/*~
%~ ?-( mpred_test("Test_0013_Line_0000__Sue",baseKB:drinker(sue))).
failure=info((why_was_true(baseKB:(\+drinker(sue))),nop(ftrace(baseKB:drinker(sue)))))
no_proof_for(\+drinker(sue)).
no_proof_for(\+drinker(sue)).
no_proof_for(\+drinker(sue)).
name = 'logicmoo.base.examples.fol.MAKE_WFF_01-Test_0013_Line_0000__Sue'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.MAKE_WFF_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'make_wff_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_MAKE_WFF_01_Test_0013_Line_0000_Sue-junit.xml
~*/
:- mpred_why(isa(sue,drinker)).
% =================================================================================
% Test 4
% =================================================================================
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl:108
%~ ?-( mpred_test("Test_0014_Line_0000__Sue",baseKB:drinker(sue))).
failure=info((why_was_true(baseKB:(\+drinker(sue))),nop(ftrace(baseKB:drinker(sue)))))
no_proof_for(\+drinker(sue)).
no_proof_for(\+drinker(sue)).
no_proof_for(\+drinker(sue)).
name = 'logicmoo.base.examples.fol.MAKE_WFF_01-Test_0014_Line_0000__Sue'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.MAKE_WFF_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'make_wff_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_MAKE_WFF_01_Test_0014_Line_0000_Sue-junit.xml
~*/
% =================================================================================
% Test 4
% =================================================================================
==> livesAt(sue,red_house).
/*~
%~ call_mpred_post4 :-
%~ level=86 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = livesAt(sue,red_house) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = livesAt(sue,red_house) ,
%~ support_fact = mfl4(_1410748,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl',114) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( livesAt(sue,red_house)).
~*/
==> livesAt(ralf,red_house).
/*~
%~ call_mpred_post4 :-
%~ level=86 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = livesAt(ralf,red_house) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = livesAt(ralf,red_house) ,
%~ support_fact = mfl4(_1446798,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl',116) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( livesAt(ralf,red_house)).
~*/
:- mpred_test(\+ isa(ralf,drinker)).
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl:118
%~ ?-( mpred_test("Test_0015_Line_0000__naf_Ralf",baseKB:(\+drinker(ralf)))).
passed=info(why_was_true(baseKB:(\+drinker(ralf))))
no_proof_for(\+drinker(ralf)).
no_proof_for(\+drinker(ralf)).
no_proof_for(\+drinker(ralf)).
name = 'logicmoo.base.examples.fol.MAKE_WFF_01-Test_0015_Line_0000__naf_Ralf'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.MAKE_WFF_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'make_wff_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_MAKE_WFF_01_Test_0015_Line_0000_naf_Ralf-junit.xml
~*/
:- mpred_why(isa(sue,drinker)).
/*~
%~ ?-( mpred_test("Test_0016_Line_0000__Sue",baseKB:drinker(sue))).
failure=info((why_was_true(baseKB:(\+drinker(sue))),nop(ftrace(baseKB:drinker(sue)))))
no_proof_for(\+drinker(sue)).
no_proof_for(\+drinker(sue)).
no_proof_for(\+drinker(sue)).
name = 'logicmoo.base.examples.fol.MAKE_WFF_01-Test_0016_Line_0000__Sue'.
JUNIT_CLASSNAME = 'logicmoo.base.examples.fol.MAKE_WFF_01'.
JUNIT_CMD = 'timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'make_wff_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_MAKE_WFF_01_Test_0016_Line_0000_Sue-junit.xml
~*/
failure:- mpred_test(\+ isa(sue,drinker)).
% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/74
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl
% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.base.examples.fol/MAKE_WFF_01/
% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AMAKE_WFF_01
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl:121
%~ warn( db_expand_0(clause(unknown,cuz),(failure:-mpred_test(\+isa(sue,drinker))),(failure:-mpred_test(\+drinker(sue)))))
%~ call_mpred_post4 :-
%~ level=104 ,
%~ que=0 ,
%~ assertion_status=unique ,
%~ support_status=none ,
%~ post1 = failure :- mpred_test( \+( drinker(sue))) ,
%~ fix_mp=baseKB ,
%~ mz=baseKB ,
%~ p0 = failure :- mpred_test( \+( drinker(sue))) ,
%~ support_fact = mfl4(_1288008,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl',121) ,
%~ support_trig=ax.
%~ baseKB : mpred_fwc1( failure :- mpred_test( \+( drinker(sue)))).
~*/
%~ unused(no_junit_results)
logicmoo.base.examples.fol.MAKE_WFF_01 JUnit error = assertz/1: No permission to modify static procedure `baseKB:(arity/2)'
logicmoo.base.examples.fol.MAKE_WFF_01 JUnit warning = Goal (directive) failed: baseKB:mpred_ain((==>arity(livesAt,2)),(mfl4(_470,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':42,42),ax))
logicmoo.base.examples.fol.MAKE_WFF_01 JUnit warning = Goal (directive) failed: baseKB:mpred_ain((==>argIsa(livesAt,1,human)),(mfl4(_474,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':43,43),ax))
logicmoo.base.examples.fol.MAKE_WFF_01 JUnit warning = Goal (directive) failed: baseKB:mpred_ain((==>argIsa(livesAt,2,dwelling)),(mfl4(_474,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':44,44),ax))
logicmoo.base.examples.fol.MAKE_WFF_01 JUnit warning = Goal (directive) failed: baseKB:mpred_ain((==>arity(drinks,2)),(mfl4(_470,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':47,47),ax))
logicmoo.base.examples.fol.MAKE_WFF_01 JUnit warning = Goal (directive) failed: baseKB:mpred_ain((==>argIsa(drinks,1,drinker)),(mfl4(_474,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':48,48),ax))
logicmoo.base.examples.fol.MAKE_WFF_01 JUnit warning = Goal (directive) failed: baseKB:mpred_ain((==>argIsa(drinks,2,beverage_class)),(mfl4(_474,baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':49,49),ax))
Test_0001_Line_0000__Fred result = passed.
Test_0002_Line_0000__naf_Fred result = failure.
Test_0003_Line_0000__Fred result = failure.
Test_0004_Line_0000__Green_house result = passed.
Test_0005_Line_0000__Green_house result = failure.
Test_0006_Line_0000__Green_house result = passed.
Test_0007_Line_0000__Green_house result = failure.
logicmoo.base.examples.fol.MAKE_WFF_01 JUnit warning = Goal (directive) failed: baseKB:mpred_ain((prove_holds_t(_570,_574,_578)==>t(_570,_574,_578)),(mfl4(['F'=_570,'A'=_574,'B'=_578],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':83,83),ax))
logicmoo.base.examples.fol.MAKE_WFF_01 JUnit warning = Goal (directive) failed: baseKB:mpred_ain((prove_not_holds_t(_51694,_51716,_51738)==> ~t(_51694,_51716,_51738)),(mfl4(['F'=_51694,'A'=_51716,'B'=_51738],baseKB,'/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl':85,85),ax))
Test_0008_Line_0000__Fran result = failure.
Test_0009_Line_0000__Fran result = failure.
Test_0010_Line_0000__Fran result = failure.
Test_0011_Line_0000__Fred result = passed.
Test_0012_Line_0000__Coffee result = failure.
Test_0013_Line_0000__Sue result = failure.
Test_0014_Line_0000__Sue result = failure.
Test_0015_Line_0000__naf_Ralf result = passed.
Test_0016_Line_0000__Sue result = failure.
%~ test_completed_exit(56)
totalTime=5.000
FAILED: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k make_wff_01.pfc.pl (returned 56) Add_LABELS='Errors,Warnings' Rem_LABELS='Skipped,Overtime,Skipped'
