logicmoo_workspace
logicmoo_workspace copied to clipboard
Published
20 hours ago •
logicmoo
logicmoo
logicmoo.base.examples.fol.SANITY_AT_LEAST_MOST_EXACTLY_02 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 "['sanity_at_least_most_exactly_02.pfc.pl']")
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.base.examples.fol/SANITY_AT_LEAST_MOST_EXACTLY_02/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ASANITY_AT_LEAST_MOST_EXACTLY_02 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/419
%~ 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/sanity_at_least_most_exactly_02.pfc.pl'),
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))
%:- module(t123).
%:- '$set_source_module'(t123).
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
:- set_prolog_flag(logicmoo_modality,full)
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
.
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
% :- process_this_script.
/*~
~*/
% :- process_this_script.
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
:- statistics
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
.
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
/*~
% Started at Sat Sep 25 22:54:11 2021
% 1.291 seconds cpu time for 2,317,932 inferences
% 941,450 atoms, 32,345 functors, 31,563 predicates, 751 modules, 15,989,866 VM-codes
%
% Limit Allocated In use
% Local stack: - 52 Kb 3,920 b
% Global stack: - 8,192 Kb 1,987 Kb
% Trail stack: - 1,026 Kb 744 b
% Total: 1,024 Mb 9,270 Kb 1,992 Kb
%
% 8 garbage collections gained 14,706,816 bytes in 0.001 seconds.
% 6 atom garbage collections gained 3,322 atoms in 0.095 seconds.
% 10 clause garbage collections gained 1,773 clauses in 0.000 seconds.
% Stack shifts: 1 local, 4 global, 5 trail in 0.002 seconds
% 3 threads, 0 finished threads used 0.000 seconds
~*/
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
subtest([subtest_assert(tHuman(joe)),
mpred_test(isa(_,tHeart))])
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
.
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
/*~
%~ debugm( baseKB,
%~ show_success( baseKB,
%~ baseKB : ain( clif( subtest( [ subtest_assert( tHuman(joe)),
%~ mpred_test( tHeart(Heart4))])))))
% 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: 561 words .. **
** Grammar from file /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_nlu/ext/chat80/original/lex.xg: -228 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.62 sec, 3 clauses
% /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/debuggery/dmsg compiled into dmsg 0.15 sec, -16 clauses
=======================================================
subtest('[|]'(subtest_assert(tHuman(joe)),'[|]'(mpred_test(tHeart('$VAR'('Heart4'))),[])))
============================================
?- kif_to_boxlog( subtest([subtest_assert(tHuman(joe)),mpred_test(tHeart(Heart4))]) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ joe isa tHuman isa subtest_assert ?Heart4 isa tHeart isa mpred_test isa subtest
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(subtest('[|]'(subtest_assert(tHuman(joe)),'[|]'(mpred_test(tHeart('$VAR'('Heart4'))),[]))))
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc(subtest([subtest_assert(tHuman(joe)),mpred_test(tHeart(Heart4))])).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that joe isa tHuman isa subtest_assert ?Heart4 isa tHeart isa mpred_test isa subtest
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc( subtest( [ subtest_assert( tHuman(joe)),
mpred_test( tHeart(Heart4))])).
============================================
~*/
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
subtest([subtest_assert(tHuman(joe)),
mpred_test(hasOrgan(joe,_))])
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
.
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl:23
%~ debugm( baseKB,
%~ show_success( baseKB,
%~ baseKB : ain( clif( subtest( [ subtest_assert( tHuman(joe)),
%~ mpred_test( hasOrgan(joe,HasOrgan_Joe4))])))))
=======================================================
subtest('[|]'(subtest_assert(tHuman(joe)),'[|]'(mpred_test(hasOrgan(joe,'$VAR'('HasOrgan_Joe4'))),[])))
============================================
?- kif_to_boxlog( subtest([subtest_assert(tHuman(joe)),mpred_test(hasOrgan(joe,HasOrgan_Joe4))]) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ joe isa tHuman isa subtest_assert joe hasOrgan ?HasOrgan_Joe4 isa mpred_test isa subtest
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(subtest('[|]'(subtest_assert(tHuman(joe)),'[|]'(mpred_test(hasOrgan(joe,'$VAR'('HasOrgan_Joe4'))),[]))))
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc(subtest([subtest_assert(tHuman(joe)),mpred_test(hasOrgan(joe,HasOrgan_Joe4))])).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that joe isa tHuman isa subtest_assert joe hasOrgan ?HasOrgan_Joe4 isa mpred_test isa subtest
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc( subtest( [ subtest_assert( tHuman(joe)),
mpred_test( hasOrgan(joe,HasOrgan_Joe4))])).
============================================
~*/
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
subtest([subtest_assert(tHeart(_)),
mpred_test(~hasOrgan(jack,_))])
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
.
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
/*~
%~ debugm( baseKB,
%~ show_success( baseKB,
%~ baseKB : ain( clif( subtest( [ subtest_assert( tHeart(Heart7)),
%~ mpred_test( ~( hasOrgan(jack,HasOrgan_Jack5)))])))))
=======================================================
subtest('[|]'(subtest_assert(tHeart('$VAR'('Heart7'))),'[|]'(mpred_test(~(hasOrgan(jack,'$VAR'('HasOrgan_Jack5')))),[])))
============================================
?- kif_to_boxlog( subtest([subtest_assert(tHeart(Heart7)),mpred_test(~hasOrgan(jack,HasOrgan_Jack5))]) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ ?Heart7 isa tHeart isa subtest_assert jack hasOrgan ?HasOrgan_Jack5 isa ~ isa mpred_test isa subtest
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(subtest('[|]'(subtest_assert(tHeart('$VAR'('Heart7'))),'[|]'(mpred_test(not(hasOrgan(jack,'$VAR'('HasOrgan_Jack5')))),[]))))
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc(subtest([subtest_assert(tHeart(Heart7)),mpred_test(~hasOrgan(jack,HasOrgan_Jack5))])).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that ?Heart7 isa tHeart isa subtest_assert jack hasOrgan ?HasOrgan_Jack5 isa ~ isa mpred_test isa subtest
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc( subtest( [ subtest_assert( tHeart(Heart7)),
mpred_test( ~( hasOrgan(jack,HasOrgan_Jack5)))])).
============================================
~*/
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
:- ain(tHuman(iBob))
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
.
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
/*~
~*/
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
testable_quants(X,Fml,Q,Name):-member(QF,[exactly,atmost,atleast]),member(QN,[0,1,2,3,5,10]),Q=..[QF,QN,X,Fml],atom_concat(QF,QN,Name)
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
.
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
/*~
~*/
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
testable_quants(X,Fml,Q,Name):-member(QF,[all,exists]),Q=..[QF,X,Fml],atom_concat(QF,'1',Name)
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
.
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
/*~
~*/
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
testable_quants(X,Fml,~Q,Name):-member(QF,[all,exists]),Q=..[QF,X,Fml],atom_concat(QF,'0',Name)
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
.
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
/*~
~*/
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
:- add_test(most3, (all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal)))))
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
.
Warning: '/var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl':1603:0: Illegal UTF-8 start
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl:37
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
%~ test_boxlog(most3)
%~ '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'.
%~ kif_to_boxlog_attvars2 = forall('$VAR'('Human'),necessary(=>(isa('$VAR'('Human'),tHuman),quant(atmost(3),'$VAR'('M3Meal'),=>(isa('$VAR'('M3Meal'),tMeal),hasMeal('$VAR'('Human'),'$VAR'('M3Meal')))))))
%~ w_o_c(
%~ error = error(uninstantiation_error(M3Meal),context(put_attr/3,'1-st argument')),
%~ baseKB : kif_to_boxlog(
%~ all(
%~ [ [Human,tHuman]],
%~ atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))), KB,rule4:0,_570744))
%~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl#L37
(0)$[system] '$c_call_prolog'. no(clause)
(1)$[$toplevel] '$toplevel'. % toplevel.pl:701:
(2)$[$toplevel] '$runtoplevel'. % toplevel.pl:713:
(10)$[system] '$load_file'('sanity_at_least_most_exactly_02.pfc.pl',user,'<gt;garbage_collected>'). % init.pl:2353:
(13)$[system]# '$sig_atomic'(setup_call_cleanup(with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl ',<gt;clause>(0x56121a8b9100),[expand(false),expand(true)])),'$mt_do_load'(<gt;clause>(0x56121a8b9100),'sanity_at_least_most_exactly_02.pfc.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl ',user,[expand(false),expand(true)]),'$mt_end_load'(<gt;clause>(0x56121a8b9100)))). no(clause)
(14)$[system] '$c_call_prolog'. no(clause)
(16)$[system]# setup_call_catcher_cleanup(system:with_mutex('$load_file','$mt_start_load'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl ',<gt;clause>(0x56121a8b9100),[expand(false),expand(true)])),system:'$mt_do_load'(<gt;clause>(0x56121a8b9100),'sanity_at_least_most_exactly_02.pfc.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'(<gt;clause>(0x56121a8b9100))). % init.pl:646:
(18)$[system]# '$qdo_load_file'('sanity_at_least_most_exactly_02.pfc.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl ',user,[expand(false),expand(true)]). % init.pl:2546:
(21)<gt;*>$[system]# '$do_load_file_2'('sanity_at_least_most_exactly_02.pfc.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl ',user,compiled,[expand(false),expand(true)]). % init.pl:2592:
(25)$[system]# setup_call_catcher_cleanup(system:'$start_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl ',1632225668.873031),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl ',A,[expand(false),expand(true)]),B,system:'$end_consult'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl ',lexstate(202,swi),user)). % init.pl:646:
(26)<gt;*>$[system]# '$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl ',A,[expand(false),expand(true)]). % init.pl:3007:
(27)$[system]# '$compile_term'((:-add_test(most3,all([[A,tHuman]],atmost(3,[[B,tMeal]],hasMeal(A,B))))),C,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl '). % init.pl:3074:
(28)$[system]# '$compile_term'((:-add_test(most3,all([[A,tHuman]],atmost(3,[[B,tMeal]],hasMeal(A,B))))),C,'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl ',-). % init.pl:3084:
(29)$[system]# '$execute_directive'(add_test(most3,all([[A,tHuman]],atmost(3,[[B,tMeal]],hasMeal(A,B)))),'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl '). % init.pl:3549:
(30)$[system]# '$execute_directive_2'(add_test(most3,all([[A,tHuman]],atmost(3,[[B,tMeal]],hasMeal(A,B)))),'* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl '). % init.pl:3571:
(31)<gt;*>$[system] '$execute_directive_3'(add_test(most3,all([[A,tHuman]],atmost(3,[[B,tMeal]],hasMeal(A,B))))). % init.pl:3574:
(32)$[system] catch(baseKB:add_test(most3,all([[A,tHuman]],atmost(3,[[B,tMeal]],hasMeal(A,B)))),error(C,D),system:'$exception_in_directive'(error(C,D))). % init.pl:546:
(33)[baseKB] common_logic_sanity:add_test(most3,all([[A,tHuman]],atmost(3,[[B,tMeal]],hasMeal(A,B)))). % common_logic_sanity.pl:271:
(34)[baseKB] common_logic_sanity:test_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal)))). % common_logic_sanity.pl:136:
(35)[baseKB] common_logic_sanity:test_boxlog([],all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal)))). % common_logic_sanity.pl:143:
(36)[baseKB]# locally_each:locally_tl(kif_option_list([]),\+ \+ (pretty_numbervars_ground(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal)))),kif_optionally_e(never,ain,clif(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))))),kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),A),kif_optionally_e(true,show_boxlog,A),flush_output,kif_optionally(false,assert_to_boxlog,A),kif_optionally(false,print_boxlog_to_pfc,A))). % redo_locally.pl:151:
(37)[locally_each]# locally_each:locally(t_l:kif_option_list([]),baseKB:(\+ \+ (pretty_numbervars_ground(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal)))),kif_optionally_e(never,ain,clif(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))))),kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),A),kif_optionally_e(true,show_boxlog,A),flush_output,kif_optionally(false,assert_to_boxlog,A),kif_optionally(false,print_boxlog_to_pfc,A)))). % redo_locally.pl:149:
(38)$[locally_each]# locally_each:wtl(t_l,kif_option_list([]),baseKB:(\+ \+ (pretty_numbervars_ground(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal)))),kif_optionally_e(never,ain,clif(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))))),kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),A),kif_optionally_e(true,show_boxlog,A),flush_output,kif_optionally(false,assert_to_boxlog,A),kif_optionally(false,print_boxlog_to_pfc,A))),baseKB:ecc). % redo_locally.pl:199:
(39)$[locally_each]# locally_each:wtl(t_l,t_l:kif_option_list([]),baseKB:(\+ \+ (pretty_numbervars_ground(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal)))),kif_optionally_e(never,ain,clif(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))))),kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),A),kif_optionally_e(true,show_boxlog,A),flush_output,kif_optionally(false,assert_to_boxlog,A),kif_optionally(false,print_boxlog_to_pfc,A))),baseKB:ecc). % redo_locally.pl:204:
(40)$[locally_each]# locally_each:wtl_how(baseKB:ecc,locally_each:clause_true(t_l,t_l:kif_option_list([])),locally_each:key_asserta(t_l,t_l:kif_option_list([])),baseKB:(\+ \+ (pretty_numbervars_ground(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal)))),kif_optionally_e(never,ain,clif(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))))),kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),A),kif_optionally_e(true,show_boxlog,A),flush_output,kif_optionally(false,assert_to_boxlog,A),kif_optionally(false,print_boxlog_to_pfc,A))),locally_each:key_erase(t_l)). % redo_locally.pl:217:
(41)$[each_call_cleanup]# each_call_cleanup:each_call_cleanup(locally_each:key_asserta(t_l,t_l:kif_option_list([])),baseKB:(\+ \+ (pretty_numbervars_ground(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal)))),kif_optionally_e(never,ain,clif(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))))),kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),A),kif_optionally_e(true,show_boxlog,A),flush_output,kif_optionally(false,assert_to_boxlog,A),kif_optionally(false,print_boxlog_to_pfc,A))),locally_each:key_erase(t_l)). % each_call.pl:147:
(42)$[each_call_cleanup]# each_call_cleanup:trusted_redo_call_cleanup(locally_each:key_asserta(t_l,t_l:kif_option_list([])),baseKB:(\+ \+ (pretty_numbervars_ground(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal)))),kif_optionally_e(never,ain,clif(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))))),kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),A),kif_optionally_e(true,show_boxlog,A),flush_output,kif_optionally(false,assert_to_boxlog,A),kif_optionally(false,print_boxlog_to_pfc,A))),locally_each:key_erase(t_l)). % each_call.pl:116:
(43)$[system]# setup_call_cleanup(locally_each:key_asserta(t_l,t_l:kif_option_list([])),each_call_cleanup:((baseKB:(\+ \+ (pretty_numbervars_ground(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal)))),kif_optionally_e(never,ain,clif(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))))),kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),A),kif_optionally_e(true,show_boxlog,A),flush_output,kif_optionally(false,assert_to_boxlog,A),kif_optionally(false,print_boxlog_to_pfc,A))),deterministic(B)),(notrace(B==true)->!;mquietly(locally_each:key_erase(t_l)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),true));locally_each:key_asserta(t_l,t_l:kif_option_list([])),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),locally_each:key_erase(t_l))),notrace(fail))),each_call_cleanup:mquietly(locally_each:key_erase(t_l))). % init.pl:650:
(44)$[system]# setup_call_catcher_cleanup(locally_each:key_asserta(t_l,t_l:kif_option_list([])),each_call_cleanup:((baseKB:(\+ \+ (pretty_numbervars_ground(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal)))),kif_optionally_e(never,ain,clif(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))))),kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),A),kif_optionally_e(true,show_boxlog,A),flush_output,kif_optionally(false,assert_to_boxlog,A),kif_optionally(false,print_boxlog_to_pfc,A))),deterministic(B)),(notrace(B==true)->!;mquietly(locally_each:key_erase(t_l)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),true));locally_each:key_asserta(t_l,t_l:kif_option_list([])),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),locally_each:key_erase(t_l))),notrace(fail))),C,each_call_cleanup:mquietly(locally_each:key_erase(t_l))). % init.pl:646:
(45)<gt;*>$[each_call_cleanup]# '<gt;meta-call>'(each_call_cleanup:((baseKB:(\+ \+ (pretty_numbervars_ground(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal)))),kif_optionally_e(never,ain,clif(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))))),kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),A),kif_optionally_e(true,show_boxlog,A),flush_output,kif_optionally(false,assert_to_boxlog,A),kif_optionally(false,print_boxlog_to_pfc,A))),deterministic(B)),(notrace(B==true)->!;mquietly(locally_each:key_erase(t_l)),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),true));locally_each:key_asserta(t_l,t_l:kif_option_list([])),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),locally_each:key_erase(t_l))),notrace(fail)))). no(clause)
(46)[ucatch]# ucatch:baseKB:(pretty_numbervars_ground(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal)))),kif_optionally_e(never,ain,clif(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))))),kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),A),kif_optionally_e(true,show_boxlog,A),flush_output,kif_optionally(false,assert_to_boxlog,A),kif_optionally(false,print_boxlog_to_pfc,A)). % ucatch.pl:1758:
(47)$[ucatch] ucatch:call_each_det(ucatch:must_det_u,baseKB:(pretty_numbervars_ground(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal)))),kif_optionally_e(never,ain,clif(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))))),kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),A),kif_optionally_e(true,show_boxlog,A),flush_output,kif_optionally(false,assert_to_boxlog,A),kif_optionally(false,print_boxlog_to_pfc,A))). % ucatch.pl:1775:
(48)$[ucatch] ucatch:call_each_det(ucatch:must_det_u,baseKB:(kif_optionally_e(never,ain,clif(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))))),kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),A),kif_optionally_e(true,show_boxlog,A),flush_output,kif_optionally(false,assert_to_boxlog,A),kif_optionally(false,print_boxlog_to_pfc,A))). % ucatch.pl:1775:
(49)$[ucatch] ucatch:call_each_det(ucatch:must_det_u,baseKB:(kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),A),kif_optionally_e(true,show_boxlog,A),flush_output,kif_optionally(false,assert_to_boxlog,A),kif_optionally(false,print_boxlog_to_pfc,A))). % ucatch.pl:1775:
(50)$[ucatch] ucatch:call_each_det(ucatch:must_det_u,baseKB:kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),A)). % ucatch.pl:1778:
(51)$[ucatch] ucatch:p_call(ucatch:must_det_u,baseKB:kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),A)). % ucatch.pl:1784:
(52)$[ucatch]# ucatch:baseKB:kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),A). % ucatch.pl:1727:
(53)<gt;*>$[must_sanity]# must_sanity:baseKB:kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),A). % must_sanity.pl:65:
(54)[baseKB] common_logic_snark:kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),A). % common_logic_snark.pl:1099:
(55)<gt;*>[must_sanity]# must_sanity:baseKB:kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),A,rule4:0). % must_sanity.pl:65:
(56)[baseKB] common_logic_snark:kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),A,rule4:0). % common_logic_snark.pl:1107:
(57)[locally_each] locally_each:w_o_c(baseKB:kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),KB,rule4:0,A)). % redo_locally.pl:86:
(58)$[system] catch(locally_each:w_o_c(error,baseKB:kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),KB,rule4:0,A)),error(uninstantiation_error(M3Meal),context(put_attr/3,'1-st argument')),locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(M3Meal),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),KB,rule4:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(M3Meal),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),KB,rule4:0,A))),break,trace,baseKB:kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),KB,rule4:0,A))). % init.pl:546:
(59)$[locally_each] '<gt;meta-call>'(locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(M3Meal),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),KB,rule4:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(M3Meal),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),KB,rule4:0,A))),break,trace,baseKB:kif_to_boxlog(all([[Human,tHuman]],atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))),KB,rule4:0,A))). no(clause)
(60)[locally_each] dumpst:dumpST. % dumpst.pl:150:
%~ w_o_c(
%~ error = error(uninstantiation_error(M3Meal),context(put_attr/3,'1-st argument')),
%~ baseKB : kif_to_boxlog(
%~ all(
%~ [ [Human,tHuman]],
%~ atmost(3,[[M3Meal,tMeal]],hasMeal(Human,M3Meal))), KB,rule4:0,_570744))
% Break level 1
% Exit break level 1
^ Call: (60) [baseKB] common_logic_snark:kif_to_boxlog(all([[Human, tHuman]], atmost(3, [[M3Meal, tMeal]], hasMeal(Human, M3Meal))), KB, rule4:0, _570744) ? EOF: exit (status 4)
%~ unused(no_junit_results)
%~ test_completed_exit(0)
%~ message_hook_type(warning)
%~ message_hook(
%~ goal_failed(at_halt,system:test_completed),
%~ warning,
%~ [ 'Goal (~w) failed: ~p' - [ at_halt,
%~ system : test_completed]])
Goal (at_halt) failed: system:test_completed
Warning: Goal (at_halt) failed: system:test_completed
totalTime=4.000
FAILED: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k sanity_at_least_most_exactly_02.pfc.pl (returned 4) Add_LABELS='' Rem_LABELS='Skipped,Skipped,Errors,Warnings,Overtime,Skipped'
