>(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))) */ %~ 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)) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:70 %~ 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((_50614;_50616),A9,B9) :- %~ ! , %~ A9=A9 , %~ aXiom_p1(_50614,A9,B9);aXiom_p1(_50616,A9,B9). /* ==>>(aXiom_p1((P1->P11)),(!,(aXiom_p1(P1)->aXiom_p1(P11)))) */ %~ aXiom_p1((_34674->_34676),A9,C9) -> %~ ! , %~ A9=A9 , %~ aXiom_p1(_34674,A9,B9) -> %~ %~ aXiom_p1(_34676,B9,C9). /* ==>>(aXiom_p1(true),!) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:71 %~ 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)) } , !)) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:89 %~ 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(_27334,mu:ActionSE) , adv_safe_to_call(ActionSE) , ! , call(Action,S,E))) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:107 %~ 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)) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:134 %~ 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)) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:139 %~ 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). /* ( 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)),[]) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:181 %~ 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))])) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:213 %~ 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])))) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:246 %~ 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])))) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:269 %~ 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]))) */ %~ 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])))) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:278 %~ 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,'.']]))) */ %~ 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])) , !)) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:377 %~ 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])) , !)) */ %~ 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),!) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:391 %~ 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) , !)) */ %~ 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) } , !)) */ %~ 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)]) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_action.pl:273 %~ 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)))) */ %~ 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])) */ %~ 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)])) */ %~ 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),!)) */ %~ 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))) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_action.pl:310 %~ 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)) */ %~ 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,!)) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_action.pl:421 %~ 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)},!) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_action.pl:426 %~ unless_reason(Agent,_Unless,Msg,_Then,A9,C9) :- %~ event_failed(Agent,Msg) , %~ B9=A9 , %~ ! , %~ C9=B9. /* ==>>(unless(_Agent,Required,Then),(Required,!,Then)) */ %~ 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,[]))))) */ %~ 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]))) */ %~ 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)))) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_action.pl:579 %~ 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 %~ 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) %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/t/agi_tests/adv_story/adv_test_01.pl:34 %~ 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']]> >(will_need_touch(Agent,Thing),h(spatial,touchable,Agent,Thing)) */ %~ 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))) */ %~ 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)) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:69 %~ 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((_57406,_57408),A9,C9) :- %~ ! , %~ A9=A9 , %~ aXiom_p1(_57406,A9,B9) , %~ aXiom_p1(_57408,B9,C9). /* ==>>(aXiom_p1((P1;P11)),(!,(aXiom_p1(P1);aXiom_p1(P11)))) */ %~ aXiom_p1((_45002;_45004),A9,B9) :- %~ ! , %~ A9=A9 , %~ aXiom_p1(_45002,A9,B9);aXiom_p1(_45004,A9,B9). /* ==>>(aXiom_p1((P1->P11)),(!,(aXiom_p1(P1)->aXiom_p1(P11)))) */ %~ aXiom_p1((_29252->_29254),A9,C9) -> %~ ! , %~ A9=A9 , %~ aXiom_p1(_29252,A9,B9) -> %~ %~ aXiom_p1(_29254,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(_15778,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]))) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:152 %~ 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))) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:177 %~ 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)))) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:199 %~ 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)))) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:216 %~ 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]))) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:250 %~ 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]))) */ %~ 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.']))) */ %~ 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,'.']]))) */ %~ 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])))) */ %~ 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])) , !)) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:374 %~ 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])) , !)) */ %~ 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)))))) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:388 %~ 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)) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_axiom.pl:402 %~ 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) , !)) */ %~ 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) , !)) */ %~ 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) } , !)) */ %~ 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},!) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_action.pl:275 %~ 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)},!)) */ %~ satisfy_each1(_Ctx,A\=B,A9,C9) :- %~ dif(A,B) , %~ B9=A9 , %~ ! , %~ C9=B9. /* ==>>(satisfy_each1(_Ctxt,exists(Ex)),(!,{ground(Ex)})) */ %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/prolog/episodic_memory/adv_action.pl:283 %~ 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)))) */ %~ 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])) */ %~ 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)) */ %~ 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)) */ %~ 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))) } , !)) */ %~ 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,[]))))) */ %~ 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]))) */ %~ 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 %~ create_1obj(se_subregion,i1) %~ create_1obj(ttt_table,i1) %~ /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/logicmoo_agi/t/agi_tests/adv_story/adv_test_01.pl:34 %~ 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_01.pl (returned 137) Add_LABELS='Errors,Overtime' Rem_LABELS='Skipped,Skipped,Warnings,Skipped']]>