logicmoo_workspace
logicmoo_workspace copied to clipboard
Published
20 hours ago •
logicmoo
logicmoo
logicmoo.base.examples.fol.BOXLOG_SANITY_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 "['boxlog_sanity_01.pfc.pl']")
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_01.pfc.pl % JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.base.examples.fol/BOXLOG_SANITY_01/ % ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ABOXLOG_SANITY_01 % ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/428
%~ 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/boxlog_sanity_01.pfc.pl'),
%~ this_test_might_need( :-( use_module( library(logicmoo_plarkc))))
:- set_prolog_flag(retry_undefined,false).
%:- ensure_abox(kbii).
/*~
~*/
%:- ensure_abox(kbii).
:- set_fileAssertMt(kbii).
% :- process_this_script.
/*~
%~ set_fileAssertMt(kbii)
~*/
% :- process_this_script.
:- set_prolog_flag(os_argv,[swipl, '-f', '/dev/null','--nonet']).
/*~
~*/
:- set_kif_option(+assert).
/*~
~*/
:- cls.
% ============================================================
% all rooms have a door
% ============================================================
/*~
%~ skipped(messy_on_output,cls)
~*/
% ============================================================
% all rooms have a door
% ============================================================
:- test_boxlog([+assert],all(R,exists(D,implies(room(R),and(door(D),has(R,D)))))).
% Should be simular in meaning to
%
% door(D) :-
% room(R),
% skolem(D, skIsDoorInUnkArg2ofHas_1Fn(R)).
% ~room(R) :-
% \+ (
% door(D)
% ).
% ~room(R) :-
% \+ (
% has(R, D)
% ).
% has(R, D) :-
% room(R),
% skolem(D, skIsDoorInUnkArg2ofHas_1Fn(R)).
/*~
%~ kifi = all(R,exists(D,room(R)=>and(door(D),has(R,D)))).
%~ kifm = all( R,
%~ exists(D,nesc(room(R)=>(door(D)&has(R,D))))).
%~ kif_to_boxlog_attvars2 = forall('$VAR'('R'),exists('$VAR'('D'),necessary(=>(room('$VAR'('R')),and(door('$VAR'('D')),has('$VAR'('R'),'$VAR'('D')))))))
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?R has ?D " is necessarily true and
%~ " ?D isa door " is possibly false
%~ It's Proof that:
%~ " ?R isa room " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc(has(R,D))&poss(~door(D))==>poss(~room(R)).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ (" ?R isa room " is necessarily true and
%~ " ?D isa door " is possibly false ) and
%~ by default ?D nesc(room(R))=>(nesc(door(D))&nesc(has(R,D)))
%~ It's Proof that:
%~ " ?R has ?D " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( nesc( room(R)) &
poss( ~( door(D))) &
'$existential'( D,
1,
nesc(room(R))=>(nesc(door(D))&nesc(has(R,D))))) ==>
poss( ~( has(R,D)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ (" ?R isa room " is necessarily true and
%~ " ?R has ?D " is necessarily true ) and
%~ by default ?D nesc(room(R))=>(nesc(door(D))&nesc(has(R,D)))
%~ It's Proof that:
%~ " ?D isa door " is necessarily true
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( nesc( room(R)) &
nesc( has(R,D)) &
'$existential'( D,
1,
nesc(room(R))=>(nesc(door(D))&nesc(has(R,D))))) ==>
nesc( door(D))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?D isa door " is necessarily true and
%~ " ?R has ?D " is possibly false
%~ It's Proof that:
%~ " ?R isa room " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc(door(D))&poss(~has(R,D))==>poss(~room(R)).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ (" ?R isa room " is necessarily true and
%~ " ?R has ?D " is possibly false ) and
%~ by default ?D nesc(room(R))=>(nesc(door(D))&nesc(has(R,D)))
%~ It's Proof that:
%~ " ?D isa door " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( nesc( room(R)) &
poss( ~( has(R,D))) &
'$existential'( D,
1,
nesc(room(R))=>(nesc(door(D))&nesc(has(R,D))))) ==>
poss( ~( door(D)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ (" ?R isa room " is necessarily true and
%~ " ?D isa door " is necessarily true ) and
%~ by default ?D nesc(room(R))=>(nesc(door(D))&nesc(has(R,D)))
%~ It's Proof that:
%~ " ?R has ?D " is necessarily true
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( nesc( room(R)) &
nesc( door(D)) &
'$existential'( D,
1,
nesc(room(R))=>(nesc(door(D))&nesc(has(R,D))))) ==>
nesc( has(R,D))).
~*/
% Should be simular in meaning to
%
% door(D) :-
% room(R),
% skolem(D, skIsDoorInUnkArg2ofHas_1Fn(R)).
% ~room(R) :-
% \+ (
% door(D)
% ).
% ~room(R) :-
% \+ (
% has(R, D)
% ).
% has(R, D) :-
% room(R),
% skolem(D, skIsDoorInUnkArg2ofHas_1Fn(R)).
:- test_boxlog([+assert],all(D,implies(door(D),exists(K,and(knob(K),has(D,K)))))).
% ============================================================
% 1 room called room222
% ============================================================
/*~
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_01.pfc.pl:48
%~ kifi = all(D,door(D)=>exists(K,and(knob(K),has(D,K)))).
%~ kifm = all( D,
%~ nesc( door(D)=>exists(K,knob(K)&has(D,K)))).
%~ kif_to_boxlog_attvars2 = forall('$VAR'('D'),necessary(=>(door('$VAR'('D')),exists('$VAR'('K'),and(knob('$VAR'('K')),has('$VAR'('D'),'$VAR'('K')))))))
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?D has ?K " is necessarily true and
%~ " ?K isa knob " is possibly false
%~ It's Proof that:
%~ " ?D isa door " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc(has(D,K))&poss(~knob(K))==>poss(~door(D)).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ (" ?D isa door " is necessarily true and
%~ " ?K isa knob " is possibly false ) and
%~ by default ?K nesc(knob(K))&nesc(has(D,K))
%~ It's Proof that:
%~ " ?D has ?K " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( nesc( door(D)) &
poss( ~( knob(K))) &
'$existential'(K,1,nesc(knob(K))&nesc(has(D,K)))) ==>
poss( ~( has(D,K)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ (" ?D isa door " is necessarily true and
%~ " ?D has ?K " is necessarily true ) and
%~ by default ?K nesc(knob(K))&nesc(has(D,K))
%~ It's Proof that:
%~ " ?K isa knob " is necessarily true
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( nesc( door(D)) &
nesc( has(D,K)) &
'$existential'(K,1,nesc(knob(K))&nesc(has(D,K)))) ==>
nesc( knob(K))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?K isa knob " is necessarily true and
%~ " ?D has ?K " is possibly false
%~ It's Proof that:
%~ " ?D isa door " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc(knob(K))&poss(~has(D,K))==>poss(~door(D)).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ (" ?D isa door " is necessarily true and
%~ " ?D has ?K " is possibly false ) and
%~ by default ?K nesc(knob(K))&nesc(has(D,K))
%~ It's Proof that:
%~ " ?K isa knob " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( nesc( door(D)) &
poss( ~( has(D,K))) &
'$existential'(K,1,nesc(knob(K))&nesc(has(D,K)))) ==>
poss( ~( knob(K)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ (" ?D isa door " is necessarily true and
%~ " ?K isa knob " is necessarily true ) and
%~ by default ?K nesc(knob(K))&nesc(has(D,K))
%~ It's Proof that:
%~ " ?D has ?K " is necessarily true
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( nesc( door(D)) &
nesc( knob(K)) &
'$existential'(K,1,nesc(knob(K))&nesc(has(D,K)))) ==>
nesc( has(D,K))).
~*/
% ============================================================
% 1 room called room222
% ============================================================
:- test_boxlog([+assert,+existentialize_objs],room(r111)).
/*~
%~ existentialize_objs :- exists(Room_r111,isNamed(Room_r111,r111)&room(Room_r111)).
%~ %~ existentialize_objs:-exists(_1262,isNamed(_1262,r111)&room(_1262))
%~ kifi = room(r111).
%~ kifm = exists(Room,nesc(isNamed(Room,r111)&room(Room))).
%~ kif_to_boxlog_attvars2 = exists(_1118,necessary(and(isNamed(_1118,r111),room(_1118))))
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?666 isNamed r111 " is possibly false and
%~ by default ?666 nesc(isNamed(Q25,r111))&nesc(room(Q25))
%~ It's Proof that:
%~ " ?666 isa room " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( poss( ~( isNamed(Q25,r111))) &
'$existential'(Q25,1,nesc(isNamed(Q25,r111))&nesc(room(Q25)))) ==>
poss( ~( room(Q25)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?666 isa room " is necessarily true and
%~ by default ?666 nesc(isNamed(Q25,r111))&nesc(room(Q25))
%~ It's Proof that:
%~ " ?666 isNamed r111 " is necessarily true
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( nesc(room(Q25))&'$existential'(Q25,1,nesc(isNamed(Q25,r111))&nesc(room(Q25))) ==>
nesc( isNamed(Q25,r111))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?666 isa room " is possibly false and
%~ by default ?666 nesc(isNamed(Q25,r111))&nesc(room(Q25))
%~ It's Proof that:
%~ " ?666 isNamed r111 " is possibly false
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( poss( ~( room(Q25))) &
'$existential'(Q25,1,nesc(isNamed(Q25,r111))&nesc(room(Q25)))) ==>
poss( ~( isNamed(Q25,r111)))).
% AND
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ Whenever:
%~ " ?666 isNamed r111 " is necessarily true and
%~ by default ?666 nesc(isNamed(Q25,r111))&nesc(room(Q25))
%~ It's Proof that:
%~ " ?666 isa room " is necessarily true
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
( ( nesc( isNamed(Q25,r111)) &
'$existential'(Q25,1,nesc(isNamed(Q25,r111))&nesc(room(Q25)))) ==>
nesc( room(Q25))).
~*/
room(r222).
/*~
%~ debugm(baseKB,show_success(baseKB,baseKB:ain(clif(room(r222)))))
% 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: 193 words .. **
** Grammar from file /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_nlu/ext/chat80/original/lex.xg: -200 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.28 sec, 3 clauses
% /var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/debuggery/dmsg compiled into dmsg 0.12 sec, -16 clauses
=======================================================
room(r222)
============================================
?- kif_to_boxlog( room(r222) ).
% In English:
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ r222 isa room
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ kif_to_boxlog_attvars2 = necessary(room(r222))
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Results in the following 1 entailment(s):
nesc(room(r222)).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%~ it is necessarily true that r222 isa room
%~
%~ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nesc( room(r222)).
============================================
~*/
:- test_boxlog([+assert],exactly(4,X,room(X))).
/*~
%~ kif_to_boxlog_attvars2 = necessary(quant(exactly(4),'$VAR'('X'),room('$VAR'('X'))))
%~ w_o_c(
%~ error = error(uninstantiation_error(X),context(put_attr/3,'1-st argument')),
%~ baseKB : kif_to_boxlog(exactly(4,X,room(X)),KB,rule5:0,_586))
%~ FIlE: * https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_01.pfc.pl#L57
(0)$[system] '$c_call_prolog'. no(clause)
(1)$[$toplevel] '$toplevel'. % toplevel.pl:701:
(2)$[$toplevel] '$runtoplevel'. % toplevel.pl:713:
(10)$[system] '$load_file'('boxlog_sanity_01.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/boxlog_sanity_01.pfc.pl ',<gt;clause>(0x55ae2ce79100),[expand(false),expand(true)])),'$mt_do_load'(<gt;clause>(0x55ae2ce79100),'boxlog_sanity_01.pfc.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_01.pfc.pl ',user,[expand(false),expand(true)]),'$mt_end_load'(<gt;clause>(0x55ae2ce79100)))). 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/boxlog_sanity_01.pfc.pl ',<gt;clause>(0x55ae2ce79100),[expand(false),expand(true)])),system:'$mt_do_load'(<gt;clause>(0x55ae2ce79100),'boxlog_sanity_01.pfc.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_01.pfc.pl ',user,[expand(false),expand(true)]),A,system:'$mt_end_load'(<gt;clause>(0x55ae2ce79100))). % init.pl:646:
(18)$[system]# '$qdo_load_file'('boxlog_sanity_01.pfc.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_01.pfc.pl ',user,[expand(false),expand(true)]). % init.pl:2546:
(21)<gt;*>$[system]# '$do_load_file_2'('boxlog_sanity_01.pfc.pl','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_01.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/boxlog_sanity_01.pfc.pl ',1632225663.7502787),system:'$load_file'('* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_01.pfc.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_01.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/boxlog_sanity_01.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/boxlog_sanity_01.pfc.pl ','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_01.pfc.pl ',A,[expand(false),expand(true)]). % init.pl:3007:
(27)$[system]# '$compile_term'('<gt;garbage_collected>','<gt;garbage_collected>','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_01.pfc.pl '). % init.pl:3074:
(28)$[system]# '$compile_term'('<gt;garbage_collected>','<gt;garbage_collected>','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_01.pfc.pl ',-). % init.pl:3084:
(29)$[system]# '$execute_directive'('<gt;garbage_collected>','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_01.pfc.pl '). % init.pl:3549:
(30)$[system]# '$execute_directive_2'('<gt;garbage_collected>','* https://logicmoo.org:2082/gitlab/logicmoo/logicmoo_workspace/-/edit/master@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_01.pfc.pl '). % init.pl:3571:
(31)<gt;*>$[system] '$execute_directive_3'(test_boxlog([+assert],exactly(4,A,room(A)))). % init.pl:3574:
(32)$[system] catch(baseKB:test_boxlog([+assert],exactly(4,A,room(A))),error(B,C),system:'$exception_in_directive'(error(B,C))). % init.pl:546:
(33)[baseKB] common_logic_sanity:test_boxlog('<gt;garbage_collected>','<gt;garbage_collected>'). % common_logic_sanity.pl:143:
(34)[baseKB] locally_each:locally_tl('<gt;garbage_collected>','<gt;garbage_collected>'). % redo_locally.pl:151:
(35)[locally_each] locally_each:locally('<gt;garbage_collected>','<gt;garbage_collected>'). % redo_locally.pl:149:
(36)$[locally_each] locally_each:wtl(t_l,'<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % redo_locally.pl:199:
(37)$[locally_each] locally_each:wtl(t_l,'<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % redo_locally.pl:204:
(38)$[locally_each] locally_each:wtl_how('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % redo_locally.pl:217:
(39)$[each_call_cleanup] each_call_cleanup:each_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % each_call.pl:147:
(40)$[each_call_cleanup] each_call_cleanup:trusted_redo_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % each_call.pl:116:
(41)$[system] setup_call_cleanup('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % init.pl:650:
(42)$[system]# setup_call_catcher_cleanup(locally_each:key_asserta(t_l,t_l:kif_option_list([+assert])),each_call_cleanup:((baseKB:(\+ \+ (pretty_numbervars_ground(exactly(4,A,room(A)),exactly(4,X,room(X))),kif_optionally_e(never,ain,clif(exactly(4,X,room(X)))),kif_to_boxlog(exactly(4,X,room(X)),B),kif_optionally_e(true,show_boxlog,B),flush_output,kif_optionally(false,assert_to_boxlog,B),kif_optionally(false,print_boxlog_to_pfc,B))),deterministic(C)),(notrace(C==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([+assert])),notrace(nb_setarg(1,mquietly(locally_each:key_erase(t_l)),locally_each:key_erase(t_l))),notrace(fail))),D,each_call_cleanup:mquietly(locally_each:key_erase(t_l))). % init.pl:646:
(43)<gt;*>$[each_call_cleanup] '<gt;meta-call>'('<gt;garbage_collected>'). no(clause)
(44)[ucatch]# ucatch:'<gt;garbage_collected>'. % ucatch.pl:1758:
(45)$[ucatch] ucatch:call_each_det('<gt;garbage_collected>','<gt;garbage_collected>'). % ucatch.pl:1775:
(46)$[ucatch] ucatch:call_each_det('<gt;garbage_collected>','<gt;garbage_collected>'). % ucatch.pl:1775:
(47)$[ucatch] ucatch:call_each_det(ucatch:must_det_u,'<gt;garbage_collected>'). % ucatch.pl:1775:
(48)$[ucatch] ucatch:call_each_det('<gt;garbage_collected>','<gt;garbage_collected>'). % ucatch.pl:1778:
(49)$[ucatch] ucatch:p_call('<gt;garbage_collected>','<gt;garbage_collected>'). % ucatch.pl:1784:
(50)$[ucatch]# ucatch:'<gt;garbage_collected>'. % ucatch.pl:1727:
(51)<gt;*>$[must_sanity]# must_sanity:baseKB:kif_to_boxlog(exactly(4,X,room(X)),A). % must_sanity.pl:65:
(52)[baseKB] common_logic_snark:kif_to_boxlog('<gt;garbage_collected>','<gt;garbage_collected>'). % common_logic_snark.pl:1099:
(53)<gt;*>[must_sanity]# must_sanity:baseKB:kif_to_boxlog(exactly(4,X,room(X)),A,rule5:0). % must_sanity.pl:65:
(54)[baseKB] common_logic_snark:kif_to_boxlog('<gt;garbage_collected>','<gt;garbage_collected>','<gt;garbage_collected>'). % common_logic_snark.pl:1107:
(55)[locally_each] locally_each:w_o_c('<gt;garbage_collected>'). % redo_locally.pl:86:
(56)$[system] catch(locally_each:w_o_c(error,baseKB:kif_to_boxlog(exactly(4,X,room(X)),KB,rule5:0,A)),error(uninstantiation_error(X),context(put_attr/3,'1-st argument')),locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(X),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(4,X,room(X)),KB,rule5:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(X),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(4,X,room(X)),KB,rule5:0,A))),break,trace,baseKB:kif_to_boxlog(exactly(4,X,room(X)),KB,rule5:0,A))). % init.pl:546:
(57)$[locally_each] '<gt;meta-call>'(locally_each:(wdmsg(w_o_c(error=error(uninstantiation_error(X),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(4,X,room(X)),KB,rule5:0,A))),dumpST,wdmsg(w_o_c(error=error(uninstantiation_error(X),context(put_attr/3,'1-st argument')),baseKB:kif_to_boxlog(exactly(4,X,room(X)),KB,rule5:0,A))),break,trace,baseKB:kif_to_boxlog(exactly(4,X,room(X)),KB,rule5:0,A))). no(clause)
(58)[locally_each] dumpst:dumpST. % dumpst.pl:150:
%~ w_o_c(
%~ error = error(uninstantiation_error(X),context(put_attr/3,'1-st argument')),
%~ baseKB : kif_to_boxlog(exactly(4,X,room(X)),KB,rule5:0,_586))
% Break level 1
% Exit break level 1
^ Call: (58) [baseKB] common_logic_snark:kif_to_boxlog(exactly(4, X, room(X)), KB, rule5:0, _586) ? EOF: exit (status 4)
%~ unused(no_junit_results)
%~ /var/lib/jenkins/workspace/logicmoo_workspace@2/packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_01.pfc.pl:57
%~ 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 boxlog_sanity_01.pfc.pl (returned 4) Add_LABELS='' Rem_LABELS='Skipped,Skipped,Errors,Warnings,Overtime,Skipped'
