1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'examples/Mueller2006/Chapter14/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.e:123 263%; Delta 264 265% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.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/NetBill3.e:155 396% Happens(Deliver(MusicStore,Jen,BritneyCD),0). 397axiom(happens(deliver(musicStore, jen, britneyCD), t), 398 [is_time(0)]). 399 400% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill3.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/NetBill3.e:156 407% Happens(SendEPO(Jen,MusicStore,1),2). 408axiom(happens(sendEPO(jen, musicStore, 1), t2), 409 [is_time(2), b(t, t2), ignore(t+2=t2)]). 410 411 412% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill3.e:158 413%; Gamma 414% [agent1,agent2,product,amount] 415% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill3.e:161 416% !HoldsAt(QuoteSent(agent1,agent2,product,amount),0). 417 418 /* not(initially(quoteSent(Agent1, 419 Agent2, 420 Product, 421 Amount))). 422 */ 423axiom(not(initially(quoteSent(QuoteSent_Param, _, _, QuoteSent_Ret))), 424 []). 425 426 427% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill3.e:163 428% [agent1,agent2,product,amount] 429% !HoldsAt(PurchaseRequested(agent1,agent2,product,amount),0). 430 431 /* not(initially(purchaseRequested(Agent1, 432 Agent2, 433 Product, 434 Amount))). 435 */ 436% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill3.e:164 437axiom(not(initially(purchaseRequested(PurchaseRequested_Param, _, _, PurchaseRequested_Ret))), 438 []). 439 440 441% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill3.e:166 442% [agent1,agent2,product] 443% !HoldsAt(Delivered(agent1,agent2,product),0). 444 % not(initially(delivered(Agent1,Agent2,Product))). 445% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill3.e:167 446axiom(not(initially(delivered(Delivered_Param, _, Delivered_Ret))), 447 []). 448 449 450% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill3.e:169 451% [agent1,agent2,f] 452% !HoldsAt(C(agent1,agent2,f),0). 453 % not(initially(c(Agent1,Agent2,F))). 454% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill3.e:170 455axiom(not(initially(c(C_Param, _, C_Ret))), 456 []). 457 458 459% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill3.e:172 460% [agent1,agent2,f1,f2] 461% !HoldsAt(CC(agent1,agent2,f1,f2),0). 462 % not(initially(cc(Agent1,Agent2,F1,F2))). 463% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill3.e:173 464axiom(not(initially(cc(Cc_Param, _, _, Cc_Ret))), 465 []). 466 467 468% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill3.e:175 469% [agent1,agent2,amount] 470% !HoldsAt(EPOSent(agent1,agent2,amount),0). 471 % not(initially(ePOSent(Agent1,Agent2,Amount))). 472% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill3.e:176 473axiom(not(initially(ePOSent(EPOSent_Param, _, EPOSent_Ret))), 474 []). 475 476% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill3.e:178 477% completion Delta Happens 478% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill3.e:179 479==> completion(delta). 480==> completion(happens). 481 482% range time 0 4 483% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill3.e:181 484==> range(time,0,4). 485 486% range offset 1 1 487% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill3.e:182 488==> range(offset,1,1). 489 490% range amount 1 1 491% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/NetBill3.e:183 492==> range(amount,1,1). 493%; End of file.