1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'examples/Mueller2006/Chapter14/NetBill1.e').
    4%;
    5%; Copyright (c) 2005 IBM Corporation and others.
    6%; All rights reserved. This program and the accompanying materials
    7%; are made available under the terms of the Common Public License v1.0
    8%; which accompanies this distribution, and is available at
    9%; http://www.eclipse.org/legal/cpl-v10.html
   10%;
   11%; Contributors:
   12%; IBM - Initial implementation
   13%;
   14%; @inproceedings{SirbuTygar:1995,
   15%;   author = "Marvin A. Sirbu and J. D. Tygar",
   16%;   year = "1995",
   17%;   title = "Net\uppercase{B}ill: An \uppercase{I}nternet commerce system optimized for network delivered services",
   18%;   editor = "
   19%;   booktitle = "40th \uppercase{IEEE} \uppercase{C}omputer \uppercase{S}ociety \uppercase{I}nternational \uppercase{C}onference",
   20%;   pages = "20--25",
   21%;   publisher = "
   22%;   address = "
   23%; }
   24%;
   25%; @book{Mueller:2006,
   26%;   author = "Erik T. Mueller",
   27%;   year = "2006",
   28%;   title = "Commonsense Reasoning",
   29%;   address = "San Francisco",
   30%;   publisher = "Morgan Kaufmann/Elsevier",
   31%; }
   32%;
   33
   34% option modeldiff on
   35:- set_ec_option(modeldiff, on).   36
   37% load foundations/Root.e
   38
   39% load foundations/EC.e
   40
   41% sort agent
   42==> sort(agent).
   43
   44% agent MusicStore, Jen
   45==> t(agent,musicStore).
   46==> t(agent,jen).
   47
   48% sort product
   49==> sort(product).
   50
   51% product BritneyCD
   52==> t(product,britneyCD).
   53
   54% sort f
   55==> sort(f).
   56
   57% f PurchaseRequestedJenMusicStoreBritneyCD1
   58==> t(f,purchaseRequestedJenMusicStoreBritneyCD1).
   59
   60% f DeliveredMusicStoreJenBritneyCD
   61==> t(f,deliveredMusicStoreJenBritneyCD).
   62
   63% f EPOSentJenMusicStore1
   64==> t(f,ePOSentJenMusicStore1).
   65
   66% sort amount: integer
   67==> subsort(amount,integer).
   68
   69% fluent C(agent,agent,f)
   70 %  fluent(c(agent,agent,f)).
   71==> mpred_prop(c(agent,agent,f),fluent).
   72==> meta_argtypes(c(agent,agent,f)).
   73
   74% fluent CC(agent,agent,f,f)
   75 %  fluent(cc(agent,agent,f,f)).
   76==> mpred_prop(cc(agent,agent,f,f),fluent).
   77==> meta_argtypes(cc(agent,agent,f,f)).
   78
   79% event CreateC(agent,agent,f)
   80 %  event(createC(agent,agent,f)).
   81==> mpred_prop(createC(agent,agent,f),event).
   82==> meta_argtypes(createC(agent,agent,f)).
   83
   84% event CreateCC(agent,agent,f,f)
   85 %  event(createCC(agent,agent,f,f)).
   86==> mpred_prop(createCC(agent,agent,f,f),event).
   87==> meta_argtypes(createCC(agent,agent,f,f)).
   88
   89% event DischargeC(agent,agent,f)
   90 %  event(dischargeC(agent,agent,f)).
   91==> mpred_prop(dischargeC(agent,agent,f),event).
   92==> meta_argtypes(dischargeC(agent,agent,f)).
   93
   94% event DischargeCC(agent,agent,f,f)
   95 %  event(dischargeCC(agent,agent,f,f)).
   96==> mpred_prop(dischargeCC(agent,agent,f,f),event).
   97==> meta_argtypes(dischargeCC(agent,agent,f,f)).
   98
   99% fluent QuoteSent(agent,agent,product,amount)
  100 %  fluent(quoteSent(agent,agent,product,amount)).
  101==> mpred_prop(quoteSent(agent,agent,product,amount),fluent).
  102==> meta_argtypes(quoteSent(agent,agent,product,amount)).
  103
  104% fluent PurchaseRequested(agent,agent,product,amount)
  105 %  fluent(purchaseRequested(agent,agent,product,amount)).
  106==> mpred_prop(purchaseRequested(agent,agent,product,amount),fluent).
  107==> meta_argtypes(purchaseRequested(agent,agent,product,amount)).
  108
  109% fluent Delivered(agent,agent,product)
  110 %  fluent(delivered(agent,agent,product)).
  111==> mpred_prop(delivered(agent,agent,product),fluent).
  112==> meta_argtypes(delivered(agent,agent,product)).
  113
  114% fluent EPOSent(agent,agent,amount)
  115 %  fluent(ePOSent(agent,agent,amount)).
  116==> mpred_prop(ePOSent(agent,agent,amount),fluent).
  117==> meta_argtypes(ePOSent(agent,agent,amount)).
  118
  119% event SendQuote(agent,agent,product,amount)
  120 %  event(sendQuote(agent,agent,product,amount)).
  121==> mpred_prop(sendQuote(agent,agent,product,amount),event).
  122==> meta_argtypes(sendQuote(agent,agent,product,amount)).
  123
  124% event RequestPurchase(agent,agent,product,amount)
  125 %  event(requestPurchase(agent,agent,product,amount)).
  126==> mpred_prop(requestPurchase(agent,agent,product,amount),event).
  127==> meta_argtypes(requestPurchase(agent,agent,product,amount)).
  128
  129% event Deliver(agent,agent,product)
  130 %  event(deliver(agent,agent,product)).
  131==> mpred_prop(deliver(agent,agent,product),event).
  132==> meta_argtypes(deliver(agent,agent,product)).
  133
  134% event SendEPO(agent,agent,amount)
  135 %  event(sendEPO(agent,agent,amount)).
  136==> mpred_prop(sendEPO(agent,agent,amount),event).
  137==> meta_argtypes(sendEPO(agent,agent,amount)).
  138
  139
  140% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:66
  141%; Sigma
  142% [agent1,agent2,f,time]
  143% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:69
  144% Initiates(CreateC(agent1,agent2,f),C(agent1,agent2,f),time).
  145axiom(initiates(createC(Agent1, Agent2, F), c(Agent1, Agent2, F), Time),
  146    []).
  147
  148
  149% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:71
  150% [agent1,agent2,f1,f2,time]
  151% Initiates(CreateCC(agent1,agent2,f1,f2),CC(agent1,agent2,f1,f2),time).
  152% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:72
  153axiom(initiates(createCC(Agent1, Agent2, F1, F2), cc(Agent1, Agent2, F1, F2), Time),
  154    []).
  155
  156
  157% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:74
  158% [agent1,agent2,f,time]
  159% Terminates(DischargeC(agent1,agent2,f),C(agent1,agent2,f),time).
  160% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:75
  161axiom(terminates(dischargeC(Agent1, Agent2, F), c(Agent1, Agent2, F), Time),
  162    []).
  163
  164
  165% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:77
  166% [agent1,agent2,f1,f2,time]
  167% Terminates(DischargeCC(agent1,agent2,f1,f2),CC(agent1,agent2,f1,f2),time).
  168% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:78
  169axiom(terminates(dischargeCC(Agent1, Agent2, F1, F2), cc(Agent1, Agent2, F1, F2), Time),
  170    []).
  171
  172
  173% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:80
  174% [agent1,agent2,product,amount,time]
  175% Initiates(SendQuote(agent1,agent2,product,amount),
  176%           QuoteSent(agent1,agent2,product,amount),
  177%           time).
  178% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:83
  179axiom(initiates(sendQuote(Agent1, Agent2, Product, Amount), quoteSent(Agent1, Agent2, Product, Amount), Time),
  180    []).
  181
  182
  183% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:85
  184% [agent1,agent2,product,amount,time]
  185% Initiates(RequestPurchase(agent1,agent2,product,amount),
  186%           PurchaseRequested(agent1,agent2,product,amount),
  187%           time).
  188% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:88
  189axiom(initiates(requestPurchase(Agent1, Agent2, Product, Amount), purchaseRequested(Agent1, Agent2, Product, Amount), Time),
  190    []).
  191
  192
  193% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:90
  194% [agent1,agent2,product,time]
  195% Initiates(Deliver(agent1,agent2,product),
  196%           Delivered(agent1,agent2,product),
  197%           time).
  198% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:93
  199axiom(initiates(deliver(Agent1, Agent2, Product), delivered(Agent1, Agent2, Product), Time),
  200    []).
  201
  202
  203% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:95
  204% [agent1,agent2,amount,time]
  205% Initiates(SendEPO(agent1,agent2,amount),
  206%           EPOSent(agent1,agent2,amount),
  207%           time).
  208% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:98
  209axiom(initiates(sendEPO(Agent1, Agent2, Amount), ePOSent(Agent1, Agent2, Amount), Time),
  210    []).
  211
  212
  213% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:100
  214% [agent1,agent2,product,amount,f1,f2,time]
  215% agent1=% MusicStore &
  216% agent2=Jen &
  217% product=BritneyCD &
  218% amount=1 &
  219% f1=PurchaseRequestedJenMusicStoreBritneyCD1 &
  220% f2=DeliveredMusicStoreJenBritneyCD ->
  221% Initiates(SendQuote(agent1,agent2,product,amount),
  222%           CC(agent1,agent2,f1,f2),
  223%           time).
  224% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:109
  225axiom(initiates(sendQuote(Agent1, Agent2, Product, Amount), cc(Agent1, Agent2, F1, F2), Time),
  226   
  227    [ equals(Agent1, musicStore),
  228      equals(Agent2, jen),
  229      equals(Product, britneyCD),
  230      equals(Amount, 1),
  231      equals(F1, purchaseRequestedJenMusicStoreBritneyCD1),
  232      equals(F2, deliveredMusicStoreJenBritneyCD)
  233    ]).
  234
  235
  236% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:111
  237% [agent1,agent2,product,amount,f1,f2,time]
  238% agent1=% Jen &
  239% agent2=MusicStore &
  240% product=BritneyCD &
  241% amount=1 &
  242% f1=DeliveredMusicStoreJenBritneyCD &
  243% f2=EPOSentJenMusicStore1 &
  244% !HoldsAt(Delivered(agent2,agent1,product),time) ->
  245% Initiates(RequestPurchase(agent1,agent2,product,amount),
  246%           CC(agent1,agent2,f1,f2),
  247%           time).
  248% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:121
  249axiom(initiates(requestPurchase(Agent1, Agent2, Product, Amount), cc(Agent1, Agent2, F1, F2), Time),
  250   
  251    [ equals(Agent1, jen),
  252      equals(Agent2, musicStore),
  253      equals(Product, britneyCD),
  254      equals(Amount, 1),
  255      equals(F1, deliveredMusicStoreJenBritneyCD),
  256      equals(F2, ePOSentJenMusicStore1),
  257      not(holds_at(delivered(Agent2, Agent1, Product),
  258                   Time))
  259    ]).
  260
  261
  262% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:123
  263%; Delta
  264
  265% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:125
  266% Delta: 
  267next_axiom_uses(delta).
  268 
  269
  270
  271% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:125
  272% [time]
  273% HoldsAt(CC(MusicStore,Jen,PurchaseRequestedJenMusicStoreBritneyCD1,DeliveredMusicStoreJenBritneyCD),time) &
  274% HoldsAt(PurchaseRequested(Jen,MusicStore,BritneyCD,1),time) ->
  275% Happens(CreateC(MusicStore,Jen,DeliveredMusicStoreJenBritneyCD),time).
  276% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:128
  277axiom(happens(createC(musicStore, jen, deliveredMusicStoreJenBritneyCD), Time),
  278   
  279    [ holds_at(cc(musicStore,
  280                  jen,
  281                  purchaseRequestedJenMusicStoreBritneyCD1,
  282                  deliveredMusicStoreJenBritneyCD),
  283               Time),
  284      holds_at(purchaseRequested(jen, musicStore, britneyCD, 1), Time)
  285    ]).
  286
  287% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:130
  288% Delta: 
  289next_axiom_uses(delta).
  290 
  291
  292
  293% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:130
  294% [time]
  295% HoldsAt(CC(MusicStore,Jen,PurchaseRequestedJenMusicStoreBritneyCD1,DeliveredMusicStoreJenBritneyCD),time) &
  296% HoldsAt(PurchaseRequested(Jen, MusicStore, BritneyCD, 1),time) ->
  297% Happens(DischargeCC(MusicStore,Jen,PurchaseRequestedJenMusicStoreBritneyCD1,DeliveredMusicStoreJenBritneyCD),time).
  298% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:133
  299axiom(happens(dischargeCC(musicStore, jen, purchaseRequestedJenMusicStoreBritneyCD1, deliveredMusicStoreJenBritneyCD), Time),
  300   
  301    [ holds_at(cc(musicStore,
  302                  jen,
  303                  purchaseRequestedJenMusicStoreBritneyCD1,
  304                  deliveredMusicStoreJenBritneyCD),
  305               Time),
  306      holds_at(purchaseRequested(jen, musicStore, britneyCD, 1), Time)
  307    ]).
  308
  309% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:135
  310% Delta: 
  311next_axiom_uses(delta).
  312 
  313
  314
  315% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:135
  316% [time]
  317% HoldsAt(CC(Jen, MusicStore, DeliveredMusicStoreJenBritneyCD, EPOSentJenMusicStore1),time) &
  318% HoldsAt(Delivered(MusicStore,Jen,BritneyCD),time) ->
  319% Happens(CreateC(Jen,MusicStore,EPOSentJenMusicStore1),time).
  320% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:138
  321axiom(happens(createC(jen, musicStore, ePOSentJenMusicStore1), Time),
  322   
  323    [ holds_at(cc(jen,
  324                  musicStore,
  325                  deliveredMusicStoreJenBritneyCD,
  326                  ePOSentJenMusicStore1),
  327               Time),
  328      holds_at(delivered(musicStore, jen, britneyCD), Time)
  329    ]).
  330
  331% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:140
  332% Delta: 
  333next_axiom_uses(delta).
  334 
  335
  336
  337% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:140
  338% [time]
  339% HoldsAt(CC(Jen, MusicStore, DeliveredMusicStoreJenBritneyCD, EPOSentJenMusicStore1),time) &
  340% HoldsAt(Delivered(MusicStore,Jen,BritneyCD),time) ->
  341% Happens(DischargeCC(Jen,MusicStore,DeliveredMusicStoreJenBritneyCD, EPOSentJenMusicStore1),time).
  342% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:143
  343axiom(happens(dischargeCC(jen, musicStore, deliveredMusicStoreJenBritneyCD, ePOSentJenMusicStore1), Time),
  344   
  345    [ holds_at(cc(jen,
  346                  musicStore,
  347                  deliveredMusicStoreJenBritneyCD,
  348                  ePOSentJenMusicStore1),
  349               Time),
  350      holds_at(delivered(musicStore, jen, britneyCD), Time)
  351    ]).
  352
  353% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:145
  354% Delta: 
  355next_axiom_uses(delta).
  356 
  357
  358
  359% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:145
  360% [time]
  361% HoldsAt(C(MusicStore,Jen,DeliveredMusicStoreJenBritneyCD),time) &
  362% HoldsAt(Delivered(MusicStore,Jen,BritneyCD),time) ->
  363% Happens(DischargeC(MusicStore,Jen,DeliveredMusicStoreJenBritneyCD),time).
  364% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:148
  365axiom(happens(dischargeC(musicStore, jen, deliveredMusicStoreJenBritneyCD), Time),
  366   
  367    [ holds_at(c(musicStore, jen, deliveredMusicStoreJenBritneyCD), Time),
  368      holds_at(delivered(musicStore, jen, britneyCD), Time)
  369    ]).
  370
  371% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:150
  372% Delta: 
  373next_axiom_uses(delta).
  374 
  375
  376
  377% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:150
  378% [time]
  379% HoldsAt(C(Jen,MusicStore,EPOSentJenMusicStore1),time) &
  380% HoldsAt(EPOSent(Jen,MusicStore,1),time) ->
  381% Happens(DischargeC(Jen,MusicStore,EPOSentJenMusicStore1),time).
  382% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:153
  383axiom(happens(dischargeC(jen, musicStore, ePOSentJenMusicStore1), Time),
  384   
  385    [ holds_at(c(jen, musicStore, ePOSentJenMusicStore1), Time),
  386      holds_at(ePOSent(jen, musicStore, 1), Time)
  387    ]).
  388
  389% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:155
  390% Delta: 
  391next_axiom_uses(delta).
  392 
  393
  394
  395% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:155
  396% Happens(SendQuote(MusicStore,Jen,BritneyCD,1),0).
  397axiom(happens(sendQuote(musicStore, jen, britneyCD, 1), t),
  398    [is_time(0)]).
  399
  400% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:156
  401% Delta: 
  402next_axiom_uses(delta).
  403 
  404
  405
  406% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:156
  407% Happens(RequestPurchase(Jen,MusicStore,BritneyCD,1),1).
  408axiom(happens(requestPurchase(jen, musicStore, britneyCD, 1), start),
  409    [is_time(1), b(t, start), ignore(t+1=start)]).
  410
  411% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:157
  412% Delta: 
  413next_axiom_uses(delta).
  414 
  415
  416
  417% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:157
  418% Happens(Deliver(MusicStore,Jen,BritneyCD),3).
  419axiom(happens(deliver(musicStore, jen, britneyCD), t3),
  420    [is_time(3), b(t, t3), ignore(t+3=t3)]).
  421
  422% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:158
  423% Delta: 
  424next_axiom_uses(delta).
  425 
  426
  427
  428% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:158
  429% Happens(SendEPO(Jen,MusicStore,1),5).
  430axiom(happens(sendEPO(jen, musicStore, 1), t5),
  431    [is_time(5), b(t, t5), ignore(t+5=t5)]).
  432
  433
  434% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:160
  435%; Gamma
  436% [agent1,agent2,product,amount]
  437% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:163
  438% !HoldsAt(QuoteSent(agent1,agent2,product,amount),0).
  439
  440 /*  not(initially(quoteSent(Agent1,
  441   			Agent2,
  442   			Product,
  443   			Amount))).
  444 */
  445axiom(not(initially(quoteSent(QuoteSent_Param, _, _, QuoteSent_Ret))),
  446    []).
  447
  448
  449% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:165
  450% [agent1,agent2,product,amount]
  451% !HoldsAt(PurchaseRequested(agent1,agent2,product,amount),0).
  452
  453 /*  not(initially(purchaseRequested(Agent1,
  454   				Agent2,
  455   				Product,
  456   				Amount))).
  457 */
  458% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:166
  459axiom(not(initially(purchaseRequested(PurchaseRequested_Param, _, _, PurchaseRequested_Ret))),
  460    []).
  461
  462
  463% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:168
  464% [agent1,agent2,product]
  465% !HoldsAt(Delivered(agent1,agent2,product),0).
  466 %  not(initially(delivered(Agent1,Agent2,Product))).
  467% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:169
  468axiom(not(initially(delivered(Delivered_Param, _, Delivered_Ret))),
  469    []).
  470
  471
  472% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:171
  473% [agent1,agent2,f]
  474% !HoldsAt(C(agent1,agent2,f),0).
  475 %  not(initially(c(Agent1,Agent2,F))).
  476% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:172
  477axiom(not(initially(c(C_Param, _, C_Ret))),
  478    []).
  479
  480
  481% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:174
  482% [agent1,agent2,f1,f2]
  483% !HoldsAt(CC(agent1,agent2,f1,f2),0).
  484 %  not(initially(cc(Agent1,Agent2,F1,F2))).
  485% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:175
  486axiom(not(initially(cc(Cc_Param, _, _, Cc_Ret))),
  487    []).
  488
  489
  490% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:177
  491% [agent1,agent2,amount]
  492% !HoldsAt(EPOSent(agent1,agent2,amount),0).
  493 %  not(initially(ePOSent(Agent1,Agent2,Amount))).
  494% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:178
  495axiom(not(initially(ePOSent(EPOSent_Param, _, EPOSent_Ret))),
  496    []).
  497
  498% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:180
  499% completion Delta Happens
  500% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:181
  501==> completion(delta).
  502==> completion(happens).
  503
  504% range time 0 7
  505% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:183
  506==> range(time,0,7).
  507
  508% range offset 1 1
  509% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:184
  510==> range(offset,1,1).
  511
  512% range amount 1 1
  513% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill1.e:185
  514==> range(amount,1,1).
  515%; End of file.