logicmoo.agi.agi_test.adv_story.ADV_TEST_02 JUnit #704
Description
(cd /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/t/agi_tests/adv_story ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['adv_test_02.pl']")
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/logicmoo_agi/t/agi_tests/adv_story/adv_test_02.pl
% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.agi.agi_test.adv_story/ADV_TEST_02/
% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3AADV_TEST_02
% ISSUE: #704
%~ init_phase(after_load)
%~ init_phase(restore_state)
%
%~ init_why(after_boot,program)
%~ READONLY PACKAGES
%~ READONLY PACKAGES
%~ READONLY PACKAGES
%~ after_boot.
%~ Dont forget to ?- logicmoo_i_cyc_xform.
%~ message_hook_type(warning)
%~ message_hook(
%~ redefined_procedure(static,mu:aXiom/1),
%~ warning,
%~ [ 'Redefined ~w procedure ~p' - [ static,
%~ mu : aXiom/1]])
%~ source_location('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl',44)
Redefined static procedure mu:(aXiom/1)
Warning: /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:44:
Warning: Redefined static procedure mu:(aXiom/1)
/* ==>>(will_need_touch(Agent,Thing),h(spatial,touchable,Agent,Thing)) */
%~ will_need_touch(Agent,Thing,A9,B9) :-
%~
%~ h(spatial,touchable,Agent,Thing,A9,B9).
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:51
%~ will_need_touch(Touchable_Will_need_touch5,Will_need_touch4,Will_need_touch,Touch) :-
%~
%~ h(spatial,touchable,Touchable_Will_need_touch5,Will_need_touch4,Will_need_touch,Touch).
/* ( will_need_touch(Agent,Thing) ==>>
( can_sense(Agent,Sense_Agent2,Thing) ,
h(spatial,touchable,Agent,Thing))) */
%~ will_need_touch(Agent,Thing,A9,C9) :-
%~ can_sense(Agent,Sense_Agent2,Thing,A9,B9) ,
%~ h(spatial,touchable,Agent,Thing,B9,C9).
:- multifile will_need_touch/4.
/* ( will_need_touch(Source_Agent_Touchable_Will_need_touch,Target_Thing_Touch) ==>>
( can_sense(Source_Agent_Touchable_Will_need_touch,Can_senseWill_need_touch,Target_Thing_Touch) ,
h(spatial,touchable,Source_Agent_Touchable_Will_need_touch,Target_Thing_Touch))) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:59
%~ will_need_touch(Agent_Touchable_Will_need_touch,Thing,A9,C9) :-
%~ can_sense( Agent_Touchable_Will_need_touch,
%~ Can_senseWill_need_touch, Thing,A9,B9) ,
%~ h(spatial,touchable,Agent_Touchable_Will_need_touch,Thing,B9,C9).
will_need_touch(Agent, Thing, A, B) :-
can_sense(Agent, _, Thing, A, C),
h(spatial, touchable, Agent, Thing, C, B).
/* ( eVent(Agent,Event) ==>>
send_1percept(Agent,Event),apply_aXioms(Event)) */
%~ eVent(Agent,Event,A9,C9) :-
%~ send_1percept(Agent,Event,A9,B9) ,
%~ must_mw1(apply_aXioms(Event),B9,C9).
/* ( aXiom(Action,_S0,_S9) ::=
xnotrace((\+trival_act(Action),dbug1(aXiom(Action)))),xnotrace(fail)) */
%~ aXiom(Action,_S0,_S9) :-
%~ xnotrace( \+trival_act(Action),dbug1(aXiom(Action))) ,
%~ xnotrace(fail).
/* ==>>(aXiom(Action),aXiom_p1(Action)) */
%~ aXiom(Action,A9,B9) :-
%~
%~ aXiom_p1(Action,A9,B9).
/* ==>>(aXiom(Action),aXiom_p2(Action)) */
%~ aXiom(Action,A9,B9) :-
%~
%~ aXiom_p2(Action,A9,B9).
/* ==>>(aXiom_p1((P1,P11)),(!,aXiom_p1(P1),aXiom_p1(P11))) */
%~ aXiom_p1((_4718,_4720),A9,C9) :-
%~ ! ,
%~ A9=A9 ,
%~ aXiom_p1(_4718,A9,B9) ,
%~ aXiom_p1(_4720,B9,C9).
/* ==>>(aXiom_p1((P1;P11)),(!,(aXiom_p1(P1);aXiom_p1(P11)))) */
%~ aXiom_p1((_50948;_50950),A9,B9) :-
%~ ! ,
%~ A9=A9 ,
%~ aXiom_p1(_50948,A9,B9);aXiom_p1(_50950,A9,B9).
/* ==>>(aXiom_p1((P1->P11)),(!,(aXiom_p1(P1)->aXiom_p1(P11)))) */
%~ aXiom_p1((_35010->_35012),A9,C9) ->
%~ ! ,
%~ A9=A9 ,
%~ aXiom_p1(_35010,A9,B9) ->
%~
%~ aXiom_p1(_35012,B9,C9).
/* ==>>(aXiom_p1(true),!) */
%~ aXiom_p1(true,A9,B9) :-
%~ ! ,
%~ B9=A9.
/* ( aXiom_p1( P1_Xx_c62*->P1;P1_Xx_c621) ==>>
!,(aXiom_p1(P1_Xx_c62)*->aXiom_p1(P1);aXiom_p1(P1_Xx_c621))) */
%~ aXiom_p1((Xx_c62*->Xx_c622;Xx_c621),A9,C9) :-
%~ ! ,
%~ A9=A9 ,
%~ ( aXiom_p1(Xx_c62,A9,B9)*->aXiom_p1(Xx_c622,B9,C9) ;
%~ aXiom_p1(Xx_c621,A9,C9)).
/* ( aXiom_p1( P1_Xx_c623*->P1) ==>>
!,(aXiom_p1(P1_Xx_c623)*->aXiom_p1(P1))) */
%~ aXiom_p1((Xx_c623*->Xx_c6234),A9,C9) :-
%~ ! ,
%~ A9=A9 ,
%~ aXiom_p1(Xx_c623,A9,B9)*->aXiom_p1(Xx_c6234,B9,C9).
/* ( aXiom_p2(Action) ==>>
( { implications(DoesEvent,Action,Preconds,Postconds),
action_doer(Action,Agent) } ,
satisfy_each(preCond(_1),Preconds) ,
( sg(member(failed(Why))),send_1percept(Agent,failed(Action,Why)) ;
satisfy_each(postCond(_2),Postconds),send_1percept(Agent,Action)) ,
{ episodic_mem(Agent,implications(DoesEvent,Action,Preconds,Postconds)) } ,
{ dbug1( used_implications(DoesEvent,Action,Preconds,Postconds)) } ,
!)) */
%~ aXiom_p2(Action,A9,I9) :-
%~ implications(DoesEvent,Action,Preconds,Postconds) ,
%~ action_doer(Action,Agent) ,
%~ H9=A9 ,
%~ satisfy_each(preCond(_1),Preconds,H9,G9) ,
%~ ( ( sg(member(failed(Why)),G9,F9) ,
%~ send_1percept(Agent,failed(Action,Why),F9,E9)) ;
%~ ( satisfy_each(postCond(_2),Postconds,G9,D9) ,
%~ send_1percept(Agent,Action,D9,E9))) ,
%~ episodic_mem( Agent,
%~ implications(DoesEvent,Action,Preconds,Postconds)) ,
%~ C9=E9 ,
%~ dbug1( used_implications(DoesEvent,Action,Preconds,Postconds)) ,
%~ B9=C9 ,
%~ ! ,
%~ I9=B9.
/* ( aXiom_p1(Action) ==>>
( { oper_splitk(Agent,Action,Preconds,Postconds) } ,
{ dbug1( using_oper_splitk(Agent,Action,Preconds,Postconds)) } ,
satisfy_each(preCond(_1),Preconds) ,
( sg(member(failed(Why))),send_1percept(Agent,failed(Action,Why)) ;
( satisfy_each(postCond(_2),Postconds) ,
send_1percept(Agent,success(Action)))) ,
{ dbug1( used_oper_splitk(Agent,Action,Preconds,Postconds)) } ,
!)) */
%~ aXiom_p1(Action,A9,I9) :-
%~ oper_splitk(Agent,Action,Preconds,Postconds) ,
%~ H9=A9 ,
%~ dbug1( using_oper_splitk(Agent,Action,Preconds,Postconds)) ,
%~ G9=H9 ,
%~ satisfy_each(preCond(_1),Preconds,G9,F9) ,
%~ ( ( sg(member(failed(Why)),F9,E9) ,
%~ send_1percept(Agent,failed(Action,Why),E9,D9)) ;
%~ ( satisfy_each(postCond(_2),Postconds,F9,C9) ,
%~ send_1percept(Agent,success(Action),C9,D9))) ,
%~ dbug1( used_oper_splitk(Agent,Action,Preconds,Postconds)) ,
%~ B9=D9 ,
%~ ! ,
%~ I9=B9.
/* ( aXiom_p2(Action,S,E) ::=
( append_termlist(Action,[S,E],ActionSE) ,
current_predicate(_26162,mu:ActionSE) ,
adv_safe_to_call(ActionSE) ,
! ,
call(Action,S,E))) */
%~ aXiom_p2(Action,S,E) :-
%~ append_termlist(Action,[S,E],ActionSE) ,
%~ current_predicate(Kw,mu:ActionSE) ,
%~ adv_safe_to_call(ActionSE) ,
%~ ! ,
%~ call(Action,S,E).
/* ( aXiom_p2(Action,S,E) ::=
( current_predicate(Kw,mu:Action) ,
! ,
adv_safe_to_call(Action) ,
call(Action) ,
S=E)) */
%~ aXiom_p2(Action,S,E) :-
%~ current_predicate(Kw,mu:Action) ,
%~ ! ,
%~ adv_safe_to_call(Action) ,
%~ call(Action) ,
%~ S=E.
/* ( aXiom_p1(Action) ==>>
( action_doer(Action,Agent) ,
invoke_introspect(Agent,Action,Answer) ,
send_1percept(Agent,[answer(Answer),Answer]) ,
!)) */
%~ aXiom_p1(Action,A9,E9) :-
%~ action_doer(Action,Agent,A9,D9) ,
%~ invoke_introspect(Agent,Action,Answer,D9,C9) ,
%~ send_1percept(Agent,[answer(Answer),Answer],C9,B9) ,
%~ ! ,
%~ E9=B9.
/* ( aXiom_p1( print_(Agent,Msg)) ==>>
( h(spatial,descended,Agent,Here) ,
queue_local_event(msg_from(Agent,Msg),[Here]))) */
%~ aXiom_p1(print_(Agent,Msg),A9,C9) :-
%~ h(spatial,descended,Agent,Here,A9,B9) ,
%~ queue_local_event(msg_from(Agent,Msg),[Here],B9,C9).
/* ( aXiom_p1( attempts(Agent,act3(wait,Agent,[]))) ==>>
from_loc(Agent,Here),queue_local_event(time_passes(Agent),Here)) */
%~ aXiom_p1(attempts(Agent,act3(wait,Agent,[])),A9,C9) :-
%~ from_loc(Agent,Here,A9,B9) ,
%~ queue_local_event(time_passes(Agent),Here,B9,C9).
/* ( aXiom_p1( attempts(Agent,act3(english,Agent,[English]))) ==>>
eng2cmd(Agent,English,Action),add_intent(Agent,Action)) */
%~ aXiom_p1(attempts(Agent,act3(english,Agent,[English])),A9,C9) :-
%~ eng2cmd(Agent,English,Action,A9,B9) ,
%~ add_intent(Agent,Action,B9,C9).
/* ( aXiom_p1( intent_english(Agent,English)) ==>>
!,{assertz(mu_global:console_tokens(Agent,English))}) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:143
%~ aXiom_p1(intent_english(Agent,English),A9,B9) :-
%~ ! ,
%~ A9=A9 ,
%~ assertz( mu_global : console_tokens(Agent,English)) ,
%~ B9=A9.
/* ( aXiom_p1( attempts(Agent,act3(talk,Agent,[Object,Message]))) ==>>
( can_sense(Agent,audio,Object) ,
from_loc(Agent,Here) ,
queue_local_event(
[ did( Agent,
act3(talk,Agent,[Here,Object,Message]))],
[Here]))) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:147
%~ aXiom_p1(
%~ attempts(Agent,act3(talk,Agent,[Object,Message])), A9,D9) :-
%~ can_sense(Agent,audio,Object,A9,C9) ,
%~ from_loc(Agent,Here,C9,B9) ,
%~ queue_local_event(
%~ [ did( Agent,
%~ act3(talk,Agent,[Here,Object,Message]))], [Here],B9,D9).
/* ( aXiom_p1( say(Agent,Message)) ==>>
( from_loc(Agent,Here) ,
queue_local_event(
[ did(Agent,act3(talk,Agent,[Here,*,Message]))],
[Here]))) */
%~ aXiom_p1(say(Agent,Message),A9,C9) :-
%~ from_loc(Agent,Here,A9,B9) ,
%~ queue_local_event(
%~ [ did(Agent,act3(talk,Agent,[Here,*,Message]))], [Here],B9,C9).
/* ( aXiom_p1( attempts( Agent,
act3(emote,Agent,[EmoteType,Object,Message]))) ==>>
( ! ,
from_loc(Agent,Here) ,
queue_local_event(
[ act3(emote,Agent,[EmoteType,Object,Message])],
[Here]))) */
%~ aXiom_p1(
%~ attempts( Agent,
%~ act3(emote,Agent,[EmoteType,Object,Message])), A9,C9) :-
%~ ! ,
%~ A9=A9 ,
%~ from_loc(Agent,Here,A9,B9) ,
%~ queue_local_event(
%~ [ act3(emote,Agent,[EmoteType,Object,Message])], [Here],B9,C9).
/* ( aXiom_p1( terminates( h(Spatially,Prep,Object,Here))) ==>>
!,undeclare(h(Spatially,Prep,Object,Here))) */
%~ aXiom_p1(terminates(h(Spatially,Prep,Object,Here)),A9,B9) :-
%~ ! ,
%~ A9=A9 ,
%~ undeclare(h(Spatially,Prep,Object,Here),A9,B9).
/* ( aXiom_p1( attempts( Agent,
act3(go__prep_obj,Agent,[Walk,At,Object]))) ==>>
( will_need_touch(Agent,Object) ,
has_rel(At,Object) ,
\+( is_closed(At,Object)) ,
eVent( Agent,
event3( arrive,
[At,Agent,Object],
[Walk,At])))) */
%~ aXiom_p1(
%~ attempts( Agent,
%~ act3(go__prep_obj,Agent,[Walk,At,Object])), A9,F9) :-
%~ will_need_touch(Agent,Object,A9,E9) ,
%~ has_rel(At,Object,E9,D9) ,
%~ \+( is_closed(At,Object,D9,C9)) ,
%~ B9=D9 ,
%~ eVent( Agent,
%~ event3( arrive,
%~ [At,Agent,Object],
%~ [Walk,At]), B9,F9).
/* ( aXiom_p1( initiates( h(Spatially,Prep,Object,Dest))) ==>>
!,declare(h(Spatially,Prep,Object,Dest))) */
%~ aXiom_p1(initiates(h(Spatially,Prep,Object,Dest)),A9,B9) :-
%~ ! ,
%~ A9=A9 ,
%~ declare(h(Spatially,Prep,Object,Dest),A9,B9).
/* ==>>(aXiom_p1(status_msg(_Begin,_End)),[]) */
%~ aXiom_p1(status_msg(_Begin,_End),P1_Status_msg,P1_Status_msg) :-
%~
%~ true.
/* ( axiom_Recalc_e(
attempts(Agent,act3(go__obj,Agent,[Walk,Object])),
RECALC) ==>>
( has_rel(At,Object) ,
RECALC =
attempts( Agent,
act3(go__prep_obj,Agent,[Walk,At,Object])))) */
%~ axiom_Recalc_e(
%~ attempts(Agent,act3(go__obj,Agent,[Walk,Object])), RECALC,A9,C9) :-
%~ has_rel(At,Object,A9,B9) ,
%~ =( RECALC,
%~ attempts( Agent,
%~ act3(go__prep_obj,Agent,[Walk,At,Object])), B9,C9).
/* ( aXiom_p1( attempts(Agent,act3(go__loc,Agent,[_Walk,There]))) ==>>
( has_rel(fn(exit,Fn_Exit),There) ,
eVent(Agent,make_true(Agent,h(spatial,in,Agent,There))))) */
%~ aXiom_p1(
%~ attempts(Agent,act3(go__loc,Agent,[_Walk,There])), A9,C9) :-
%~ has_rel(fn(exit,Fn_Exit),There,A9,B9) ,
%~ eVent( Agent,
%~ make_true(Agent,h(spatial,in,Agent,There)), B9,C9).
/* ( aXiom_p1( make_true(Doer,h(spatial,in,Agent,There))) ==>>
( { Doer==Agent } ,
has_rel(fn(exit,Fn_Exit),There) ,
from_loc(Agent,Here) ,
agent_thought_model(Agent,ModelData) ,
{ find_path(Doer,Here,There,Route,ModelData) } ,
! ,
eVent( Agent,
follow_plan( Agent,
did(Agent,act3(go__loc,Agent,[walk,There])),
Route)))) */
%~ aXiom_p1(make_true(Doer,h(spatial,in,Agent,There)),A9,H9) :-
%~ Doer==Agent ,
%~ G9=A9 ,
%~ has_rel(fn(exit,Fn_Exit),There,G9,F9) ,
%~ from_loc(Agent,Here,F9,E9) ,
%~ agent_thought_model(Agent,ModelData,E9,D9) ,
%~ find_path(Doer,Here,There,Route,ModelData) ,
%~ C9=D9 ,
%~ ! ,
%~ B9=C9 ,
%~ eVent( Agent,
%~ follow_plan( Agent,
%~ did(Agent,act3(go__loc,Agent,[walk,There])),
%~ Route), B9,H9).
/* ==>>(aXiom_p1(make_true(Agent,FACT)),add_agent_goal(Agent,FACT)) */
%~ aXiom_p1(make_true(Agent,FACT),A9,B9) :-
%~
%~ add_agent_goal(Agent,FACT,A9,B9).
/* ==>>(aXiom_p1(add_intent(Agent,TODO)),add_agent_intent(Agent,TODO)) */
%~ aXiom_p1(add_intent(Agent,TODO),A9,B9) :-
%~
%~ add_agent_intent(Agent,TODO,A9,B9).
/* ( aXiom_p1( follow_plan(Agent,Name,[])) ==>>
!,send_1percept(Agent,[success(followed_plan(Agent,Name))])) */
%~ aXiom_p1(follow_plan(Agent,Name,[]),A9,B9) :-
%~ ! ,
%~ A9=A9 ,
%~ send_1percept( Agent,
%~ [ success( followed_plan(Agent,Name))], A9,B9).
/* ( aXiom_p1( follow_plan(Agent,Name,[Step])) ==>>
( eVent(Agent,follow_step(Agent,Name,Step)) ,
eVent(Agent,follow_plan(Agent,Name,CO_Route)))) */
%~ aXiom_p1(follow_plan(Agent,Name,[Step|Route]),A9,C9) :-
%~ eVent(Agent,follow_step(Agent,Name,Step),A9,B9) ,
%~ eVent(Agent,follow_plan(Agent,Name,Route),B9,C9).
/* ( aXiom_p1( follow_step(Agent,Name,Step)) ==>>
{dbug1(follow_step(Agent,Name,Step))},raise_aXiom_events(Step)) */
%~ aXiom_p1(follow_step(Agent,Name,Step),A9,C9) :-
%~ dbug1( follow_step(Agent,Name,Step)) ,
%~ B9=A9 ,
%~ raise_aXiom_events(Step,B9,C9).
/* ( axiom_Recalc_e(attempts(Agent,act3(take,Agent,[Thing])),RECALC) ==>>
( ! ,
RECALC =
attempts( Agent,
act3(put__via,Agent,[take,Thing,held_by,Agent])))) */
%~ axiom_Recalc_e(
%~ attempts(Agent,act3(take,Agent,[Thing])), RECALC,A9,B9) :-
%~ ! ,
%~ A9=A9 ,
%~ =( RECALC,
%~ attempts( Agent,
%~ act3(put__via,Agent,[take,Thing,held_by,Agent])), A9,B9).
/* ( axiom_Recalc_e(attempts(Agent,act3(drop,Agent,[Thing])),RECALC) ==>>
( ! ,
dshow_failure( h(spatial,At,Agent,Here)) ,
RECALC =
attempts( Agent,
act3(put__via,Agent,[drop,Thing,At,Here])))) */
%~ axiom_Recalc_e(
%~ attempts(Agent,act3(drop,Agent,[Thing])), RECALC,A9,C9) :-
%~ ! ,
%~ A9=A9 ,
%~ dshow_failure(h(spatial,At,Agent,Here),A9,B9) ,
%~ =( RECALC,
%~ attempts( Agent,
%~ act3(put__via,Agent,[drop,Thing,At,Here])), B9,C9).
/* ( axiom_Recalc_e(
attempts( Agent,
act3(put,Agent,[Thing1,PrepAt,Thing2])),
RECALC) ==>>
RECALC =
attempts( Agent,
act3(put__via,Agent,[put,Thing1,PrepAt,Thing2]))) */
%~ axiom_Recalc_e(
%~ attempts( Agent,
%~ act3(put,Agent,[Thing1,PrepAt,Thing2])), RECALC,A9,B9) :-
%~
%~ =( RECALC,
%~ attempts( Agent,
%~ act3(put__via,Agent,[put,Thing1,PrepAt,Thing2])), A9,B9).
/* ( axiom_Recalc_e(
attempts(Agent,act3(give,Agent,[Thing,Recipient])),
RECALC) ==>>
RECALC =
attempts( Agent,
act3(put__via,Agent,[give,Thing,held_by,Recipient]))) */
%~ axiom_Recalc_e(
%~ attempts(Agent,act3(give,Agent,[Thing,Recipient])), RECALC,A9,B9) :-
%~
%~ =( RECALC,
%~ attempts( Agent,
%~ act3(put__via,Agent,[give,Thing,held_by,Recipient])), A9,B9).
/* ( aXiom_p1( attempts( Agent,
act3( put__via,
Agent,
[How,Thing1,Prep,Thing2]))) ==>>
( {fail} ,
! ,
dshow_failure( prep_to_rel(Thing2,Prep,At)) ,
from_loc(Agent,Here) ,
dshow_failure( has_rel(At,Thing2)) ,
dshow_failure( will_need_touch(Agent,Thing2)) ,
moveto( Agent,
How, Thing1,At,Thing2,
[Here],
[ cap( subj(Agent)),
person(How,es(How)), Thing1,At,Thing2,
'.']))) */
%~ aXiom_p1(
%~ attempts( Agent,
%~ act3( put__via,
%~ Agent,
%~ [How,Thing1,Prep,Thing2])), A9,H9) :-
%~ fail ,
%~ G9=A9 ,
%~ ! ,
%~ F9=G9 ,
%~ dshow_failure(prep_to_rel(Thing2,Prep,At),F9,E9) ,
%~ from_loc(Agent,Here,E9,D9) ,
%~ dshow_failure(has_rel(At,Thing2),D9,C9) ,
%~ dshow_failure(will_need_touch(Agent,Thing2),C9,B9) ,
%~ moveto( Agent,
%~ How, Thing1,At,Thing2,
%~ [Here],
%~ [ cap( subj(Agent)), person(How,es(How)),Thing1,
%~ At,Thing2,'.'], B9,H9).
/* ( axiom_Recalc_e(
attempts(Agent,act3(throw_dir,Agent,[Thing,ExitName])),
RECALC) ==>>
( from_loc(Agent,Here) ,
RECALC =
attempts( Agent,
act3(throw_prep_obj,Agent,[Thing,ExitName,Here])))) */
%~ axiom_Recalc_e(
%~ attempts(Agent,act3(throw_dir,Agent,[Thing,ExitName])), RECALC,A9,C9) :-
%~ from_loc(Agent,Here,A9,B9) ,
%~ =( RECALC,
%~ attempts( Agent,
%~ act3(throw_prep_obj,Agent,[Thing,ExitName,Here])), B9,C9).
/* ( axiom_Recalc_e(
attempts(Agent,act3(throw_at,Agent,[Thing,Target])),
RECALC) ==>>
RECALC =
attempts( Agent,
act3(throw_prep_obj,Agent,[Thing,at,Target]))) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:274
%~ axiom_Recalc_e(
%~ attempts(Agent,act3(throw_at,Agent,[Thing,Target])), RECALC,A9,B9) :-
%~
%~ =( RECALC,
%~ attempts( Agent,
%~ act3(throw_prep_obj,Agent,[Thing,at,Target])), A9,B9).
/* ( axiom_Recalc_e(
attempts( Agent,
act3(throw_prep_obj,Agent,[Thing,Prep,Target])),
RECALC) ==>>
( prep_to_rel(Target,Prep,Rel) ,
RECALC =
attempts( Agent,
act3(put,Agent,[throw,Thing,Rel,Target])))) */
%~ axiom_Recalc_e(
%~ attempts( Agent,
%~ act3(throw_prep_obj,Agent,[Thing,Prep,Target])), RECALC,A9,C9) :-
%~ prep_to_rel(Target,Prep,Rel,A9,B9) ,
%~ =( RECALC,
%~ attempts( Agent,
%~ act3(put,Agent,[throw,Thing,Rel,Target])), B9,C9).
/* ( axiom_Recalc_e(
attempts( Agent,
act3(throw,Agent,[Thing,Prep,Target])),
RECALC) ==>>
( prep_to_rel(Target,Prep,Rel);Prep=Rel ,
RECALC =
attempts( Agent,
act3(put,Agent,[throw,Thing,Rel,Target])))) */
%~ axiom_Recalc_e(
%~ attempts( Agent,
%~ act3(throw,Agent,[Thing,Prep,Target])), RECALC,A9,C9) :-
%~ ( prep_to_rel(Target,Prep,Rel,A9,B9) ;
%~ =(Prep,Rel,A9,B9)) ,
%~ =( RECALC,
%~ attempts( Agent,
%~ act3(put,Agent,[throw,Thing,Rel,Target])), B9,C9).
/* ( aXiom_p1( attempts( Agent,
act3(throw,Agent,[Thing,At,Target]))) ==>>
( will_need_touch(Agent,Thing) ,
can_sense(Agent,see,Target) ,
eVent( Agent,
act3(throw,Agent,[Thing,At,Target])))) */
%~ aXiom_p1(
%~ attempts( Agent,
%~ act3(throw,Agent,[Thing,At,Target])), A9,D9) :-
%~ will_need_touch(Agent,Thing,A9,C9) ,
%~ can_sense(Agent,see,Target,C9,B9) ,
%~ eVent( Agent,
%~ act3(throw,Agent,[Thing,At,Target]), B9,D9).
/* ( aXiom_p1( act3(throw,Agent,[Thing,AtTarget,Target])) ==>>
( ignore( ( getprop(Thing,breaks_into(Broken)) ,
dbug(general,'object ~p is breaks_into~n',[Thing]) ,
eVent(Agent,thing_transforms(Thing,Broken)))) ,
eVent( Agent,
disgorge( Agent,
do_throw, Target,AtTarget,Target,
[Target],'Something falls out.')))) */
%~ aXiom_p1(
%~ act3(throw,Agent,[Thing,AtTarget,Target]), A9,C9) :-
%~ ignore(
%~ ( getprop(Thing,breaks_into(Broken)) ,
%~ dbug(general,'object ~p is breaks_into~n',[Thing]) ,
%~ eVent(Agent,thing_transforms(Thing,Broken))), A9,B9) ,
%~ eVent( Agent,
%~ disgorge( Agent,
%~ do_throw, Target,AtTarget,Target,
%~ [Target],'Something falls out.'), B9,C9).
/* ( aXiom_p1( thing_transforms(Thing,Broken)) ==>>
( undeclare( h(Spatial,At,Thing,Here)) ,
declare( h(Spatial,At,Broken,Here)) ,
queue_local_event([transformed(Thing,Broken)],Here))) */
%~ aXiom_p1(thing_transforms(Thing,Broken),A9,D9) :-
%~ undeclare(h(Spatial,At,Thing,Here),A9,C9) ,
%~ declare(h(Spatial,At,Broken,Here),C9,B9) ,
%~ queue_local_event([transformed(Thing,Broken)],Here,B9,D9).
/* ( aXiom_p1( attempts(Agent,act3(hit_with,Agent,[Thing,With]))) ==>>
( from_loc(Agent,Here) ,
invoke_hit(Agent,Thing,With,[Here]) ,
send_1percept(Agent,[true,'OK.']))) */
%~ aXiom_p1(
%~ attempts(Agent,act3(hit_with,Agent,[Thing,With])), A9,D9) :-
%~ from_loc(Agent,Here,A9,C9) ,
%~ invoke_hit(Agent,Thing,With,[Here],C9,B9) ,
%~ send_1percept(Agent,[true,'OK.'],B9,D9).
/* ( aXiom_p1( attempts(Agent,act3(hit,Agent,[Thing]))) ==>>
( from_loc(Agent,Here) ,
invoke_hit(Agent,Thing,Agent,[Here]) ,
send_1percept(Agent,[true,'OK.']))) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:311
%~ aXiom_p1(attempts(Agent,act3(hit,Agent,[Thing])),A9,D9) :-
%~ from_loc(Agent,Here,A9,C9) ,
%~ invoke_hit(Agent,Thing,Agent,[Here],C9,B9) ,
%~ send_1percept(Agent,[true,'OK.'],B9,D9).
/* ( invoke_hit(Doer,Target,_With,Vicinity) ==>>
ignore( ( getprop(Target,breaks_into(Broken)) ,
dbug(general,'target ~p is breaks_into~n',[Target]) ,
undeclare( h(Spatial,Prep,Target,Here)) ,
queue_local_event([transformed(Target,Broken)],Vicinity) ,
declare( h(Spatial,Prep,Broken,Here)) ,
disgorge(Doer,hit,Target,Prep,Here,Vicinity,'Something falls out.')))) */
%~ invoke_hit(Doer,Target,_With,Vicinity,A9,B9) :-
%~
%~ ignore(
%~ ( getprop(Target,breaks_into(Broken)) ,
%~ dbug(general,'target ~p is breaks_into~n',[Target]) ,
%~ undeclare( h(Spatial,Prep,Target,Here)) ,
%~ queue_local_event([transformed(Target,Broken)],Vicinity) ,
%~ declare( h(Spatial,Prep,Broken,Here)) ,
%~ disgorge(Doer,hit,Target,Prep,Here,Vicinity,'Something falls out.')), A9,B9).
/* ( aXiom_p1( attempts( Agent,
act3(dig,Agent,[Hole,Where,Tool]))) ==>>
( { memberchk(Hole,[hole,trench,pit,ditch]),
memberchk(Where,[garden]),
memberchk(Tool,[shovel,spade]) } ,
open_traverse(Tool,Agent) ,
from_loc(Agent,Where) ,
\+( h(spatial,_At,Hole,Where)) ,
declare( h(spatial,in,Hole,Where)) ,
setprop(Hole,default_rel=in) ,
setprop(Hole,can_be(move,f)) ,
setprop(Hole,can_be(take,f)) ,
declare( h(spatial,in,dirt,Where)) ,
queue_event( [ created(Hole,Where),
[ cap( subj(Agent)), person(dig,digs),a,Hole,'in the',
Where,'.']]))) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:326
%~ aXiom_p1(
%~ attempts( Agent,
%~ act3(dig,Agent,[Hole,Where,Tool])), A9,L9) :-
%~ memberchk(Hole,[hole,trench,pit,ditch]) ,
%~ memberchk(Where,[garden]) ,
%~ memberchk(Tool,[shovel,spade]) ,
%~ K9=A9 ,
%~ open_traverse(Tool,Agent,K9,J9) ,
%~ from_loc(Agent,Where,J9,I9) ,
%~ \+( h(spatial,_At,Hole,Where,I9,H9)) ,
%~ G9=I9 ,
%~ declare(h(spatial,in,Hole,Where),G9,F9) ,
%~ setprop(Hole,default_rel=in,F9,E9) ,
%~ setprop(Hole,can_be(move,f),E9,D9) ,
%~ setprop(Hole,can_be(take,f),D9,C9) ,
%~ declare(h(spatial,in,dirt,Where),C9,B9) ,
%~ queue_event(
%~ [ created(Hole,Where),
%~ [ cap( subj(Agent)), person(dig,digs),a,Hole,'in the',
%~ Where,'.']], B9,L9).
/* ( aXiom_p1( attempts(Agent,act3(eat,Agent,[Thing]))) ==>>
( getprop(Thing,can_be(eat,t)) ->
( undeclare( h(spatial,_1,Thing,_2)) ,
send_1percept(Agent,[destroyed(Thing),'Mmmm, good!'])) ;
send_1percept( Agent, [
[ failure( attempts(Agent,act3(eat,Agent,[Thing]))),
'It\'s inedible!'])])) */
%~ aXiom_p1(attempts(Agent,act3(eat,Agent,[Thing])),A9,D9) ->
%~
%~ ( getprop(Thing,can_be(eat,t),A9,C9) ->
%~ undeclare(h(spatial,_1,Thing,_2),C9,B9) ,
%~ send_1percept(Agent,[destroyed(Thing),'Mmmm, good!'],B9,D9) ;
%~ send_1percept( Agent,
%~ [ failure( attempts(Agent,act3(eat,Agent,[Thing]))),
%~ 'It\'s inedible!'], A9,D9)).
/* ( aXiom_p1( attempts(Agent,act3(switch,Agent,[OnOff,Thing]))) ==>>
( will_need_touch(Agent,Thing) ,
getprop(Thing,can_be(switch(OnOff),t)) ,
getprop(Thing,effect(switch(OnOff),Term0)) ,
{ adv_subst(equivalent,$self,Thing,Term0,Term) } ,
call(Term) ,
send_1percept(Agent,[success(true,'OK')]))) */
%~ aXiom_p1(
%~ attempts(Agent,act3(switch,Agent,[OnOff,Thing])), A9,G9) :-
%~ will_need_touch(Agent,Thing,A9,F9) ,
%~ getprop(Thing,can_be(switch(OnOff),t),F9,E9) ,
%~ getprop(Thing,effect(switch(OnOff),Term0),E9,D9) ,
%~ adv_subst(equivalent,$self,Thing,Term0,Term) ,
%~ C9=D9 ,
%~ call(Term,C9,B9) ,
%~ send_1percept(Agent,[success(true,'OK')],B9,G9).
/* ( axiom_Recalc_e(attempts(Agent,act3(inventory,Who,[])),RECALC) ==>>
RECALC =
attempts(Agent,act3(examine,Agent,[Who]))) */
%~ axiom_Recalc_e(attempts(Agent,act3(inventory,Who,[])),RECALC,A9,B9) :-
%~
%~ =( RECALC,
%~ attempts(Agent,act3(examine,Agent,[Who])), A9,B9).
/* ( axiom_Recalc_e(attempts(Agent,act3(look,Agent,[])),RECALC) ==>>
( h(spatial,At,Agent,Here) ,
RECALC =
attempts( Agent,
act3(examine__D3,Agent,[see,At,Here])))) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:365
%~ axiom_Recalc_e(attempts(Agent,act3(look,Agent,[])),RECALC,A9,C9) :-
%~ h(spatial,At,Agent,Here,A9,B9) ,
%~ =( RECALC,
%~ attempts(Agent,act3(examine__D3,Agent,[see,At,Here])), B9,C9).
/* ( axiom_Recalc_e(attempts(Agent,act3(examine,Agent,[Sense])),RECALC) ==>>
( { is_sense(Sense) } ,
! ,
from_loc(Agent,Place) ,
RECALC =
attempts(Agent,act3(examine__D3,Agent,[see,in,Place])))) */
%~ axiom_Recalc_e(
%~ attempts(Agent,act3(examine,Agent,[Sense])), RECALC,A9,E9) :-
%~ is_sense(Sense) ,
%~ D9=A9 ,
%~ ! ,
%~ C9=D9 ,
%~ from_loc(Agent,Place,C9,B9) ,
%~ =( RECALC,
%~ attempts(Agent,act3(examine__D3,Agent,[see,in,Place])), B9,E9).
/* ( axiom_Recalc_e(attempts(Agent,act3(examine,Agent,[Object])),RECALC) ==>>
RECALC =
attempts(Agent,act3(examine__D3,Agent,[see,at,Object]))) */
%~ axiom_Recalc_e(
%~ attempts(Agent,act3(examine,Agent,[Object])), RECALC,A9,B9) :-
%~
%~ =( RECALC,
%~ attempts(Agent,act3(examine__D3,Agent,[see,at,Object])), A9,B9).
/* ( axiom_Recalc_e(
attempts(Agent,act3(examine,Agent,[Sense,Object])),
RECALC) ==>>
( RECALC =
attempts( Agent,
act3(examine__D3,Agent,[Sense,at,Object])) ,
!)) */
%~ axiom_Recalc_e(
%~ attempts(Agent,act3(examine,Agent,[Sense,Object])), RECALC,A9,C9) :-
%~ =( RECALC,
%~ attempts(Agent,act3(examine__D3,Agent,[Sense,at,Object])), A9,B9) ,
%~ ! ,
%~ C9=B9.
/* ( axiom_Recalc_e(
attempts( Agent,
act3(examine,Agent,[Sense,Prep,Object])),
RECALC) ==>>
( RECALC =
attempts( Agent,
act3(examine__D3,Agent,[Sense,Prep,Object])) ,
!)) */
%~ axiom_Recalc_e(
%~ attempts( Agent,
%~ act3(examine,Agent,[Sense,Prep,Object])), RECALC,A9,C9) :-
%~ =( RECALC,
%~ attempts( Agent,
%~ act3(examine__D3,Agent,[Sense,Prep,Object])), A9,B9) ,
%~ ! ,
%~ C9=B9.
/* ( axiom_Recalc_e(
attempts( Agent,
act3( examine,
Agent,
[Sense,Prep,Object,Depth])),
RECALC) ==>>
( RECALC =
attempts( Agent,
act3( examine__D3,
Agent,
[Sense,Prep,Object,Depth])) ,
!)) */
%~ axiom_Recalc_e(
%~ attempts( Agent,
%~ act3( examine,
%~ Agent,
%~ [Sense,Prep,Object,Depth])), RECALC,A9,C9) :-
%~ =( RECALC,
%~ attempts( Agent,
%~ act3( examine__D3,
%~ Agent,
%~ [Sense,Prep,Object,Depth])), A9,B9) ,
%~ ! ,
%~ C9=B9.
/* ( axiom_Recalc_e(
attempts( Agent,
act3(examine__D3,Agent,[Sense,Prep,Object])),
RECALC) ==>>
( RECALC =
attempts( Agent,
act3(examine__D5,Agent,[Sense,Prep,Object,3])) ,
!)) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:380
%~ axiom_Recalc_e(
%~ attempts( Agent,
%~ act3(examine__D3,Agent,[Sense,Prep,Object])), RECALC,A9,C9) :-
%~ =( RECALC,
%~ attempts( Agent,
%~ act3(examine__D5,Agent,[Sense,Prep,Object,3])), A9,B9) ,
%~ ! ,
%~ C9=B9.
/* ( axiom_Recalc_e(
attempts( Agent,
act3( examine__D3,
Agent,
[Sense,Prep,Object,Depth])),
RECALC) ==>>
( RECALC =
attempts( Agent,
act3( examine__D5,
Agent,
[Sense,Prep,Object,Depth])) ,
!)) */
%~ axiom_Recalc_e(
%~ attempts( Agent,
%~ act3( examine__D3,
%~ Agent,
%~ [Sense,Prep,Object,Depth])), RECALC,A9,C9) :-
%~ =( RECALC,
%~ attempts( Agent,
%~ act3( examine__D5,
%~ Agent,
%~ [Sense,Prep,Object,Depth])), A9,B9) ,
%~ ! ,
%~ C9=B9.
/* ( aXiom_p1( attempts( Agent,
act3( examine__D5,
Agent,
[Sense,Prep,Object,Depth]))) ==>>
( \+( sg( can_sense_here(Agent,Sense))) ,
! ,
raise_aXiom_events( failed(
did( Agent,
act3( examine,
Agent,
[Sense,Prep,Object,Depth])),
\+( can_sense_here(Agent,Sense)))))) */
%~ aXiom_p1(
%~ attempts( Agent,
%~ act3( examine__D5,
%~ Agent,
%~ [Sense,Prep,Object,Depth])), A9,E9) :-
%~ \+( sg(can_sense_here(Agent,Sense),A9,D9)) ,
%~ C9=A9 ,
%~ ! ,
%~ B9=C9 ,
%~ raise_aXiom_events(
%~ failed(
%~ did( Agent,
%~ act3( examine,
%~ Agent,
%~ [Sense,Prep,Object,Depth])),
%~ \+( can_sense_here(Agent,Sense))), B9,E9).
/* ( aXiom_p1( attempts( Agent,
act3( examine__D5,
Agent,
[Sense,Prep,Object,Depth]))) ==>>
( \+( sg( can_sense(Agent,Sense,Object))) ,
! ,
raise_aXiom_events( failed(
did( Agent,
act3( examine,
Agent,
[Sense,Prep,Object,Depth])),
\+( can_sense(Agent,Sense,Object)))))) */
%~ aXiom_p1(
%~ attempts( Agent,
%~ act3( examine__D5,
%~ Agent,
%~ [Sense,Prep,Object,Depth])), A9,E9) :-
%~ \+( sg(can_sense(Agent,Sense,Object),A9,D9)) ,
%~ C9=A9 ,
%~ ! ,
%~ B9=C9 ,
%~ raise_aXiom_events(
%~ failed(
%~ did( Agent,
%~ act3( examine,
%~ Agent,
%~ [Sense,Prep,Object,Depth])),
%~ \+( can_sense(Agent,Sense,Object))), B9,E9).
/* ( aXiom_p1( attempts( Agent,
act3( examine__D5,
Agent,
[Sense,Prep,Object,Depth]))) ==>>
act_examine(Agent,Sense,Prep,Object,Depth),!) */
%~ aXiom_p1(
%~ attempts( Agent,
%~ act3( examine__D5,
%~ Agent,
%~ [Sense,Prep,Object,Depth])), A9,C9) :-
%~ must_mw1(
%~ act_examine(Agent,Sense,Prep,Object,Depth), A9,B9) ,
%~ ! ,
%~ C9=B9.
/* ( aXiom_p1( attempts(Agent,act3(touch,Agent,[Thing]))) ==>>
( ! ,
unless_reason( Agent,
will_need_touch(Agent,Thing),
cant( reach(Agent,Thing)),
send_1percept(Agent,[success(act3(touch,Agent,[Thing]),'Ok.')])))) */
%~ aXiom_p1(attempts(Agent,act3(touch,Agent,[Thing])),A9,B9) :-
%~ ! ,
%~ A9=A9 ,
%~ unless_reason( Agent,
%~ will_need_touch(Agent,Thing),
%~ cant( reach(Agent,Thing)),
%~ send_1percept(Agent,[success(act3(touch,Agent,[Thing]),'Ok.')]), A9,B9).
/* ( aXiom_p1( change_state(Agent,Action,Thing,Prop)) ==>>
!,change_state(Agent,Action,Thing,Prop)) */
%~ aXiom_p1(change_state(Agent,Action,Thing,Prop),A9,B9) :-
%~ ! ,
%~ A9=A9 ,
%~ change_state(Agent,Action,Thing,Prop,A9,B9).
/* ( aXiom_p1(Action,S0,S9) ::=
( action_verb_agent_thing(Action,Verb,Agent,Thing) ,
nonvar(Verb) ,
nonvar(Thing) ,
nonvar(Agent) ,
act_change_state_or_fallback(Verb,State,TF) ,
! ,
eVent( Agent,
change_state(Agent,Action,Thing,State=TF), S0,S9) ,
!)) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:406
%~ aXiom_p1(Action,S0,S9) :-
%~ action_verb_agent_thing(Action,Verb,Agent,Thing) ,
%~ nonvar(Verb) ,
%~ nonvar(Thing) ,
%~ nonvar(Agent) ,
%~ act_change_state_or_fallback(Verb,State,TF) ,
%~ ! ,
%~ eVent( Agent,
%~ change_state(Agent,Action,Thing,State=TF), S0,S9) ,
%~ !.
/* ( invoke_command(Requester,attempts(Agent,Action)) ==>>
( { Requester==Agent } ,
invoke_command(Agent,Action) ,
!)) */
%~ invoke_command(Requester,attempts(Agent,Action),A9,D9) :-
%~ Requester==Agent ,
%~ C9=A9 ,
%~ invoke_command(Agent,Action,C9,B9) ,
%~ ! ,
%~ D9=B9.
/* ( invoke_command(Agent,Action) ==>>
( invoke_metacmd(Agent,Action) ,
{ overwrote_prompt(Agent) } ,
!)) */
%~ invoke_command(Agent,Action,A9,D9) :-
%~ invoke_metacmd(Agent,Action,A9,C9) ,
%~ overwrote_prompt(Agent) ,
%~ B9=C9 ,
%~ ! ,
%~ D9=B9.
/* ( invoke_command(Agent,Action) ==>>
( { set_last_action(Agent,Action) } ,
agent_try_action(Agent,Action) ,
!)) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_action.pl:137
%~ invoke_command(Agent,Action,A9,D9) :-
%~ set_last_action(Agent,Action) ,
%~ C9=A9 ,
%~ agent_try_action(Agent,Action,C9,B9) ,
%~ ! ,
%~ D9=B9.
/* ( invoke_intents(Agent) ==>>
( sg( declared( memories(Agent,Mem0))) ,
{ member(intent(Agent,[]),Mem0) } ,
!)) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_action.pl:154
%~ invoke_intents(Agent,A9,D9) :-
%~ sg(declared(memories(Agent,Mem0)),A9,C9) ,
%~ member(intent(Agent,[]),Mem0) ,
%~ B9=C9 ,
%~ ! ,
%~ D9=B9.
/* ==>>(satisfy_each_cond(Ctxt,[],success(Ctxt)),!) */
%~ satisfy_each_cond(Ctxt,[],success(Ctxt),A9,B9) :-
%~ ! ,
%~ B9=A9.
/* ( satisfy_each_cond(Context,[Cond],Out) ==>>
( satisfy_each(Context,Cond) ,
! ,
( sg( member( failed(Why))) ->
Out =
failed(Why) ;
satisfy_each_cond(Context,CondList,Out)) ,
!)) */
%~ satisfy_each_cond(Context,[Cond|CondList],Out,A9,F9) ->
%~ dmust_tracing(satisfy_each(Context,Cond),A9,E9) ,
%~ ! ,
%~ D9=E9 ,
%~ ( sg(member(failed(Why)),D9,C9) ->
%~
%~ =(Out,failed(Why),C9,B9) ;
%~ satisfy_each_cond(Context,CondList,Out,D9,B9)) ,
%~ ! ,
%~ F9=B9.
/* ==>>(satisfy_each2(Ctx,Cond),satisfy_each1(Ctx,Cond)) */
%~ satisfy_each2(Ctx,Cond,A9,B9) :-
%~
%~ satisfy_each1(Ctx,Cond,A9,B9).
/* ==>>(satisfy_each2(Cond3,Cond),[failed(Cond)]) */
%~ satisfy_each2( Cond2,
%~ Cond,
%~ [ failed(Cond) |
%~ Each2_Failed],
%~ Each2_Failed) :-
%~
%~ true.
/* ( satisfy_each1(_Context,h(spatial,P,_X,_Y)) ==>>
{P==takeable},!) */
%~ satisfy_each1(_Context,h(spatial,P,_X,_Y),A9,C9) :-
%~ P==takeable ,
%~ B9=A9 ,
%~ ! ,
%~ C9=B9.
/* ( satisfy_each1(Context,List) ==>>
( { is_list(List) } ,
! ,
satisfy_each_cond(Context,List,Out) ,
! ,
{ Out\=failed(Failed) })) */
%~ satisfy_each1(Context,List,A9,F9) :-
%~ is_list(List) ,
%~ E9=A9 ,
%~ ! ,
%~ D9=E9 ,
%~ satisfy_each_cond(Context,List,Out,D9,C9) ,
%~ ! ,
%~ B9=C9 ,
%~ Out\=failed(Failed) ,
%~ F9=B9.
/* ==>>(satisfy_each1(_Ctx,A\=B),({dif(A,B)},!)) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_action.pl:281
%~ satisfy_each1(_Ctx,A\=B,A9,C9) :-
%~ dif(A,B) ,
%~ B9=A9 ,
%~ ! ,
%~ C9=B9.
/* ==>>(satisfy_each1(_Ctxt,exists(Ex)),(!,{ground(Ex)})) */
%~ satisfy_each1(_Ctxt,exists(Ex),A9,B9) :-
%~ ! ,
%~ A9=A9 ,
%~ ground(Ex) ,
%~ B9=A9.
/* ( satisfy_each1(Context,believe(Beliver,Cond)) ==>>
( pre_redeclare( memories(Beliver,Memory)) ,
{ satisfy_each_always(Context,Cond,Memory,NewMemory) } ,
! ,
redeclare( memories(Beliver,NewMemory)))) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_action.pl:286
%~ satisfy_each1(Context,believe(Beliver,Cond),A9,E9) :-
%~ pre_redeclare(memories(Beliver,Memory),A9,D9) ,
%~ satisfy_each_always(Context,Cond,Memory,NewMemory) ,
%~ C9=D9 ,
%~ ! ,
%~ B9=C9 ,
%~ redeclare(memories(Beliver,NewMemory),B9,E9).
/* ( satisfy_each1(Context,believe(_Beliver,Cond)) ==>>
( ! ,
satisfy_each(Context,Cond) ,
!)) */
%~ satisfy_each1(Context,believe(_Beliver,Cond),A9,C9) :-
%~ ! ,
%~ A9=A9 ,
%~ satisfy_each(Context,Cond,A9,B9) ,
%~ ! ,
%~ C9=B9.
/* ==>>(satisfy_each1(postCond(_Action),~Cond),(!,undeclare_always(Cond))) */
%~ satisfy_each1(postCond(_Action),~Cond,A9,B9) :-
%~ ! ,
%~ A9=A9 ,
%~ undeclare_always(Cond,A9,B9).
/* ( satisfy_each1(Ctx_Percept_local,percept_local(Where,Event)) ==>>
!,queue_local_event([Event],[Where])) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_action.pl:305
%~ satisfy_each1(Percept_local,percept_local(Where,Event),A9,B9) :-
%~ ! ,
%~ A9=A9 ,
%~ queue_local_event([Event],[Where],A9,B9).
/* ( satisfy_each1(Ctx_Percept,percept(Agent,Event)) ==>>
!,send_1percept(Agent,Event)) */
%~ satisfy_each1(Percept,percept(Agent,Event),A9,B9) :-
%~ ! ,
%~ A9=A9 ,
%~ send_1percept(Agent,Event,A9,B9).
/* ( satisfy_each1(Context,~Cond) ==>>
!,(\+satisfy_each1(Context,Cond);[failed(Cond)])) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_action.pl:307
%~ satisfy_each1(Context,~Cond,A9,C9) :-
%~ ! ,
%~ A9=A9 ,
%~ ( \+satisfy_each1(Context,Cond,A9,B9),C9=A9 ;
%~ A9 =
%~
%~ [ failed(Cond) |
%~ C9]).
/* ( satisfy_each1(Ctx_Call,call(Cond)) ==>>
declared(Cond)*->true;apply_aXioms(Cond)) */
%~ satisfy_each1(Call,call(Cond),A9,C9) :-
%~
%~ ( declared(Cond,A9,B9)*->true(B9,C9) ;
%~ apply_aXioms(Cond,A9,C9)).
/* ==>>(satisfy_each1(Ctx_Cond1,Cond),(declared(Cond),!)) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_action.pl:309
%~ satisfy_each1(Cond1,Cond,A9,C9) :-
%~ declared(Cond,A9,B9) ,
%~ ! ,
%~ C9=B9.
/* ( satisfy_each1(postCond(_Action),Cond) ==>>
( { old_figment(Cond,_F,_A,Old) } ,
undeclare_always(Old) ,
! ,
declare(Cond))) */
%~ satisfy_each1(postCond(_Action),Cond,A9,D9) :-
%~ must(
%~ {old_figment(Cond,_F,_A,Old)},undeclare_always(Old), A9,C9) ,
%~ ! ,
%~ B9=C9 ,
%~ declare(Cond,B9,D9).
/* ==>>(api_invoke(Action),apply_aXioms(Action)) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_action.pl:341
%~ api_invoke(Action,A9,B9) :-
%~
%~ apply_aXioms(Action,A9,B9).
/* ==>>(apply_aXioms(Action),(aXiom(Action),!)) */
%~ apply_aXioms(Action,A9,C9) :-
%~ aXiom(Action,A9,B9) ,
%~ ! ,
%~ C9=B9.
/* ( raise_aXiom_events(Action) ==>>
( action_doer(Action,Agent) ,
send_1percept(Agent,[failure(Action,unknown_to(Agent,Action))]))) */
%~ raise_aXiom_events(Action,A9,C9) :-
%~ action_doer(Action,Agent,A9,B9) ,
%~ send_1percept( Agent,
%~ [ failure(Action,unknown_to(Agent,Action))], B9,C9).
/* ==>>(unless_reason(_Agent,Then,_Msg),(Then,!)) */
%~ unless_reason(_Agent,Then,_Msg,A9,C9) :-
%~ phrase(Then,A9,B9) ,
%~ ! ,
%~ C9=B9.
/* ( unless_reason(Agent,_Then,Msg) ==>>
( { event_failed(Agent,Msg) } ,
! ,
{fail})) */
%~ unless_reason(Agent,_Then,Msg,A9,D9) :-
%~ event_failed(Agent,Msg) ,
%~ C9=A9 ,
%~ ! ,
%~ B9=C9 ,
%~ fail ,
%~ D9=B9.
/* ( unless_reason(_Agent,Unless,_Msg,Then) ==>>
( Unless ,
! ,
Then)) */
%~ unless_reason(_Agent,Unless,_Msg,Then,A9,D9) :-
%~ phrase(Unless,A9,C9) ,
%~ ! ,
%~ B9=C9 ,
%~ phrase(Then,B9,D9).
/* ( unless_reason(Agent,_Unless,Msg,_Then) ==>>
{event_failed(Agent,Msg)},!) */
%~ unless_reason(Agent,_Unless,Msg,_Then,A9,C9) :-
%~ event_failed(Agent,Msg) ,
%~ B9=A9 ,
%~ ! ,
%~ C9=B9.
/* ==>>(unless(_Agent,Required,Then),(Required,!,Then)) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_action.pl:429
%~ unless(_Agent,Required,Then,A9,D9) :-
%~ phrase(Required,A9,C9) ,
%~ ! ,
%~ B9=C9 ,
%~ phrase(Then,B9,D9).
/* ( unless(Agent,Required,_Then) ==>>
( { simplify_reason(Required,CUZ),
event_failed(Agent,cant(cuz(\+CUZ))) } ,
!)) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_action.pl:430
%~ unless(Agent,Required,_Then,A9,C9) :-
%~ simplify_reason(Required,CUZ) ,
%~ event_failed(Agent,cant(cuz(\+CUZ))) ,
%~ B9=A9 ,
%~ ! ,
%~ C9=B9.
/* ( add_intent_look(Agent) ==>>
( h(spatial,inside,Agent,_Somewhere) ,
add_agent_intent(Agent,attempts(Agent,act3(look,Agent,[]))))) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_action.pl:474
%~ add_intent_look(Agent,A9,C9) :-
%~ h(spatial,inside,Agent,_Somewhere,A9,B9) ,
%~ add_agent_intent(Agent,attempts(Agent,act3(look,Agent,[])),B9,C9).
/* ( disgorge( Doer,
Verb, Container,Prep,Here,
Vicinity,Msg) ==>>
( verb_domain(Verb,Spatially) ,
findall(Inner,h(Spatially,child,Inner,Container),Contents) ,
{ dbug(general,'~p childs: ~p~n',[Container,Contents]) } ,
moveto( Doer,
Verb, Contents,Prep,Here,
Vicinity,Msg))) */
%~ disgorge( Doer,
%~ Verb, Container,Prep,Here,
%~ Vicinity,Msg,A9,
%~ E9) :-
%~ verb_domain(Verb,Spatially,A9,D9) ,
%~ findall( Inner,
%~ h(Spatially,child,Inner,Container), Contents,D9,C9) ,
%~ dbug(general,'~p childs: ~p~n',[Container,Contents]) ,
%~ B9=C9 ,
%~ moveto( Doer,
%~ Verb, Contents,Prep,Here,
%~ Vicinity,Msg,B9,
%~ E9).
/* ( moveto(Doer,Verb,List,At,Dest,Vicinity,Msg) ==>>
( { is_list(List) } ,
! ,
apply_mapl_rest_state( moveto(Doer,Verb),
List,
[At,Dest,Vicinity,Msg]))) */
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_action.pl:560
%~ moveto( Doer,
%~ Verb, List,At,Dest,
%~ Vicinity,Msg,A9,
%~ D9) :-
%~ is_list(List) ,
%~ C9=A9 ,
%~ ! ,
%~ B9=C9 ,
%~ apply_mapl_rest_state( moveto(Doer,Verb),
%~ List,
%~ [At,Dest,Vicinity,Msg], B9,D9).
/* ( moveto(Doer,Verb,Object,At,Dest,Vicinity,Msg) ==>>
( undeclare( h(spatial,Prep_Spatial,Object,From)) ,
declare( h(spatial,At,Object,Dest)) ,
queue_local_event(
[ act3( move,
Doer,
[ Verb, Object,From,At,
Dest]),
Msg],
Vicinity))) */
%~ moveto( Doer,
%~ Verb, Object,At,Dest,
%~ Vicinity,Msg,A9,
%~ D9) :-
%~ undeclare(h(spatial,Prep_Spatial,Object,From),A9,C9) ,
%~ declare(h(spatial,At,Object,Dest),C9,B9) ,
%~ queue_local_event(
%~ [ act3( move,
%~ Doer,
%~ [ Verb, Object,From,At,
%~ Dest]),
%~ Msg], Vicinity,B9,D9).
/* ( setloc_silent(Prep,Object,Dest) ==>>
( undeclare( h(spatial,Prep_Spatial,Object,Target_Object4)) ,
declare( h(spatial,Prep,Object,Dest)))) */
%~ setloc_silent(Prep,Object,Dest,A9,C9) :-
%~ undeclare(h(spatial,Prep_Spatial,Object,Target_Object4),A9,B9) ,
%~ declare(h(spatial,Prep,Object,Dest),B9,C9).
ORDERING TEST:
unordered was [before(start,completeFn(CompleteFn)),before(start,x),before(start,y),before(y,completeFn(CompleteFn)),before(x,z),before(z,completeFn(CompleteFn))]
ordering is [before(z,completeFn(CompleteFn)),before(x,completeFn(CompleteFn)),before(x,z),before(start,z),before(y,completeFn(CompleteFn)),before(start,y),before(start,x),before(start,completeFn(CompleteFn))]
picked [start,x,y,z,completeFn(CompleteFn3)]
END ORDERING TEST
=============================================
RESET STATE
%~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/t/agi_tests/adv_story/adv_test_01.pl:34
%~ create_1obj(se_subregion,i1)
%~ create_1obj(ttt_table,i1)
%~ create_1obj(ss_subregion,i1)
%~ create_1obj(ttt_table,i1)
%~ create_1obj(sw_subregion,i1)
%~ create_1obj(ttt_table,i1)
%~ create_1obj(ee_subregion,i1)
%~ create_1obj(ttt_table,i1)
%~ create_1obj(cc_subregion,i1)
%~ create_1obj(ttt_table,i1)
%~ create_1obj(ww_subregion,i1)
%~ create_1obj(ttt_table,i1)
%~ create_1obj(ne_subregion,i1)
%~ create_1obj(ttt_table,i1)
%~ create_1obj(nn_subregion,i1)
%~ create_1obj(ttt_table,i1)
%~ create_1obj(nw_subregion,i1)
%~ create_1obj(ttt_table,i1)
%~ create_1obj(x(red_pebble,5),i1)
%~ create_1obj(player,i1)
%~ create_1obj(x(red_pebble,4),i1)
%~ create_1obj(player,i1)
%~ create_1obj(x(red_pebble,3),i1)
%~ create_1obj(player,i1)
%~ create_1obj(x(red_pebble,2),i1)
%~ create_1obj(player,i1)
%~ create_1obj(x(red_pebble,1),i1)
%~ create_1obj(player,i1)
%~ create_1obj(x(blue_pebble,5),i1)
%~ create_1obj(floyd,i1)
%~ create_1obj(x(blue_pebble,4),i1)
%~ create_1obj(floyd,i1)
%~ create_1obj(x(blue_pebble,3),i1)
%~ create_1obj(floyd,i1)
%~ create_1obj(x(blue_pebble,2),i1)
%~ create_1obj(floyd,i1)
%~ create_1obj(x(blue_pebble,1),i1)
%~ create_1obj(floyd,i1)
%~ create_1obj(ttt_table,i1)
%~ create_1obj(kitchen,i1)
%~ create_1obj(brklamp,i1)
%~ create_1obj(garden,i1)
%~ create_1obj(screendoor,i1)
%~ create_1obj(garden,i1)
%~ create_1obj(apple,i1)
%~ create_1obj(crate,i1)
%~ create_1obj(crate,i1)
%~ create_1obj(kitchen,i1)
%~ create_1obj(screendoor,i1)
%~ create_1obj(kitchen,i1)
%~ create_1obj(fireplace,i1)
%~ create_1obj(living_room,i1)
%~ create_1obj(videocamera,i1)
%~ create_1obj(living_room,i1)
%~ create_1obj(shovel,i1)
%~ create_1obj(basement,i1)
%~ create_1obj(mushroom,i1)
%~ create_1obj(garden,i1)
%~ create_1obj(water,i1)
%~ create_1obj(fountain,i1)
%~ create_1obj(fountain,i1)
%~ create_1obj(garden,i1)
%~ create_1obj(x(rock,2),i1)
%~ create_1obj(garden,i1)
%~ create_1obj(rock,i1)
%~ create_1obj(garden,i1)
%~ create_1obj(locker,i1)
%~ create_1obj(pantry,i1)
%~ create_1obj(shelf,i1)
%~ create_1obj(pantry,i1)
%~ create_1obj(living_room,i1)
%~ create_1obj(dining_room,i1)
%~ create_1obj(dining_room,i1)
%~ create_1obj(living_room,i1)
%~ create_1obj(dining_room,i1)
%~ create_1obj(kitchen,i1)
%~ create_1obj(kitchen,i1)
%~ create_1obj(dining_room,i1)
%~ create_1obj(garden,i1)
%~ create_1obj(kitchen,i1)
%~ create_1obj(kitchen,i1)
%~ create_1obj(garden,i1)
%~ create_1obj(basement,i1)
%~ create_1obj(pantry,i1)
%~ create_1obj(pantry,i1)
%~ create_1obj(basement,i1)
%~ create_1obj(pantry,i1)
%~ create_1obj(kitchen,i1)
%~ create_1obj(kitchen,i1)
%~ create_1obj(pantry,i1)
%~ create_1obj(wrench,i1)
%~ create_1obj(floyd,i1)
%~ create_1obj(coins,i1)
%~ create_1obj(bag,i1)
%~ create_1obj(bag,i1)
%~ create_1obj(player,i1)
%~ create_1obj(watch,i1)
%~ create_1obj(player,i1)
%~ create_1obj(player,i1)
%~ create_1obj(kitchen,i1)
%~ create_1obj(floyd,i1)
%~ create_1obj(pantry,i1)
%~ create_1obj(cup,i1)
%~ create_1obj(cabinate,i1)
%~ create_1obj(cabinate,i1)
%~ create_1obj(kitchen,i1)
%~ create_1obj(plate,i1)
%~ create_1obj(sink,i1)
%~ create_1obj(sink,i1)
%~ create_1obj(kitchen,i1)
%~ create_1obj(lamp,i1)
%~ create_1obj(table,i1)
%~ create_1obj(table,i1)
%~ create_1obj(kitchen,i1)
%~ create_1obj(flour,i1)
%~ create_1obj(bowl,i1)
%~ create_1obj(bowl,i1)
%~ create_1obj(box,i1)
%~ create_1obj(box,i1)
%~ create_1obj(table,i1)
%~ create_1obj(table,i1)
%~ create_1obj(table_leg,i1)
/* oldObjectList=[] */
/* newObjectList = [ x(table_leg,i1), x(table,i1),x(box,i1),x(bowl,i1),
x(flour,i1),x(kitchen,i1),x(lamp,i1),
x(sink,i1),x(plate,i1),x(cabinate,i1),
x(cup,i1),x(pantry,i1),x(floyd,i1),
x(player,i1),x(watch,i1),x(bag,i1),
x(coins,i1),x(wrench,i1),
x(basement,i1),x(garden,i1),
x(dining_room,i1),x(living_room,i1),
x(shelf,i1),x(locker,i1),x(rock,i1),
x(fountain,i1),x(water,i1),
x(mushroom,i1),x(shovel,i1),
x(videocamera,i1),x(fireplace,i1),
x(screendoor,i1),x(crate,i1),
x(apple,i1),x(brklamp,i1),
x(ttt_table,i1),x(nw_subregion,i1),
x(nn_subregion,i1),x(ne_subregion,i1),
x(ww_subregion,i1),x(cc_subregion,i1),
x(ee_subregion,i1),x(sw_subregion,i1),
x(ss_subregion,i1),x(se_subregion,i1)] */
/* mu_create_object( x(table_leg,i1), [
[ shape=table_leg, traits([table_leg]),inherit(table_leg,t),
sp(nouns,[table_leg])])] */
/* mu_create_object( x(table,i1), [
[ shape=(table), traits([table]),inherit(table,t),
sp(nouns,[table])])] */
/* mu_create_object( x(box,i1), [
[ shape=box, traits([box]),inherit(box,t),
sp(nouns,[box])])] */
/* mu_create_object( x(bowl,i1), [
[ shape=bowl, traits([bowl]),inherit(bowl,t),
sp(nouns,[bowl])])] */
/* mu_create_object( x(flour,i1), [
[ shape=flour, traits([flour]),inherit(flour,t),
sp(nouns,[flour])])] */
/* mu_create_object( x(kitchen,i1), [
[ shape=kitchen, traits([kitchen]),inherit(kitchen,t),
sp(nouns,[kitchen])])] */
/* mu_create_object( x(lamp,i1), [
[ shape=lamp, traits([lamp]),inherit(lamp,t),
sp(nouns,[lamp])])] */
/* mu_create_object( x(sink,i1), [
[ shape=sink, traits([sink]),inherit(sink,t),
sp(nouns,[sink])])] */
/* mu_create_object( x(plate,i1), [
[ shape=plate, traits([plate]),inherit(plate,t),
sp(nouns,[plate])])] */
/* mu_create_object( x(cabinate,i1), [
[ shape=cabinate, traits([cabinate]),inherit(cabinate,t),
sp(nouns,[cabinate])])] */
/* mu_create_object( x(cup,i1), [
[ shape=cup, traits([cup]),inherit(cup,t),
sp(nouns,[cup])])] */
/* mu_create_object( x(pantry,i1), [
[ shape=pantry, traits([pantry]),inherit(pantry,t),
sp(nouns,[pantry])])] */
/* mu_create_object( x(floyd,i1), [
[ shape=floyd, traits([floyd]),inherit(floyd,t),
sp(nouns,[floyd])])] */
/* mu_create_object( x(player,i1), [
[ shape=player, traits([player]),inherit(player,t),
sp(nouns,[player])])] */
/* mu_create_object( x(watch,i1), [
[ shape=watch, traits([watch]),inherit(watch,t),
sp(nouns,[watch])])] */
/* mu_create_object( x(bag,i1), [
[ shape=bag, traits([bag]),inherit(bag,t),
sp(nouns,[bag])])] */
/* mu_create_object( x(coins,i1), [
[ shape=coins, traits([coins]),inherit(coins,t),
sp(nouns,[coins])])] */
/* mu_create_object( x(wrench,i1), [
[ shape=wrench, traits([wrench]),inherit(wrench,t),
sp(nouns,[wrench])])] */
/* mu_create_object( x(basement,i1), [
[ shape=basement, traits([basement]),inherit(basement,t),
sp(nouns,[basement])])] */
/* mu_create_object( x(garden,i1), [
[ shape=garden, traits([garden]),inherit(garden,t),
sp(nouns,[garden])])] */
/* mu_create_object( x(dining_room,i1), [
[ shape=dining_room, traits([dining_room]),inherit(dining_room,t),
sp(nouns,[dining_room])])] */
/* mu_create_object( x(living_room,i1), [
[ shape=living_room, traits([living_room]),inherit(living_room,t),
sp(nouns,[living_room])])] */
/* mu_create_object( x(shelf,i1), [
[ shape=shelf, traits([shelf]),inherit(shelf,t),
sp(nouns,[shelf])])] */
/* mu_create_object( x(locker,i1), [
[ shape=locker, traits([locker]),inherit(locker,t),
sp(nouns,[locker])])] */
/* mu_create_object( x(rock,i1), [
[ shape=rock, traits([rock]),inherit(rock,t),
sp(nouns,[rock])])] */
/* mu_create_object( x(fountain,i1), [
[ shape=fountain, traits([fountain]),inherit(fountain,t),
sp(nouns,[fountain])])] */
/* mu_create_object( x(water,i1), [
[ shape=water, traits([water]),inherit(water,t),
sp(nouns,[water])])] */
/* mu_create_object( x(mushroom,i1), [
[ shape=mushroom, traits([mushroom]),inherit(mushroom,t),
sp(nouns,[mushroom])])] */
/* mu_create_object( x(shovel,i1), [
[ shape=shovel, traits([shovel]),inherit(shovel,t),
sp(nouns,[shovel])])] */
/* mu_create_object( x(videocamera,i1), [
[ shape=videocamera, traits([videocamera]),inherit(videocamera,t),
sp(nouns,[videocamera])])] */
/* mu_create_object( x(fireplace,i1), [
[ shape=fireplace, traits([fireplace]),inherit(fireplace,t),
sp(nouns,[fireplace])])] */
/* mu_create_object( x(screendoor,i1), [
[ shape=screendoor, traits([screendoor]),inherit(screendoor,t),
sp(nouns,[screendoor])])] */
/* mu_create_object( x(crate,i1), [
[ shape=crate, traits([crate]),inherit(crate,t),
sp(nouns,[crate])])] */
/* mu_create_object( x(apple,i1), [
[ shape=apple, traits([apple]),inherit(apple,t),
sp(nouns,[apple])])] */
/* mu_create_object( x(brklamp,i1), [
[ shape=brklamp, traits([brklamp]),inherit(brklamp,t),
sp(nouns,[brklamp])])] */
/* mu_create_object( x(ttt_table,i1), [
[ shape=ttt_table, traits([ttt_table]),inherit(ttt_table,t),
sp(nouns,[ttt_table])])] */
/* mu_create_object( x(nw_subregion,i1), [
[ shape=nw_subregion, traits([nw_subregion]),inherit(nw_subregion,t),
sp(nouns,[nw_subregion])])] */
/* mu_create_object( x(nn_subregion,i1), [
[ shape=nn_subregion, traits([nn_subregion]),inherit(nn_subregion,t),
sp(nouns,[nn_subregion])])] */
/* mu_create_object( x(ne_subregion,i1), [
[ shape=ne_subregion, traits([ne_subregion]),inherit(ne_subregion,t),
sp(nouns,[ne_subregion])])] */
/* mu_create_object( x(ww_subregion,i1), [
[ shape=ww_subregion, traits([ww_subregion]),inherit(ww_subregion,t),
sp(nouns,[ww_subregion])])] */
/* mu_create_object( x(cc_subregion,i1), [
[ shape=cc_subregion, traits([cc_subregion]),inherit(cc_subregion,t),
sp(nouns,[cc_subregion])])] */
/* mu_create_object( x(ee_subregion,i1), [
[ shape=ee_subregion, traits([ee_subregion]),inherit(ee_subregion,t),
sp(nouns,[ee_subregion])])] */
/* mu_create_object( x(sw_subregion,i1), [
[ shape=sw_subregion, traits([sw_subregion]),inherit(sw_subregion,t),
sp(nouns,[sw_subregion])])] */
/* mu_create_object( x(ss_subregion,i1), [
[ shape=ss_subregion, traits([ss_subregion]),inherit(ss_subregion,t),
sp(nouns,[ss_subregion])])] */
/* mu_create_object( x(se_subregion,i1), [
[ shape=se_subregion, traits([se_subregion]),inherit(se_subregion,t),
sp(nouns,[se_subregion])])] */
=============================================
=============================================
INIT STATE
=============================================
totalTime=10.000
FAILED: /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-junit-minor -k adv_test_02.pl (returned 137) Add_LABELS='Errors,Overtime' Rem_LABELS='Skipped,Skipped,Warnings,Skipped'