:-include(library('ec_planner/ec_test_incl')). :-expects_dialect(pfc). % Tue, 06 Oct 2020 04:58:20 GMT % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.pel:4 /* loading(load_e_pl, '/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.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 %; %; Example: Telephone %; %; @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/Exercises/TelephoneBugs.e:21 % load foundations/Root.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:22 % load foundations/EC.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:24 % sort agent % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:25 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:25 sort(agent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:25 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:25 sort(agent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:25 % sort phone % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:26 sort(phone). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:26 sort(phone). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:27 % agent Agent1, Agent2 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:28 t(agent,agent1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:28 agent(agent1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:28 t(agent,agent2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:28 agent(agent2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:28 % phone Phone1, Phone2 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:29 t(phone,phone1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:29 phone(phone1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:29 t(phone,phone2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:29 phone(phone2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:30 % fluent Ringing(phone,phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:31 fluent(ringing(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:31 fluents([ringing/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:31 fluents([ringing/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:31 meta_argtypes(ringing(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:31 meta_argtypes(ringing(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:31 mpred_prop(ringing(phone,phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:31 mpred_prop(ringing(phone,phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:31 meta_argtypes(ringing(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:31 meta_argtypes(ringing(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:31 % fluent DialTone(phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:32 fluent(dialTone(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:32 fluents([dialTone/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:32 fluents([dialTone/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:32 meta_argtypes(dialTone(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:32 meta_argtypes(dialTone(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:32 mpred_prop(dialTone(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:32 mpred_prop(dialTone(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:32 meta_argtypes(dialTone(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:32 meta_argtypes(dialTone(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:32 % fluent BusySignal(phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:33 fluent(busySignal(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:33 fluents([busySignal/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:33 fluents([busySignal/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:33 meta_argtypes(busySignal(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:33 meta_argtypes(busySignal(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:33 mpred_prop(busySignal(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:33 mpred_prop(busySignal(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:33 meta_argtypes(busySignal(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:33 meta_argtypes(busySignal(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:33 % fluent Idle(phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:34 fluent(idle(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:34 fluents([idle/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:34 fluents([idle/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:34 meta_argtypes(idle(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:34 meta_argtypes(idle(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:34 mpred_prop(idle(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:34 mpred_prop(idle(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:34 meta_argtypes(idle(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:34 meta_argtypes(idle(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:34 % fluent Connected(phone,phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:35 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:35 fluent(connected(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:35 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:35 fluents([connected/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:35 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:35 fluents([connected/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:35 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:35 meta_argtypes(connected(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:35 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:35 meta_argtypes(connected(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:35 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:35 mpred_prop(connected(phone,phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:35 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:35 mpred_prop(connected(phone,phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:35 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:35 meta_argtypes(connected(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:35 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:35 meta_argtypes(connected(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:35 % fluent Disconnected(phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:36 fluent(disconnected(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:36 fluents([disconnected/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:36 fluents([disconnected/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:36 meta_argtypes(disconnected(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:36 meta_argtypes(disconnected(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:36 mpred_prop(disconnected(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:36 mpred_prop(disconnected(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:36 meta_argtypes(disconnected(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:36 meta_argtypes(disconnected(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:37 % event PickUp(agent,phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:38 event(pickUp(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:38 actions([pickUp/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:38 actions([pickUp/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:38 meta_argtypes(pickUp(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:38 meta_argtypes(pickUp(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:38 mpred_prop(pickUp(agent,phone),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:38 mpred_prop(pickUp(agent,phone),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:38 meta_argtypes(pickUp(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:38 meta_argtypes(pickUp(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:38 % event SetDown(agent,phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:39 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:39 event(setDown(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:39 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:39 actions([setDown/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:39 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:39 actions([setDown/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:39 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:39 meta_argtypes(setDown(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:39 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:39 meta_argtypes(setDown(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:39 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:39 mpred_prop(setDown(agent,phone),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:39 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:39 mpred_prop(setDown(agent,phone),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:39 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:39 meta_argtypes(setDown(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:39 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:39 meta_argtypes(setDown(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:39 % event Dial(agent,phone,phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:40 event(dial(agent,phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:40 actions([dial/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:40 actions([dial/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:40 meta_argtypes(dial(agent,phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:40 meta_argtypes(dial(agent,phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:40 mpred_prop(dial(agent,phone,phone),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:40 mpred_prop(dial(agent,phone,phone),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:40 meta_argtypes(dial(agent,phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:40 meta_argtypes(dial(agent,phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:41 %; Sigma % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:44 % HoldsAt(Idle(phone),time) -> % Initiates(PickUp(agent,phone),DialTone(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:45 holds_at(idle(Phone), Time) -> initiates(pickUp(Agent, Phone), dialTone(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:45 reactive_rule([holds(idle(Phone),Time)], [ initiates(pickUp(Agent,Phone), at(dialTone(Phone),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:47 % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:48 % HoldsAt(Idle(phone),time) -> % Terminates(PickUp(agent,phone),Idle(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:49 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:49 holds_at(idle(Phone), Time) -> terminates(pickUp(Agent, Phone), idle(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:49 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:49 reactive_rule([holds(idle(Phone),Time)], [ terminates(pickUp(Agent,Phone), at(idle(Phone),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:51 % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:52 % HoldsAt(DialTone(phone),time) -> % Initiates(SetDown(agent,phone),Idle(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:53 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:53 holds_at(dialTone(Phone), Time) -> initiates(setDown(Agent, Phone), idle(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:53 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:53 reactive_rule([holds(dialTone(Phone),Time)], [ initiates(setDown(Agent,Phone), at(idle(Phone),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:55 % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:56 % HoldsAt(DialTone(phone),time) -> % Terminates(SetDown(agent,phone),DialTone(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:57 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:57 holds_at(dialTone(Phone), Time) -> terminates(setDown(Agent, Phone), dialTone(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:57 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:57 reactive_rule([holds(dialTone(Phone),Time)], [ terminates(setDown(Agent,Phone), at(dialTone(Phone),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:59 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:60 % HoldsAt(DialTone(phone1),time) & % HoldsAt(Idle(phone2),time) -> % Initiates(Dial(agent,phone1,phone2),Ringing(phone1,phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:62 holds_at(dialTone(Phone1), Time), holds_at(idle(Phone2), Time) -> initiates(dial(Agent, Phone1, Phone2), ringing(Phone1, Phone2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:62 reactive_rule([ holds(dialTone(Phone1),Time), holds(idle(Phone2),Time) ], [ initiates(dial(Agent,Phone1,Phone2), at(ringing(Phone1,Phone2), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:64 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:65 % HoldsAt(DialTone(phone1),time) & % HoldsAt(Idle(phone2),time) -> % Terminates(Dial(agent,phone1,phone2),DialTone(phone1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:67 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:67 holds_at(dialTone(Phone1), Time), holds_at(idle(Phone2), Time) -> terminates(dial(Agent, Phone1, Phone2), dialTone(Phone1), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:67 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:67 reactive_rule([ holds(dialTone(Phone1),Time), holds(idle(Phone2),Time) ], [ terminates(dial(Agent,Phone1,Phone2), at(dialTone(Phone1),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:69 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:70 % HoldsAt(DialTone(phone1),time) & % HoldsAt(Idle(phone2),time) -> % Terminates(Dial(agent,phone1,phone2),Idle(phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:72 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:72 holds_at(dialTone(Phone1), Time), holds_at(idle(Phone2), Time) -> terminates(dial(Agent, Phone1, Phone2), idle(Phone2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:72 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:72 reactive_rule([ holds(dialTone(Phone1),Time), holds(idle(Phone2),Time) ], [ terminates(dial(Agent,Phone1,Phone2), at(idle(Phone2),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:74 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:75 % HoldsAt(DialTone(phone1),time) & % !HoldsAt(Idle(phone2),time) -> % Initiates(Dial(agent,phone1,phone2),BusySignal(phone1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:77 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:77 holds_at(dialTone(Phone1), Time), holds_at(neg(idle(Phone2)), Time) -> initiates(dial(Agent, Phone1, Phone2), busySignal(Phone1), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:77 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:77 reactive_rule([ holds(dialTone(Phone1),Time), holds(not(idle(Phone2)),Time) ], [ initiates(dial(Agent,Phone1,Phone2), at(busySignal(Phone1),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:79 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:80 % HoldsAt(DialTone(phone1),time) & % !HoldsAt(Idle(phone2),time) -> % Terminates(Dial(agent,phone1,phone2),DialTone(phone1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:82 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:82 holds_at(dialTone(Phone1), Time), holds_at(neg(idle(Phone2)), Time) -> terminates(dial(Agent, Phone1, Phone2), dialTone(Phone1), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:82 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:82 reactive_rule([ holds(dialTone(Phone1),Time), holds(not(idle(Phone2)),Time) ], [ terminates(dial(Agent,Phone1,Phone2), at(dialTone(Phone1),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:84 % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:85 % HoldsAt(BusySignal(phone),time) -> % Initiates(SetDown(agent,phone),Idle(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:86 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:86 holds_at(busySignal(Phone), Time) -> initiates(setDown(Agent, Phone), idle(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:86 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:86 reactive_rule([holds(busySignal(Phone),Time)], [ initiates(setDown(Agent,Phone), at(idle(Phone),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:88 % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:89 % HoldsAt(BusySignal(phone),time) -> % Terminates(SetDown(agent,phone),BusySignal(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:90 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:90 holds_at(busySignal(Phone), Time) -> terminates(setDown(Agent, Phone), busySignal(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:90 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:90 reactive_rule([holds(busySignal(Phone),Time)], [ terminates(setDown(Agent,Phone), at(busySignal(Phone),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:92 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:93 % HoldsAt(Ringing(phone1,phone2),time) -> % Initiates(SetDown(agent,phone1),Idle(phone1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:94 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:94 holds_at(ringing(Phone1, Phone2), Time) -> initiates(setDown(Agent, Phone1), idle(Phone1), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:94 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:94 reactive_rule([holds(ringing(Phone1,Phone2),Time)], [ initiates(setDown(Agent,Phone1), at(idle(Phone1),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:96 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:97 % HoldsAt(Ringing(phone1,phone2),time) -> % Initiates(SetDown(agent,phone1),Idle(phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:98 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:98 holds_at(ringing(Phone1, Phone2), Time) -> initiates(setDown(Agent, Phone1), idle(Phone2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:98 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:98 reactive_rule([holds(ringing(Phone1,Phone2),Time)], [ initiates(setDown(Agent,Phone1), at(idle(Phone2),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:100 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:101 % HoldsAt(Ringing(phone1,phone2),time) -> % Terminates(SetDown(agent,phone1),Ringing(phone1,phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:102 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:102 holds_at(ringing(Phone1, Phone2), Time) -> terminates(setDown(Agent, Phone1), ringing(Phone1, Phone2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:102 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:102 reactive_rule([holds(ringing(Phone1,Phone2),Time)], [ terminates(setDown(Agent,Phone1), at(ringing(Phone1,Phone2), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:104 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:105 % HoldsAt(Ringing(phone1,phone2),time) -> % Initiates(PickUp(agent,phone2),Connected(phone1,phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:106 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:106 holds_at(ringing(Phone1, Phone2), Time) -> initiates(pickUp(Agent, Phone2), connected(Phone1, Phone2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:106 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:106 reactive_rule([holds(ringing(Phone1,Phone2),Time)], [ initiates(pickUp(Agent,Phone2), at(connected(Phone1,Phone2), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:108 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:109 % HoldsAt(Ringing(phone1,phone2),time) -> % Terminates(PickUp(agent,phone2),Ringing(phone1,phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:110 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:110 holds_at(ringing(Phone1, Phone2), Time) -> terminates(pickUp(Agent, Phone2), ringing(Phone1, Phone2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:110 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:110 reactive_rule([holds(ringing(Phone1,Phone2),Time)], [ terminates(pickUp(Agent,Phone2), at(ringing(Phone1,Phone2), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:112 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:113 % HoldsAt(Connected(phone1,phone2),time) -> % Initiates(SetDown(agent,phone1),Idle(phone1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:114 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:114 holds_at(connected(Phone1, Phone2), Time) -> initiates(setDown(Agent, Phone1), idle(Phone1), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:114 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:114 reactive_rule([holds(connected(Phone1,Phone2),Time)], [ initiates(setDown(Agent,Phone1), at(idle(Phone1),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:116 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:117 % HoldsAt(Connected(phone1,phone2),time) -> % Initiates(SetDown(agent,phone1),Disconnected(phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:118 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:118 holds_at(connected(Phone1, Phone2), Time) -> initiates(setDown(Agent, Phone1), disconnected(Phone2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:118 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:118 reactive_rule([holds(connected(Phone1,Phone2),Time)], [ initiates(setDown(Agent,Phone1), at(disconnected(Phone2),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:120 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:121 % HoldsAt(Connected(phone1,phone2),time) -> % Terminates(SetDown(agent,phone1),Connected(phone1,phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:122 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:122 holds_at(connected(Phone1, Phone2), Time) -> terminates(setDown(Agent, Phone1), connected(Phone1, Phone2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:122 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:122 reactive_rule([holds(connected(Phone1,Phone2),Time)], [ terminates(setDown(Agent,Phone1), at(connected(Phone1,Phone2), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:124 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:125 % HoldsAt(Connected(phone1,phone2),time) -> % Initiates(SetDown(agent,phone2),Idle(phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:126 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:126 holds_at(connected(Phone1, Phone2), Time) -> initiates(setDown(Agent, Phone2), idle(Phone2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:126 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:126 reactive_rule([holds(connected(Phone1,Phone2),Time)], [ initiates(setDown(Agent,Phone2), at(idle(Phone2),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:128 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:129 % HoldsAt(Connected(phone1,phone2),time) -> % Initiates(SetDown(agent,phone2),Disconnected(phone1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:130 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:130 holds_at(connected(Phone1, Phone2), Time) -> initiates(setDown(Agent, Phone2), disconnected(Phone1), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:130 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:130 reactive_rule([holds(connected(Phone1,Phone2),Time)], [ initiates(setDown(Agent,Phone2), at(disconnected(Phone1),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:132 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:133 % HoldsAt(Connected(phone1,phone2),time) -> % Terminates(SetDown(agent,phone2),Connected(phone1,phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:134 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:134 holds_at(connected(Phone1, Phone2), Time) -> terminates(setDown(Agent, Phone2), connected(Phone1, Phone2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:134 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:134 reactive_rule([holds(connected(Phone1,Phone2),Time)], [ terminates(setDown(Agent,Phone2), at(connected(Phone1,Phone2), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:136 % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:137 % HoldsAt(Disconnected(phone),time) -> % Initiates(SetDown(agent,phone),Idle(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:138 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:138 holds_at(disconnected(Phone), Time) -> initiates(setDown(Agent, Phone), idle(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:138 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:138 reactive_rule([holds(disconnected(Phone),Time)], [ initiates(setDown(Agent,Phone), at(idle(Phone),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:140 % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:141 % HoldsAt(Disconnected(phone),time) -> % Terminates(SetDown(agent,phone),Disconnected(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:142 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:142 holds_at(disconnected(Phone), Time) -> terminates(setDown(Agent, Phone), disconnected(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:142 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:142 reactive_rule([holds(disconnected(Phone),Time)], [ terminates(setDown(Agent,Phone), at(disconnected(Phone),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:144 %; Delta %; (1) Two agents dial each other simultaneously without first %; picking up phone. % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:148 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:148 % Happens(Dial(Agent1,Phone1,Phone2),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:148 /* [] -> ta(TaP_Num4_V, tvs1=[start], tvs2=[start], happens(dial(agent1, phone1, phone2), start)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:148 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:148 happens(dial(agent1,phone1,phone2),start). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:148 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:148 observe(at(dial(agent1,phone1,phone2),start)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:148 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:148 observe(at(dial(agent1,phone1,phone2),start)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:149 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:149 % Happens(Dial(Agent2,Phone2,Phone1),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:149 /* [] -> ta(TaP_Num4_V, tvs1=[start], tvs2=[start], happens(dial(agent2, phone2, phone1), start)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:149 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:149 happens(dial(agent2,phone2,phone1),start). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:149 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:149 observe(at(dial(agent2,phone2,phone1),start)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:149 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:149 observe(at(dial(agent2,phone2,phone1),start)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:151 %; (2) Two agents dial each other simultaneously. % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:152 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:152 % Happens(PickUp(Agent1,Phone1),1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:152 /* [b(start, Maptime), ignore(start+1==Maptime)] -> ta(TaP_Num4_V, tvs1=[start+1], tvs2=[Maptime, start], happens(pickUp(agent1, phone1), Maptime)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:152 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:152 b(start, Maptime2) -> happens(pickUp(agent1, phone1), Maptime2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:152 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:152 reactive_rule([b(start,Maptime2)], [happens(pickUp(agent1,phone1),Maptime2)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:153 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:153 % Happens(PickUp(Agent2,Phone2),1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:153 /* [b(start, Maptime), ignore(start+1==Maptime)] -> ta(TaP_Num4_V, tvs1=[start+1], tvs2=[Maptime, start], happens(pickUp(agent2, phone2), Maptime)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:153 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:153 b(start, Maptime2) -> happens(pickUp(agent2, phone2), Maptime2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:153 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:153 reactive_rule([b(start,Maptime2)], [happens(pickUp(agent2,phone2),Maptime2)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:154 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:154 % Happens(Dial(Agent1,Phone1,Phone2),2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:154 /* [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(dial(agent1, phone1, phone2), Start_Num2)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:154 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:154 b(start, Maptime), toffset(start, 2, Maptime) -> happens(dial(agent1, phone1, phone2), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:154 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:154 reactive_rule([b(start,Maptime),toffset(start,2,Maptime)], [happens(dial(agent1,phone1,phone2),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:155 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:155 % Happens(Dial(Agent2,Phone2,Phone1),2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:155 /* [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(dial(agent2, phone2, phone1), Start_Num2)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:155 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:155 b(start, Maptime), toffset(start, 2, Maptime) -> happens(dial(agent2, phone2, phone1), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:155 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:155 reactive_rule([b(start,Maptime),toffset(start,2,Maptime)], [happens(dial(agent2,phone2,phone1),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:156 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:156 % Happens(SetDown(Agent1,Phone1),3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:156 /* [b(start, Start_Num3), toffset(start, 3, Start_Num3), ignore(start+3==Start_Num3)] -> ta(TaP_Num4_V, tvs1=[start+3], tvs2=[Start_Num3, start], happens(setDown(agent1, phone1), Start_Num3)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:156 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:156 b(start, Maptime), toffset(start, 3, Maptime) -> happens(setDown(agent1, phone1), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:156 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:156 reactive_rule([b(start,Maptime),toffset(start,3,Maptime)], [happens(setDown(agent1,phone1),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:157 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:157 % Happens(SetDown(Agent2,Phone2),3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:157 /* [b(start, Start_Num3), toffset(start, 3, Start_Num3), ignore(start+3==Start_Num3)] -> ta(TaP_Num4_V, tvs1=[start+3], tvs2=[Start_Num3, start], happens(setDown(agent2, phone2), Start_Num3)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:157 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:157 b(start, Maptime), toffset(start, 3, Maptime) -> happens(setDown(agent2, phone2), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:157 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:157 reactive_rule([b(start,Maptime),toffset(start,3,Maptime)], [happens(setDown(agent2,phone2),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:159 %; (3) One agent dials another agent just as the other %; agent picks up the phone. % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:161 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:161 % Happens(PickUp(Agent1,Phone1),4). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:161 /* [b(start, Start_Num4), toffset(start, 4, Start_Num4), ignore(start+4==Start_Num4)] -> ta(TaP_Num4_V, tvs1=[start+4], tvs2=[Start_Num4, start], happens(pickUp(agent1, phone1), Start_Num4)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:161 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:161 b(start, Maptime), toffset(start, 4, Maptime) -> happens(pickUp(agent1, phone1), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:161 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:161 reactive_rule([b(start,Maptime),toffset(start,4,Maptime)], [happens(pickUp(agent1,phone1),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:162 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:162 % Happens(Dial(Agent1,Phone1,Phone2),5). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:162 /* [b(start, Start_Num5), toffset(start, 5, Start_Num5), ignore(start+5==Start_Num5)] -> ta(TaP_Num4_V, tvs1=[start+5], tvs2=[Start_Num5, start], happens(dial(agent1, phone1, phone2), Start_Num5)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:162 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:162 b(start, Maptime), toffset(start, 5, Maptime) -> happens(dial(agent1, phone1, phone2), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:162 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:162 reactive_rule([b(start,Maptime),toffset(start,5,Maptime)], [happens(dial(agent1,phone1,phone2),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:163 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:163 % Happens(PickUp(Agent2,Phone2),5). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:163 /* [b(start, Start_Num5), toffset(start, 5, Start_Num5), ignore(start+5==Start_Num5)] -> ta(TaP_Num4_V, tvs1=[start+5], tvs2=[Start_Num5, start], happens(pickUp(agent2, phone2), Start_Num5)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:163 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:163 b(start, Maptime), toffset(start, 5, Maptime) -> happens(pickUp(agent2, phone2), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:163 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:163 reactive_rule([b(start,Maptime),toffset(start,5,Maptime)], [happens(pickUp(agent2,phone2),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:165 %; Psi % [phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:168 % !HoldsAt(Ringing(phone,phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:168 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(neg(ringing(Phone, Phone)), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:168 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:168 holds_at(neg(ringing(Ringing,Ringing)),Time2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:168 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:168 l_int(holds(not(ringing(Ringing,Ringing)),Time2),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:170 % [phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:171 % HoldsAt(Ringing(phone1,phone2),time) & % phone1!=phone2 -> % !HoldsAt(Ringing(phone2,phone1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:173 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:173 holds_at(ringing(Phone1, Phone2), Time), diff(Phone1, Phone2) -> holds_at(neg(ringing(Phone2, Phone1)), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:173 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:173 reactive_rule([ holds(ringing(Phone1,Phone2),Time), diff(Phone1,Phone2) ], [ holds(not(ringing(Phone2,Phone1)), Time) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:175 % [phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:176 % !HoldsAt(Connected(phone,phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:176 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(neg(connected(Phone, Phone)), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:176 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:176 holds_at(neg(connected(Connected,Connected)),Time2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:176 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:176 l_int(holds(not(connected(Connected,Connected)), Time2), []). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:178 % [phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:179 % HoldsAt(Connected(phone1,phone2),time) & % phone1!=phone2 -> % !HoldsAt(Connected(phone2,phone1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:181 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:181 holds_at(connected(Phone1, Phone2), Time), diff(Phone1, Phone2) -> holds_at(neg(connected(Phone2, Phone1)), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:181 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:181 reactive_rule([ holds(connected(Phone1,Phone2),Time), diff(Phone1,Phone2) ], [ holds(not(connected(Phone2,Phone1)), Time) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:183 % mutex Idle, DialTone, BusySignal, Disconnected % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 /* fix_axiom_head(Time) -> [mutex(idle), ->, holds_at(mutex(idle), Time)]. */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(mutex(idle), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 holds_at(mutex(idle),Time1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 l_int(holds(mutex(idle),Time1),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 /* fix_axiom_head(Time2) -> [mutex(dialTone), ->, holds_at(mutex(dialTone), Time2)]. */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 /* [] -> ta(Time2, tvs1=[Time2], tvs2=[Time2], holds_at(mutex(dialTone), Time2)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 holds_at(mutex(dialTone),Time3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 l_int(holds(mutex(dialTone),Time3),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 /* fix_axiom_head(Time4) -> [mutex(busySignal), ->, holds_at(mutex(busySignal), Time4)]. */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 /* [] -> ta(Time4, tvs1=[Time4], tvs2=[Time4], holds_at(mutex(busySignal), Time4)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 holds_at(mutex(busySignal),Time5). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 l_int(holds(mutex(busySignal),Time5),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 /* fix_axiom_head(Time6) -> [mutex(disconnected), ->, holds_at(mutex(disconnected), Time6)]. */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 /* [] -> ta(Time6, tvs1=[Time6], tvs2=[Time6], holds_at(mutex(disconnected), Time6)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 holds_at(mutex(disconnected),Time7). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:184 l_int(holds(mutex(disconnected),Time7),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:185 % [phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:186 % HoldsAt(Idle(phone1),time) -> % !HoldsAt(Ringing(phone1,phone2),time) & % !HoldsAt(Connected(phone1,phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:188 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:188 holds_at(idle(Phone1), Time) -> holds_at(neg(ringing(Phone1, Phone2)), Time), holds_at(neg(connected(Phone1, Phone2)), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:188 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:188 reactive_rule([holds(idle(Phone1),Time)], [ holds(not(ringing(Phone1,Phone2)), Time), holds(not(connected(Phone1,Phone2)), Time) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:190 %; contradicts (3) above: %;[phone1,phone2,time] %;HoldsAt(DialTone(phone2),time) -> %;!HoldsAt(Ringing(phone1,phone2),time) & %;!HoldsAt(Connected(phone1,phone2),time). %; etc. %; Gamma % [phone] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:200 % HoldsAt(Idle(phone),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:200 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(idle(Phone))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:200 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:200 initially(idle(Idle)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:200 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:200 initial_state([idle(Idle)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:202 % completion Happens % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:203 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:203 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:203 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:203 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:204 % range time 0 6 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:205 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:205 range(time,0,6). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:205 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:205 range(time,0,6). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:205 % range offset 1 1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:206 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:206 range(offset,1,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:206 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/TelephoneBugs.e:206 range(offset,1,1). %; End of file.