:-include(library('ec_planner/ec_test_incl')). :-expects_dialect(pfc). % Tue, 06 Oct 2020 04:57:47 GMT % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.pel:4 /* loading(load_e_pl, '/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e'). */ %; %; Copyright (c) 2005 IBM Corporation and others. %; All rights reserved. This program and the accompanying materials %; are made available under the terms of the Common Public License v1.0 %; which accompanies this distribution, and is available at %; http://www.eclipse.org/legal/cpl-v10.html %; %; Contributors: %; IBM - Initial implementation %; %; @inproceedings{SirbuTygar:1995, %; author = "Marvin A. Sirbu and J. D. Tygar", %; year = "1995", %; title = "Net\uppercase{B}ill: An \uppercase{I}nternet commerce system optimized for network delivered services", %; editor = " %; booktitle = "40th \uppercase{IEEE} \uppercase{C}omputer \uppercase{S}ociety \uppercase{I}nternational \uppercase{C}onference", %; pages = "20--25", %; publisher = " %; address = " %; } %; %; @book{Mueller:2006, %; author = "Erik T. Mueller", %; year = "2006", %; title = "Commonsense Reasoning", %; address = "San Francisco", %; publisher = "Morgan Kaufmann/Elsevier", %; } %; % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:30 % option modeldiff on % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:32 % load foundations/Root.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:33 % load foundations/EC.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:35 % sort agent % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:36 sort(agent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:36 sort(agent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:36 % agent MusicStore, Jen % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:37 t(agent,musicStore). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:37 agent(musicStore). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:37 t(agent,jen). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:37 agent(jen). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:38 % sort product % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:39 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:39 sort(product). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:39 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:39 sort(product). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:39 % product BritneyCD % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:40 t(product,britneyCD). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:40 product(britneyCD). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:41 % sort f % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:42 sort(f). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:42 sort(f). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:42 % f PurchaseRequestedJenMusicStoreBritneyCD1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:43 t(f,purchaseRequestedJenMusicStoreBritneyCD1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:43 f(purchaseRequestedJenMusicStoreBritneyCD1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:43 % f DeliveredMusicStoreJenBritneyCD % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:44 t(f,deliveredMusicStoreJenBritneyCD). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:44 f(deliveredMusicStoreJenBritneyCD). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:44 % f EPOSentJenMusicStore1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:45 t(f,ePOSentJenMusicStore1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:45 f(ePOSentJenMusicStore1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:46 % sort amount: integer % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:47 subsort(amount,integer). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:47 subsort(amount,integer). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:48 % fluent C(agent,agent,f) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:49 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:49 fluent(c(agent,agent,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:49 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:49 fluents([c/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:49 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:49 fluents([c/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:49 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:49 meta_argtypes(c(agent,agent,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:49 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:49 meta_argtypes(c(agent,agent,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:49 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:49 mpred_prop(c(agent,agent,f),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:49 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:49 mpred_prop(c(agent,agent,f),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:49 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:49 meta_argtypes(c(agent,agent,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:49 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:49 meta_argtypes(c(agent,agent,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:49 % fluent CC(agent,agent,f,f) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:50 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:50 fluent(cc(agent,agent,f,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:50 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:50 fluents([cc/4]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:50 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:50 fluents([cc/4]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:50 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:50 meta_argtypes(cc(agent,agent,f,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:50 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:50 meta_argtypes(cc(agent,agent,f,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:50 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:50 mpred_prop(cc(agent,agent,f,f),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:50 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:50 mpred_prop(cc(agent,agent,f,f),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:50 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:50 meta_argtypes(cc(agent,agent,f,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:50 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:50 meta_argtypes(cc(agent,agent,f,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:51 % event CreateC(agent,agent,f) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:52 event(createC(agent,agent,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:52 actions([createC/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:52 actions([createC/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:52 meta_argtypes(createC(agent,agent,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:52 meta_argtypes(createC(agent,agent,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:52 mpred_prop(createC(agent,agent,f),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:52 mpred_prop(createC(agent,agent,f),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:52 meta_argtypes(createC(agent,agent,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:52 meta_argtypes(createC(agent,agent,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:52 % event CreateCC(agent,agent,f,f) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:53 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:53 event(createCC(agent,agent,f,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:53 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:53 actions([createCC/4]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:53 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:53 actions([createCC/4]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:53 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:53 meta_argtypes(createCC(agent,agent,f,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:53 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:53 meta_argtypes(createCC(agent,agent,f,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:53 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:53 mpred_prop(createCC(agent,agent,f,f),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:53 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:53 mpred_prop(createCC(agent,agent,f,f),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:53 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:53 meta_argtypes(createCC(agent,agent,f,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:53 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:53 meta_argtypes(createCC(agent,agent,f,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:53 % event DischargeC(agent,agent,f) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:54 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:54 event(dischargeC(agent,agent,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:54 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:54 actions([dischargeC/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:54 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:54 actions([dischargeC/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:54 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:54 meta_argtypes(dischargeC(agent,agent,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:54 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:54 meta_argtypes(dischargeC(agent,agent,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:54 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:54 mpred_prop(dischargeC(agent,agent,f),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:54 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:54 mpred_prop(dischargeC(agent,agent,f),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:54 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:54 meta_argtypes(dischargeC(agent,agent,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:54 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:54 meta_argtypes(dischargeC(agent,agent,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:54 % event DischargeCC(agent,agent,f,f) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:55 event(dischargeCC(agent,agent,f,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:55 actions([dischargeCC/4]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:55 actions([dischargeCC/4]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:55 meta_argtypes(dischargeCC(agent,agent,f,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:55 meta_argtypes(dischargeCC(agent,agent,f,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:55 mpred_prop(dischargeCC(agent,agent,f,f),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:55 mpred_prop(dischargeCC(agent,agent,f,f),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:55 meta_argtypes(dischargeCC(agent,agent,f,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:55 meta_argtypes(dischargeCC(agent,agent,f,f)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:56 % fluent QuoteSent(agent,agent,product,amount) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:57 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:57 fluent(quoteSent(agent,agent,product,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:57 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:57 fluents([quoteSent/4]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:57 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:57 fluents([quoteSent/4]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:57 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:57 meta_argtypes(quoteSent(agent,agent,product,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:57 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:57 meta_argtypes(quoteSent(agent,agent,product,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:57 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:57 mpred_prop(quoteSent(agent,agent,product,amount),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:57 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:57 mpred_prop(quoteSent(agent,agent,product,amount),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:57 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:57 meta_argtypes(quoteSent(agent,agent,product,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:57 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:57 meta_argtypes(quoteSent(agent,agent,product,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:57 % fluent PurchaseRequested(agent,agent,product,amount) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:58 fluent(purchaseRequested(agent,agent,product,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:58 fluents([purchaseRequested/4]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:58 fluents([purchaseRequested/4]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:58 meta_argtypes(purchaseRequested(agent,agent,product,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:58 meta_argtypes(purchaseRequested(agent,agent,product,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:58 mpred_prop(purchaseRequested(agent,agent,product,amount),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:58 mpred_prop(purchaseRequested(agent,agent,product,amount),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:58 meta_argtypes(purchaseRequested(agent,agent,product,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:58 meta_argtypes(purchaseRequested(agent,agent,product,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:58 % fluent Delivered(agent,agent,product) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:59 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:59 fluent(delivered(agent,agent,product)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:59 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:59 fluents([delivered/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:59 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:59 fluents([delivered/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:59 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:59 meta_argtypes(delivered(agent,agent,product)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:59 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:59 meta_argtypes(delivered(agent,agent,product)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:59 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:59 mpred_prop(delivered(agent,agent,product),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:59 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:59 mpred_prop(delivered(agent,agent,product),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:59 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:59 meta_argtypes(delivered(agent,agent,product)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:59 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:59 meta_argtypes(delivered(agent,agent,product)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:59 % fluent EPOSent(agent,agent,amount) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:60 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:60 fluent(ePOSent(agent,agent,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:60 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:60 fluents([ePOSent/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:60 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:60 fluents([ePOSent/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:60 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:60 meta_argtypes(ePOSent(agent,agent,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:60 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:60 meta_argtypes(ePOSent(agent,agent,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:60 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:60 mpred_prop(ePOSent(agent,agent,amount),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:60 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:60 mpred_prop(ePOSent(agent,agent,amount),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:60 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:60 meta_argtypes(ePOSent(agent,agent,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:60 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:60 meta_argtypes(ePOSent(agent,agent,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:61 % event SendQuote(agent,agent,product,amount) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:62 event(sendQuote(agent,agent,product,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:62 actions([sendQuote/4]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:62 actions([sendQuote/4]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:62 meta_argtypes(sendQuote(agent,agent,product,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:62 meta_argtypes(sendQuote(agent,agent,product,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:62 mpred_prop(sendQuote(agent,agent,product,amount),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:62 mpred_prop(sendQuote(agent,agent,product,amount),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:62 meta_argtypes(sendQuote(agent,agent,product,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:62 meta_argtypes(sendQuote(agent,agent,product,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:62 % event RequestPurchase(agent,agent,product,amount) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:63 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:63 event(requestPurchase(agent,agent,product,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:63 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:63 actions([requestPurchase/4]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:63 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:63 actions([requestPurchase/4]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:63 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:63 meta_argtypes(requestPurchase(agent,agent,product,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:63 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:63 meta_argtypes(requestPurchase(agent,agent,product,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:63 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:63 mpred_prop(requestPurchase(agent,agent,product,amount),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:63 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:63 mpred_prop(requestPurchase(agent,agent,product,amount),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:63 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:63 meta_argtypes(requestPurchase(agent,agent,product,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:63 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:63 meta_argtypes(requestPurchase(agent,agent,product,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:63 % event Deliver(agent,agent,product) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:64 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:64 event(deliver(agent,agent,product)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:64 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:64 actions([deliver/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:64 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:64 actions([deliver/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:64 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:64 meta_argtypes(deliver(agent,agent,product)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:64 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:64 meta_argtypes(deliver(agent,agent,product)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:64 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:64 mpred_prop(deliver(agent,agent,product),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:64 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:64 mpred_prop(deliver(agent,agent,product),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:64 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:64 meta_argtypes(deliver(agent,agent,product)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:64 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:64 meta_argtypes(deliver(agent,agent,product)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:64 % event SendEPO(agent,agent,amount) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:65 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:65 event(sendEPO(agent,agent,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:65 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:65 actions([sendEPO/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:65 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:65 actions([sendEPO/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:65 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:65 meta_argtypes(sendEPO(agent,agent,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:65 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:65 meta_argtypes(sendEPO(agent,agent,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:65 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:65 mpred_prop(sendEPO(agent,agent,amount),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:65 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:65 mpred_prop(sendEPO(agent,agent,amount),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:65 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:65 meta_argtypes(sendEPO(agent,agent,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:65 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:65 meta_argtypes(sendEPO(agent,agent,amount)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:66 %; Sigma % [agent1,agent2,f,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:69 % Initiates(CreateC(agent1,agent2,f),C(agent1,agent2,f),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:69 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(createC(Agent1, Agent2, F), c(Agent1, Agent2, F), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:69 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:69 initiates(createC(CreatecP_Num3_V,A,Createc), c(CreatecP_Num3_V,A,Createc), Initiates). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:69 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:69 initiated(happens(createC(CreatecP_Num3_V,A,Createc), Maptime, Happens), c(CreatecP_Num3_V,A,Createc), []). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:71 % [agent1,agent2,f1,f2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:72 % Initiates(CreateCC(agent1,agent2,f1,f2),CC(agent1,agent2,f1,f2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:72 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(createCC(Agent1, Agent2, F1, F2), cc(Agent1, Agent2, F1, F2), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:72 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:72 initiates(createCC(CreateccP_Num4_V, A, B, Createcc), cc(CreateccP_Num4_V,A,B,Createcc), Initiates). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:72 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:72 initiated(happens(createCC(CreateccP_Num4_V, A, B, Createcc), Maptime, Happens), cc(CreateccP_Num4_V,A,B,Createcc), []). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:74 % [agent1,agent2,f,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:75 % Terminates(DischargeC(agent1,agent2,f),C(agent1,agent2,f),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:75 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], terminates(dischargeC(Agent1, Agent2, F), c(Agent1, Agent2, F), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:75 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:75 terminates(dischargeC(DischargecP_Num3_V, A, Dischargec), c(DischargecP_Num3_V,A,Dischargec), Terminates). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:75 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:75 terminated(happens(dischargeC(DischargecP_Num3_V, A, Dischargec), Maptime, Happens), c(DischargecP_Num3_V,A,Dischargec), []). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:77 % [agent1,agent2,f1,f2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:78 % Terminates(DischargeCC(agent1,agent2,f1,f2),CC(agent1,agent2,f1,f2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:78 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], terminates(dischargeCC(Agent1, Agent2, F1, F2), cc(Agent1, Agent2, F1, F2), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:78 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:78 terminates(dischargeCC(DischargeccP_Num4_V, A, B, Dischargecc), cc(DischargeccP_Num4_V, A, B, Dischargecc), Terminates). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:78 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:78 terminated(happens(dischargeCC(DischargeccP_Num4_V, A, B, Dischargecc), Maptime, Happens), cc(DischargeccP_Num4_V, A, B, Dischargecc), []). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:80 % [agent1,agent2,product,amount,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:81 % Initiates(SendQuote(agent1,agent2,product,amount), % QuoteSent(agent1,agent2,product,amount), % time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:83 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(sendQuote(Agent1, Agent2, Product, Amount), quoteSent(Agent1, Agent2, Product, Amount), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:83 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:83 initiates(sendQuote(SendquoteP_Num4_V, A, B, Sendquote), quoteSent(SendquoteP_Num4_V, A, B, Sendquote), Initiates). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:83 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:83 initiated(happens(sendQuote(SendquoteP_Num4_V, A, B, Sendquote), Maptime, Happens), quoteSent(SendquoteP_Num4_V, A, B, Sendquote), []). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:85 % [agent1,agent2,product,amount,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:86 % Initiates(RequestPurchase(agent1,agent2,product,amount), % PurchaseRequested(agent1,agent2,product,amount), % time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:88 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(requestPurchase(Agent1, Agent2, Product, Amount), purchaseRequested(Agent1, Agent2, Product, Amount), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:88 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:88 initiates(requestPurchase(RequestpurchaseP_Num4_V, A, B, Requestpurchase), purchaseRequested(RequestpurchaseP_Num4_V, A, B, Requestpurchase), Initiates). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:88 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:88 initiated(happens(requestPurchase(RequestpurchaseP_Num4_V, A, B, Requestpurchase), Maptime, Happens), purchaseRequested(RequestpurchaseP_Num4_V, A, B, Requestpurchase), []). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:90 % [agent1,agent2,product,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:91 % Initiates(Deliver(agent1,agent2,product), % Delivered(agent1,agent2,product), % time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:93 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(deliver(Agent1, Agent2, Product), delivered(Agent1, Agent2, Product), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:93 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:93 initiates(deliver(DeliverP_Num3_V,A,Deliver), delivered(DeliverP_Num3_V,A,Deliver), Initiates). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:93 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:93 initiated(happens(deliver(DeliverP_Num3_V,A,Deliver), Maptime, Happens), delivered(DeliverP_Num3_V,A,Deliver), []). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:95 % [agent1,agent2,amount,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:96 % Initiates(SendEPO(agent1,agent2,amount), % EPOSent(agent1,agent2,amount), % time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:98 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(sendEPO(Agent1, Agent2, Amount), ePOSent(Agent1, Agent2, Amount), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:98 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:98 initiates(sendEPO(SendepoP_Num3_V,A,Sendepo), ePOSent(SendepoP_Num3_V,A,Sendepo), Initiates). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:98 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:98 initiated(happens(sendEPO(SendepoP_Num3_V,A,Sendepo), Maptime, Happens), ePOSent(SendepoP_Num3_V,A,Sendepo), []). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:100 % [agent1,agent2,product,amount,f1,f2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:101 % agent1=% MusicStore & % agent2=Jen & % product=BritneyCD & % amount=1 & % f1=PurchaseRequestedJenMusicStoreBritneyCD1 & % f2=DeliveredMusicStoreJenBritneyCD -> % Initiates(SendQuote(agent1,agent2,product,amount), % CC(agent1,agent2,f1,f2), % time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:109 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:109 equals(Agent1, musicStore), equals(Agent2, jen), equals(Product, britneyCD), equals(Amount, 1), equals(F1, purchaseRequestedJenMusicStoreBritneyCD1), equals(F2, deliveredMusicStoreJenBritneyCD) -> initiates(sendQuote(Agent1, Agent2, Product, Amount), cc(Agent1, Agent2, F1, F2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:109 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:109 reactive_rule([ equals(Agent1,musicStore), equals(Agent2,jen), equals(Product,britneyCD), equals(Amount,1), equals(F1, purchaseRequestedJenMusicStoreBritneyCD1), equals(F2,deliveredMusicStoreJenBritneyCD) ], [ initiates(sendQuote(Agent1, Agent2, Product, Amount), at(cc(Agent1, Agent2, F1, F2), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:111 % [agent1,agent2,product,amount,f1,f2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:112 % agent1=% Jen & % agent2=MusicStore & % product=BritneyCD & % amount=1 & % f1=DeliveredMusicStoreJenBritneyCD & % f2=EPOSentJenMusicStore1 & % !HoldsAt(Delivered(agent2,agent1,product),time) -> % Initiates(RequestPurchase(agent1,agent2,product,amount), % CC(agent1,agent2,f1,f2), % time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:121 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:121 equals(Agent1, jen), equals(Agent2, musicStore), equals(Product, britneyCD), equals(Amount, 1), equals(F1, deliveredMusicStoreJenBritneyCD), equals(F2, ePOSentJenMusicStore1), holds_at(neg(delivered(Agent2, Agent1, Product)), Time) -> initiates(requestPurchase(Agent1, Agent2, Product, Amount), cc(Agent1, Agent2, F1, F2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:121 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:121 reactive_rule([ equals(Agent1,jen), equals(Agent2,musicStore), equals(Product,britneyCD), equals(Amount,1), equals(F1,deliveredMusicStoreJenBritneyCD), equals(F2,ePOSentJenMusicStore1), holds(not(delivered(Agent2, Agent1, Product)), Time) ], [ initiates(requestPurchase(Agent1, Agent2, Product, Amount), at(cc(Agent1, Agent2, F1, F2), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:123 %; Delta % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:125 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:125 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:126 % HoldsAt(CC(MusicStore,Jen,PurchaseRequestedJenMusicStoreBritneyCD1,DeliveredMusicStoreJenBritneyCD),time) & % HoldsAt(PurchaseRequested(Jen,MusicStore,BritneyCD,1),time) -> % Happens(CreateC(MusicStore,Jen,DeliveredMusicStoreJenBritneyCD),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:128 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:128 holds_at(cc(musicStore, jen, purchaseRequestedJenMusicStoreBritneyCD1, deliveredMusicStoreJenBritneyCD), Time), holds_at(purchaseRequested(jen, musicStore, britneyCD, 1), Time) -> happens(createC(musicStore, jen, deliveredMusicStoreJenBritneyCD), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:128 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:128 reactive_rule([ holds(cc(musicStore, jen, purchaseRequestedJenMusicStoreBritneyCD1, deliveredMusicStoreJenBritneyCD), Time), holds(purchaseRequested(jen,musicStore,britneyCD,1), Time) ], [ happens(createC(musicStore, jen, deliveredMusicStoreJenBritneyCD), Time) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:130 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:130 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:131 % HoldsAt(CC(MusicStore,Jen,PurchaseRequestedJenMusicStoreBritneyCD1,DeliveredMusicStoreJenBritneyCD),time) & % HoldsAt(PurchaseRequested(Jen, MusicStore, BritneyCD, 1),time) -> % Happens(DischargeCC(MusicStore,Jen,PurchaseRequestedJenMusicStoreBritneyCD1,DeliveredMusicStoreJenBritneyCD),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:133 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:133 holds_at(cc(musicStore, jen, purchaseRequestedJenMusicStoreBritneyCD1, deliveredMusicStoreJenBritneyCD), Time), holds_at(purchaseRequested(jen, musicStore, britneyCD, 1), Time) -> happens(dischargeCC(musicStore, jen, purchaseRequestedJenMusicStoreBritneyCD1, deliveredMusicStoreJenBritneyCD), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:133 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:133 reactive_rule([ holds(cc(musicStore, jen, purchaseRequestedJenMusicStoreBritneyCD1, deliveredMusicStoreJenBritneyCD), Time), holds(purchaseRequested(jen,musicStore,britneyCD,1), Time) ], [ happens(dischargeCC(musicStore, jen, purchaseRequestedJenMusicStoreBritneyCD1, deliveredMusicStoreJenBritneyCD), Time) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:135 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:135 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:136 % HoldsAt(CC(Jen, MusicStore, DeliveredMusicStoreJenBritneyCD, EPOSentJenMusicStore1),time) & % HoldsAt(Delivered(MusicStore,Jen,BritneyCD),time) -> % Happens(CreateC(Jen,MusicStore,EPOSentJenMusicStore1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:138 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:138 holds_at(cc(jen, musicStore, deliveredMusicStoreJenBritneyCD, ePOSentJenMusicStore1), Time), holds_at(delivered(musicStore, jen, britneyCD), Time) -> happens(createC(jen, musicStore, ePOSentJenMusicStore1), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:138 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:138 reactive_rule([ holds(cc(jen, musicStore, deliveredMusicStoreJenBritneyCD, ePOSentJenMusicStore1), Time), holds(delivered(musicStore,jen,britneyCD),Time) ], [ happens(createC(jen,musicStore,ePOSentJenMusicStore1), Time) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:140 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:140 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:141 % HoldsAt(CC(Jen, MusicStore, DeliveredMusicStoreJenBritneyCD, EPOSentJenMusicStore1),time) & % HoldsAt(Delivered(MusicStore,Jen,BritneyCD),time) -> % Happens(DischargeCC(Jen,MusicStore,DeliveredMusicStoreJenBritneyCD, EPOSentJenMusicStore1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:143 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:143 holds_at(cc(jen, musicStore, deliveredMusicStoreJenBritneyCD, ePOSentJenMusicStore1), Time), holds_at(delivered(musicStore, jen, britneyCD), Time) -> happens(dischargeCC(jen, musicStore, deliveredMusicStoreJenBritneyCD, ePOSentJenMusicStore1), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:143 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:143 reactive_rule([ holds(cc(jen, musicStore, deliveredMusicStoreJenBritneyCD, ePOSentJenMusicStore1), Time), holds(delivered(musicStore,jen,britneyCD),Time) ], [ happens(dischargeCC(jen, musicStore, deliveredMusicStoreJenBritneyCD, ePOSentJenMusicStore1), Time) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:145 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:145 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:146 % HoldsAt(C(MusicStore,Jen,DeliveredMusicStoreJenBritneyCD),time) & % HoldsAt(Delivered(MusicStore,Jen,BritneyCD),time) -> % Happens(DischargeC(MusicStore,Jen,DeliveredMusicStoreJenBritneyCD),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:148 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:148 holds_at(c(musicStore, jen, deliveredMusicStoreJenBritneyCD), Time), holds_at(delivered(musicStore, jen, britneyCD), Time) -> happens(dischargeC(musicStore, jen, deliveredMusicStoreJenBritneyCD), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:148 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:148 reactive_rule([ holds(c(musicStore,jen,deliveredMusicStoreJenBritneyCD), Time), holds(delivered(musicStore,jen,britneyCD),Time) ], [ happens(dischargeC(musicStore, jen, deliveredMusicStoreJenBritneyCD), Time) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:150 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:150 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:151 % HoldsAt(C(Jen,MusicStore,EPOSentJenMusicStore1),time) & % HoldsAt(EPOSent(Jen,MusicStore,1),time) -> % Happens(DischargeC(Jen,MusicStore,EPOSentJenMusicStore1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:153 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:153 holds_at(c(jen, musicStore, ePOSentJenMusicStore1), Time), holds_at(ePOSent(jen, musicStore, 1), Time) -> happens(dischargeC(jen, musicStore, ePOSentJenMusicStore1), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:153 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:153 reactive_rule([ holds(c(jen,musicStore,ePOSentJenMusicStore1), Time), holds(ePOSent(jen,musicStore,1),Time) ], [ happens(dischargeC(jen, musicStore, ePOSentJenMusicStore1), Time) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:155 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:155 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:155 % Happens(Deliver(MusicStore,Jen,BritneyCD),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:155 /* [axiom_uses(delta, Axiom_Uses), axiom_uses(delta, Axiom_Uses), axiom_uses(delta, Axiom_Uses), axiom_uses(delta, Axiom_Uses), axiom_uses(delta, Axiom_Uses), axiom_uses(delta, Axiom_Uses), axiom_uses(delta, Axiom_Uses)] -> ta(TaP_Num4_V, tvs1=[start], tvs2=[start], happens(deliver(musicStore, jen, britneyCD), start)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:155 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:155 axiom_uses(delta, Axiom_Uses2) -> happens(deliver(musicStore, jen, britneyCD), start). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:155 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:155 reactive_rule([axiom_uses(delta,Axiom_Uses2)], [observe(at(deliver(musicStore,jen,britneyCD),start))]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:156 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:156 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:156 % Happens(SendEPO(Jen,MusicStore,1),2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:156 /* [axiom_uses(delta, Axiom_Uses), b(start, Start_Num2), toffset(start, 2, Start_Num2), ignore(start+2==Start_Num2)] -> ta(TaP_Num4_V, tvs1=[start+2], tvs2=[Start_Num2, start], happens(sendEPO(jen, musicStore, 1), Start_Num2)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:156 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:156 axiom_uses(delta, Axiom_Uses4), b(start, Maptime), toffset(start, 2, Maptime) -> happens(sendEPO(jen, musicStore, 1), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:156 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:156 reactive_rule([ axiom_uses(delta,Axiom_Uses4), b(start,Maptime), toffset(start,2,Maptime) ], [happens(sendEPO(jen,musicStore,1),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:158 %; Gamma % [agent1,agent2,product,amount] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:161 % !HoldsAt(QuoteSent(agent1,agent2,product,amount),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:161 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(quoteSent(Agent1, Agent2, Product, Amount)))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:161 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:161 initially(neg(quoteSent(QuotesentP_Num4_V, _, _, Quotesent))). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:161 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:161 initial_state([ not(quoteSent(QuotesentP_Num4_V, _, _, Quotesent)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:163 % [agent1,agent2,product,amount] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:164 % !HoldsAt(PurchaseRequested(agent1,agent2,product,amount),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:164 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(purchaseRequested(Agent1, Agent2, Product, Amount)))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:164 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:164 initially(neg(purchaseRequested(PurchaserequestedP_Num4_V, _, _, Purchaserequested))). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:164 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:164 initial_state([ not(purchaseRequested(PurchaserequestedP_Num4_V, _, _, Purchaserequested)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:166 % [agent1,agent2,product] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:167 % !HoldsAt(Delivered(agent1,agent2,product),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:167 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(delivered(Agent1, Agent2, Product)))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:167 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:167 initially(neg(delivered(DeliveredP_Num3_V, _, Delivered))). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:167 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:167 initial_state([ not(delivered(DeliveredP_Num3_V, _, Delivered)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:169 % [agent1,agent2,f] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:170 % !HoldsAt(C(agent1,agent2,f),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:170 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(c(Agent1, Agent2, F)))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:170 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:170 initially(neg(c(CP_Num3_V,_,'$VAR'(c)))). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:170 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:170 initial_state([not(c(CP_Num3_V,_,'$VAR'(c)))]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:172 % [agent1,agent2,f1,f2] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:173 % !HoldsAt(CC(agent1,agent2,f1,f2),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:173 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(cc(Agent1, Agent2, F1, F2)))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:173 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:173 initially(neg(cc(CcP_Num4_V,_,_,Cc))). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:173 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:173 initial_state([not(cc(CcP_Num4_V,_,_,Cc))]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:175 % [agent1,agent2,amount] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:176 % !HoldsAt(EPOSent(agent1,agent2,amount),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:176 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(ePOSent(Agent1, Agent2, Amount)))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:176 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:176 initially(neg(ePOSent(EposentP_Num3_V,_,Eposent))). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:176 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:176 initial_state([ not(ePOSent(EposentP_Num3_V, _, Eposent)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:178 % completion Delta Happens % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:179 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:179 completion(delta). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:179 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:179 completion(delta). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:179 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:179 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:179 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:179 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:180 % range time 0 4 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:181 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:181 range(time,0,4). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:181 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:181 range(time,0,4). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:181 % range offset 1 1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:182 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:182 range(offset,1,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:182 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:182 range(offset,1,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:182 % range amount 1 1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:183 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:183 range(amount,1,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:183 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/NetBill3.e:183 range(amount,1,1). %; End of file.