:-include(library('ec_planner/ec_test_incl')). :-expects_dialect(pfc). % Tue, 06 Oct 2020 04:57:31 GMT % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.pel:4 /* loading(load_e_pl, '/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.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 %; %; @book{OrtonyCloreCollins:1988, %; author = "Andrew Ortony and Gerald L. Clore and Allan M. Collins", %; year = "1988", %; title = "The Cognitive Structure of Emotions", %; address = "Cambridge", %; publisher = "Cambridge University Press", %; } %; %; @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/Chapter11/Lottery.e:27 % option modeldiff on % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:29 % load foundations/Root.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:30 % load foundations/EC.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:32 % sort agent % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:33 sort(agent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:33 sort(agent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:33 % sort aboutevent % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:34 sort(aboutevent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:34 sort(aboutevent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:34 % sort desirability: integer % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:35 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:35 subsort(desirability,integer). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:35 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:35 subsort(desirability,integer). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:36 % agent Kate, Lisa % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:37 t(agent,kate). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:37 agent(kate). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:37 t(agent,lisa). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:37 agent(lisa). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:37 % aboutevent WinLotteryKate, WinLotteryLisa % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:38 t(aboutevent,winLotteryKate). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:38 aboutevent(winLotteryKate). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:38 t(aboutevent,winLotteryLisa). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:38 aboutevent(winLotteryLisa). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:39 % fluent Joy(agent,aboutevent) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:40 fluent(joy(agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:40 fluents([joy/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:40 fluents([joy/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:40 meta_argtypes(joy(agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:40 meta_argtypes(joy(agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:40 mpred_prop(joy(agent,aboutevent),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:40 mpred_prop(joy(agent,aboutevent),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:40 meta_argtypes(joy(agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:40 meta_argtypes(joy(agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:40 % fluent Desirability(agent,agent,aboutevent,desirability) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:41 fluent(desirability(agent,agent,aboutevent,desirability)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:41 fluents([desirability/4]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:41 fluents([desirability/4]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:41 meta_argtypes(desirability(agent,agent,aboutevent,desirability)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:41 meta_argtypes(desirability(agent,agent,aboutevent,desirability)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:41 mpred_prop(desirability(agent,agent,aboutevent,desirability),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:41 mpred_prop(desirability(agent,agent,aboutevent,desirability),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:41 meta_argtypes(desirability(agent,agent,aboutevent,desirability)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:41 meta_argtypes(desirability(agent,agent,aboutevent,desirability)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:41 % fluent Believe(agent,aboutevent) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:42 fluent(believe(agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:42 fluents([believe/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:42 fluents([believe/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:42 meta_argtypes(believe(agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:42 meta_argtypes(believe(agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:42 mpred_prop(believe(agent,aboutevent),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:42 mpred_prop(believe(agent,aboutevent),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:42 meta_argtypes(believe(agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:42 meta_argtypes(believe(agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:42 % fluent Like(agent,agent) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:43 fluent(like(agent,agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:43 fluents([like/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:43 fluents([like/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:43 meta_argtypes(like(agent,agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:43 meta_argtypes(like(agent,agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:43 mpred_prop(like(agent,agent),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:43 mpred_prop(like(agent,agent),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:43 meta_argtypes(like(agent,agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:43 meta_argtypes(like(agent,agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:43 % fluent HappyFor(agent,agent,aboutevent) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:44 fluent(happyFor(agent,agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:44 fluents([happyFor/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:44 fluents([happyFor/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:44 meta_argtypes(happyFor(agent,agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:44 meta_argtypes(happyFor(agent,agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:44 mpred_prop(happyFor(agent,agent,aboutevent),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:44 mpred_prop(happyFor(agent,agent,aboutevent),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:44 meta_argtypes(happyFor(agent,agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:44 meta_argtypes(happyFor(agent,agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:45 % event WinLottery(agent) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:46 event(winLottery(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:46 actions([winLottery/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:46 actions([winLottery/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:46 meta_argtypes(winLottery(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:46 meta_argtypes(winLottery(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:46 mpred_prop(winLottery(agent),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:46 mpred_prop(winLottery(agent),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:46 meta_argtypes(winLottery(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:46 meta_argtypes(winLottery(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:46 % event AddJoy(agent,aboutevent) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:47 event(addJoy(agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:47 actions([addJoy/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:47 actions([addJoy/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:47 meta_argtypes(addJoy(agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:47 meta_argtypes(addJoy(agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:47 mpred_prop(addJoy(agent,aboutevent),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:47 mpred_prop(addJoy(agent,aboutevent),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:47 meta_argtypes(addJoy(agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:47 meta_argtypes(addJoy(agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:47 % event AddHappyFor(agent,agent,aboutevent) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:48 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:48 event(addHappyFor(agent,agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:48 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:48 actions([addHappyFor/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:48 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:48 actions([addHappyFor/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:48 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:48 meta_argtypes(addHappyFor(agent,agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:48 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:48 meta_argtypes(addHappyFor(agent,agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:48 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:48 mpred_prop(addHappyFor(agent,agent,aboutevent),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:48 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:48 mpred_prop(addHappyFor(agent,agent,aboutevent),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:48 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:48 meta_argtypes(addHappyFor(agent,agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:48 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:48 meta_argtypes(addHappyFor(agent,agent,aboutevent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:49 %; Sigma % [agent,aboutevent,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:52 % Initiates(AddJoy(agent,aboutevent),Joy(agent,aboutevent),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:52 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(addJoy(Agent, Aboutevent), joy(Agent, Aboutevent), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:52 initiates(addJoy(A,Addjoy), joy(A,Addjoy), Initiates). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:52 initiated(happens(addJoy(A,Addjoy), Maptime, Happens), joy(A,Addjoy), []). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:54 % [agent1,agent2,aboutevent,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:55 % Initiates(AddHappyFor(agent1,agent2,aboutevent), % HappyFor(agent1,agent2,aboutevent), % time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:57 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(addHappyFor(Agent1, Agent2, Aboutevent), happyFor(Agent1, Agent2, Aboutevent), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:57 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:57 initiates(addHappyFor(AddhappyforP_Num3_V, A, Addhappyfor), happyFor(AddhappyforP_Num3_V,A,Addhappyfor), Initiates). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:57 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:57 initiated(happens(addHappyFor(AddhappyforP_Num3_V, A, Addhappyfor), Maptime, Happens), happyFor(AddhappyforP_Num3_V,A,Addhappyfor), []). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:59 % [agent1,agent2,aboutevent,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:60 % (agent1=Kate & aboutevent=WinLotteryKate) | % (agent1=Lisa & aboutevent=WinLotteryLisa) -> % Initiates(WinLottery(agent1),Believe(agent2,aboutevent),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:62 equals(Agent1, kate), equals(Aboutevent, winLotteryKate);equals(Agent1, lisa), equals(Aboutevent, winLotteryLisa) -> initiates(winLottery(Agent1), believe(Agent2, Aboutevent), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:62 reactive_rule([ (equals(Agent1, kate), equals(Aboutevent, winLotteryKate);equals(Agent1, lisa), equals(Aboutevent, winLotteryLisa)) ], [ initiates(winLottery(Agent1), at(believe(Agent2, Aboutevent), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:64 %; Delta % [agent,aboutevent,desirability,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:67 % !HoldsAt(Joy(agent,aboutevent),time) & % HoldsAt(Desirability(agent,agent,aboutevent,desirability),time) & % desirability=1 & % HoldsAt(Believe(agent,aboutevent),time) -> % Happens(AddJoy(agent,aboutevent),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:71 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:71 holds_at(neg(joy(Agent, Aboutevent)), Time), holds_at(desirability(Agent, Agent, Aboutevent, Desirability), Time), equals(Desirability, 1), holds_at(believe(Agent, Aboutevent), Time) -> happens(addJoy(Agent, Aboutevent), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:71 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:71 reactive_rule([ holds(not(joy(Agent,Aboutevent)), Time), holds(desirability(Agent, Agent, Aboutevent, Desirability), Time), equals(Desirability,1), holds(believe(Agent,Aboutevent),Time) ], [ happens(addJoy(Agent,Aboutevent), Time) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:73 % [agent1,agent2,aboutevent,desirability1,desirability2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:74 % !HoldsAt(HappyFor(agent1,agent2,aboutevent),time) & % HoldsAt(Desirability(agent1,agent2,aboutevent,desirability1),time) & % desirability1=1 & % HoldsAt(Desirability(agent1,agent1,aboutevent,desirability2),time) & % desirability2=1 & % HoldsAt(Like(agent1,agent2),time) & % HoldsAt(Believe(agent1,aboutevent),time) & % agent1 != agent2 -> % Happens(AddHappyFor(agent1,agent2,aboutevent),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:82 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:82 holds_at(neg(happyFor(Agent1, Agent2, Aboutevent)), Time), holds_at(desirability(Agent1, Agent2, Aboutevent, Desirability1), Time), equals(Desirability1, 1), holds_at(desirability(Agent1, Agent1, Aboutevent, Desirability2), Time), equals(Desirability2, 1), holds_at(like(Agent1, Agent2), Time), holds_at(believe(Agent1, Aboutevent), Time), diff(Agent1, Agent2) -> happens(addHappyFor(Agent1, Agent2, Aboutevent), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:82 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:82 reactive_rule([ holds(not(happyFor(Agent1, Agent2, Aboutevent)), Time), holds(desirability(Agent1, Agent2, Aboutevent, Desirability1), Time), equals(Desirability1,1), holds(desirability(Agent1, Agent1, Aboutevent, Desirability2), Time), equals(Desirability2,1), holds(like(Agent1,Agent2),Time), holds(believe(Agent1,Aboutevent), Time), diff(Agent1,Agent2) ], [ happens(addHappyFor(Agent1, Agent2, Aboutevent), Time) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:84 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:84 % Happens(WinLottery(Kate),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:84 /* [] -> ta(TaP_Num4_V, tvs1=[start], tvs2=[start], happens(winLottery(kate), start)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:84 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:84 happens(winLottery(kate),start). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:84 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:84 observe(at(winLottery(kate),start)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:84 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:84 observe(at(winLottery(kate),start)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:86 %; Psi % [agent1,agent2,aboutevent,desirability1,desirability2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:89 % HoldsAt(Desirability(agent1,agent2,aboutevent,desirability1),time) & % HoldsAt(Desirability(agent1,agent2,aboutevent,desirability2),time) -> % desirability1 = desirability2. % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:91 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:91 holds_at(desirability(Agent1, Agent2, Aboutevent, Desirability1), Time), holds_at(desirability(Agent1, Agent2, Aboutevent, Desirability2), Time) -> equals(Desirability1, Desirability2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:91 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:91 reactive_rule([ holds(desirability(Agent1, Agent2, Aboutevent, Desirability1), Time), holds(desirability(Agent1, Agent2, Aboutevent, Desirability2), Time) ], [equals(Desirability1,Desirability2)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:93 %; Gamma % [agent,aboutevent] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:95 % !HoldsAt(Joy(agent,aboutevent),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:95 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(joy(Agent, Aboutevent)))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:95 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:95 initially(neg(joy(_,Joy))). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:95 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:95 initial_state([not(joy(_,Joy))]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:96 % [agent1,agent2,aboutevent] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:96 % !HoldsAt(HappyFor(agent1,agent2,aboutevent),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:96 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(happyFor(Agent1, Agent2, Aboutevent)))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:96 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:96 initially(neg(happyFor(HappyforP_Num3_V,_,Happyfor))). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:96 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:96 initial_state([ not(happyFor(HappyforP_Num3_V, _, Happyfor)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:97 % [aboutevent] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:97 % !HoldsAt(Believe(Kate,aboutevent),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:97 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(believe(kate, Aboutevent)))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:97 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:97 initially(neg(believe(kate,Believe))). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:97 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:97 initial_state([not(believe(kate,Believe))]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:98 % [aboutevent] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:98 % !HoldsAt(Believe(Lisa,aboutevent),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:98 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(believe(lisa, Aboutevent)))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:98 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:98 initially(neg(believe(lisa,Believe))). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:98 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:98 initial_state([not(believe(lisa,Believe))]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:99 % [agent1,agent2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:99 % HoldsAt(Like(agent1,agent2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:99 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(like(Agent1, Agent2), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:99 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:99 holds_at(like(_,Like),Time3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:99 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:99 l_int(holds(like(_,Like),Time3),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:101 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:101 % HoldsAt(Desirability(Lisa,Kate,WinLotteryKate,1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:101 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(desirability(lisa, kate, winLotteryKate, 1), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:101 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:101 holds_at(desirability(lisa,kate,winLotteryKate,1),Time1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:101 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:101 l_int(holds(desirability(lisa,kate,winLotteryKate,1),Time1),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:102 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:102 % HoldsAt(Desirability(Kate,Kate,WinLotteryKate,1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:102 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(desirability(kate, kate, winLotteryKate, 1), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:102 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:102 holds_at(desirability(kate,kate,winLotteryKate,1),Time1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:102 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:102 l_int(holds(desirability(kate,kate,winLotteryKate,1),Time1),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:103 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:103 % HoldsAt(Desirability(Lisa,Lisa,WinLotteryKate,1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:103 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(desirability(lisa, lisa, winLotteryKate, 1), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:103 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:103 holds_at(desirability(lisa,lisa,winLotteryKate,1),Time1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:103 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:103 l_int(holds(desirability(lisa,lisa,winLotteryKate,1),Time1),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:104 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:104 % HoldsAt(Desirability(Kate,Kate,WinLotteryLisa,0),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:104 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(desirability(kate, kate, winLotteryLisa, 0), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:104 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:104 holds_at(desirability(kate,kate,winLotteryLisa,0),Time1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:104 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:104 l_int(holds(desirability(kate,kate,winLotteryLisa,0),Time1),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:105 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:105 % HoldsAt(Desirability(Kate,Lisa,WinLotteryLisa,0),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:105 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(desirability(kate, lisa, winLotteryLisa, 0), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:105 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:105 holds_at(desirability(kate,lisa,winLotteryLisa,0),Time1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:105 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:105 l_int(holds(desirability(kate,lisa,winLotteryLisa,0),Time1),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:106 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:106 % HoldsAt(Desirability(Kate,Kate,WinLotteryLisa,0),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:106 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(desirability(kate, kate, winLotteryLisa, 0), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:106 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:106 holds_at(desirability(kate,kate,winLotteryLisa,0),Time1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:106 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:106 l_int(holds(desirability(kate,kate,winLotteryLisa,0),Time1),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:107 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:107 % HoldsAt(Desirability(Kate,Lisa,WinLotteryKate,0),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:107 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(desirability(kate, lisa, winLotteryKate, 0), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:107 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:107 holds_at(desirability(kate,lisa,winLotteryKate,0),Time1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:107 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:107 l_int(holds(desirability(kate,lisa,winLotteryKate,0),Time1),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:108 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:108 % HoldsAt(Desirability(Lisa,Lisa,WinLotteryLisa,0),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:108 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(desirability(lisa, lisa, winLotteryLisa, 0), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:108 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:108 holds_at(desirability(lisa,lisa,winLotteryLisa,0),Time1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:108 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:108 l_int(holds(desirability(lisa,lisa,winLotteryLisa,0),Time1),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:109 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:109 % HoldsAt(Desirability(Lisa,Kate,WinLotteryLisa,1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:109 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(desirability(lisa, kate, winLotteryLisa, 1), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:109 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:109 holds_at(desirability(lisa,kate,winLotteryLisa,1),Time1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:109 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:109 l_int(holds(desirability(lisa,kate,winLotteryLisa,1),Time1),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:111 % completion Happens % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:112 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:112 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:112 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:112 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:113 % range time 0 3 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:114 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:114 range(time,0,3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:114 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:114 range(time,0,3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:114 % range desirability -1 1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:115 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:115 range(desirability,-1,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:115 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:115 range(desirability,-1,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:115 % range offset 1 1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:116 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:116 range(offset,1,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:116 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter11/Lottery.e:116 range(offset,1,1). %; End of file.