>(will_need_touch(Agent,Thing),h(spatial,touchable,Agent,Thing)) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:51 %~ will_need_touch(Agent,Thing,A9,B9) :- %~ %~ h(spatial,touchable,Agent,Thing,A9,B9). %~ 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))) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:71 %~ 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(_27392,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))}) */ %~ 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]))) */ %~ 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). ``` totalTime=2.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']]>