:-include(library('ec_planner/ec_test_incl')). :-expects_dialect(pfc). % Tue, 06 Oct 2020 04:57:58 GMT % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.pel:4 /* loading(load_e_pl, '/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.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{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/Chapter3/Telephone2.e:19 % load foundations/Root.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:20 % load foundations/EC.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:22 % sort agent % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:23 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:23 sort(agent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:23 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:23 sort(agent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:23 % sort phone % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:24 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:24 sort(phone). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:24 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:24 sort(phone). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:25 % agent Agent1, Agent2 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:26 t(agent,agent1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:26 agent(agent1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:26 t(agent,agent2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:26 agent(agent2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:26 % phone Phone1, Phone2 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:27 t(phone,phone1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:27 phone(phone1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:27 t(phone,phone2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:27 phone(phone2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:28 % fluent Ringing(phone,phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:29 fluent(ringing(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:29 fluents([ringing/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:29 fluents([ringing/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:29 meta_argtypes(ringing(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:29 meta_argtypes(ringing(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:29 mpred_prop(ringing(phone,phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:29 mpred_prop(ringing(phone,phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:29 meta_argtypes(ringing(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:29 meta_argtypes(ringing(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:29 % fluent DialTone(phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:30 fluent(dialTone(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:30 fluents([dialTone/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:30 fluents([dialTone/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:30 meta_argtypes(dialTone(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:30 meta_argtypes(dialTone(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:30 mpred_prop(dialTone(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:30 mpred_prop(dialTone(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:30 meta_argtypes(dialTone(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:30 meta_argtypes(dialTone(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:30 % fluent BusySignal(phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:31 fluent(busySignal(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:31 fluents([busySignal/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:31 fluents([busySignal/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:31 meta_argtypes(busySignal(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:31 meta_argtypes(busySignal(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:31 mpred_prop(busySignal(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:31 mpred_prop(busySignal(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:31 meta_argtypes(busySignal(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:31 meta_argtypes(busySignal(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:31 % fluent Idle(phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:32 fluent(idle(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:32 fluents([idle/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:32 fluents([idle/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:32 meta_argtypes(idle(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:32 meta_argtypes(idle(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:32 mpred_prop(idle(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:32 mpred_prop(idle(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:32 meta_argtypes(idle(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:32 meta_argtypes(idle(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:32 % fluent Connected(phone,phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:33 fluent(connected(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:33 fluents([connected/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:33 fluents([connected/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:33 meta_argtypes(connected(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:33 meta_argtypes(connected(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:33 mpred_prop(connected(phone,phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:33 mpred_prop(connected(phone,phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:33 meta_argtypes(connected(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:33 meta_argtypes(connected(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:33 % fluent Disconnected(phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:34 fluent(disconnected(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:34 fluents([disconnected/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:34 fluents([disconnected/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:34 meta_argtypes(disconnected(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:34 meta_argtypes(disconnected(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:34 mpred_prop(disconnected(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:34 mpred_prop(disconnected(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:34 meta_argtypes(disconnected(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:34 meta_argtypes(disconnected(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:35 % event PickUp(agent,phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:36 event(pickUp(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:36 actions([pickUp/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:36 actions([pickUp/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:36 meta_argtypes(pickUp(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:36 meta_argtypes(pickUp(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:36 mpred_prop(pickUp(agent,phone),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:36 mpred_prop(pickUp(agent,phone),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:36 meta_argtypes(pickUp(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:36 meta_argtypes(pickUp(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:36 % event SetDown(agent,phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:37 event(setDown(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:37 actions([setDown/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:37 actions([setDown/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:37 meta_argtypes(setDown(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:37 meta_argtypes(setDown(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:37 mpred_prop(setDown(agent,phone),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:37 mpred_prop(setDown(agent,phone),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:37 meta_argtypes(setDown(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:37 meta_argtypes(setDown(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:37 % event Dial(agent,phone,phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:38 event(dial(agent,phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:38 actions([dial/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:38 actions([dial/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:38 meta_argtypes(dial(agent,phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:38 meta_argtypes(dial(agent,phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:38 mpred_prop(dial(agent,phone,phone),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:38 mpred_prop(dial(agent,phone,phone),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:38 meta_argtypes(dial(agent,phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:38 meta_argtypes(dial(agent,phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:39 %; Sigma % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:42 % HoldsAt(Idle(phone),time) -> % Initiates(PickUp(agent,phone),DialTone(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:43 holds_at(idle(Phone), Time) -> initiates(pickUp(Agent, Phone), dialTone(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:43 reactive_rule([holds(idle(Phone),Time)], [ initiates(pickUp(Agent,Phone), at(dialTone(Phone),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:45 % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:46 % HoldsAt(Idle(phone),time) -> % Terminates(PickUp(agent,phone),Idle(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:47 holds_at(idle(Phone), Time) -> terminates(pickUp(Agent, Phone), idle(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:47 reactive_rule([holds(idle(Phone),Time)], [ terminates(pickUp(Agent,Phone), at(idle(Phone),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:49 % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:50 % HoldsAt(DialTone(phone),time) -> % Initiates(SetDown(agent,phone),Idle(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:51 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:51 holds_at(dialTone(Phone), Time) -> initiates(setDown(Agent, Phone), idle(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:51 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:51 reactive_rule([holds(dialTone(Phone),Time)], [ initiates(setDown(Agent,Phone), at(idle(Phone),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:53 % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:54 % HoldsAt(DialTone(phone),time) -> % Terminates(SetDown(agent,phone),DialTone(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:55 holds_at(dialTone(Phone), Time) -> terminates(setDown(Agent, Phone), dialTone(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:55 reactive_rule([holds(dialTone(Phone),Time)], [ terminates(setDown(Agent,Phone), at(dialTone(Phone),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:57 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:58 % 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/Chapter3/Telephone2.e:60 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:60 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/Chapter3/Telephone2.e:60 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:60 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/Chapter3/Telephone2.e:62 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:63 % 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/Chapter3/Telephone2.e:65 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:65 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/Chapter3/Telephone2.e:65 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:65 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/Chapter3/Telephone2.e:67 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:68 % 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/Chapter3/Telephone2.e:70 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:70 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/Chapter3/Telephone2.e:70 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:70 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/Chapter3/Telephone2.e:72 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:73 % 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/Chapter3/Telephone2.e:75 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:75 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/Chapter3/Telephone2.e:75 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:75 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/Chapter3/Telephone2.e:77 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:78 % 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/Chapter3/Telephone2.e:80 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:80 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/Chapter3/Telephone2.e:80 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:80 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/Chapter3/Telephone2.e:82 % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:83 % HoldsAt(BusySignal(phone),time) -> % Initiates(SetDown(agent,phone),Idle(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:84 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:84 holds_at(busySignal(Phone), Time) -> initiates(setDown(Agent, Phone), idle(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:84 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:84 reactive_rule([holds(busySignal(Phone),Time)], [ initiates(setDown(Agent,Phone), at(idle(Phone),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:86 % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:87 % HoldsAt(BusySignal(phone),time) -> % Terminates(SetDown(agent,phone),BusySignal(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:88 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:88 holds_at(busySignal(Phone), Time) -> terminates(setDown(Agent, Phone), busySignal(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:88 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:88 reactive_rule([holds(busySignal(Phone),Time)], [ terminates(setDown(Agent,Phone), at(busySignal(Phone),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:90 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:91 % HoldsAt(Ringing(phone1,phone2),time) -> % Initiates(SetDown(agent,phone1),Idle(phone1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:92 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:92 holds_at(ringing(Phone1, Phone2), Time) -> initiates(setDown(Agent, Phone1), idle(Phone1), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:92 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:92 reactive_rule([holds(ringing(Phone1,Phone2),Time)], [ initiates(setDown(Agent,Phone1), at(idle(Phone1),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:94 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:95 % HoldsAt(Ringing(phone1,phone2),time) -> % Initiates(SetDown(agent,phone1),Idle(phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:96 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:96 holds_at(ringing(Phone1, Phone2), Time) -> initiates(setDown(Agent, Phone1), idle(Phone2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:96 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:96 reactive_rule([holds(ringing(Phone1,Phone2),Time)], [ initiates(setDown(Agent,Phone1), at(idle(Phone2),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:98 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:99 % HoldsAt(Ringing(phone1,phone2),time) -> % Terminates(SetDown(agent,phone1),Ringing(phone1,phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:100 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:100 holds_at(ringing(Phone1, Phone2), Time) -> terminates(setDown(Agent, Phone1), ringing(Phone1, Phone2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:100 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:100 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/Chapter3/Telephone2.e:102 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:103 % HoldsAt(Ringing(phone1,phone2),time) -> % Initiates(PickUp(agent,phone2),Connected(phone1,phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:104 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:104 holds_at(ringing(Phone1, Phone2), Time) -> initiates(pickUp(Agent, Phone2), connected(Phone1, Phone2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:104 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:104 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/Chapter3/Telephone2.e:106 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:107 % HoldsAt(Ringing(phone1,phone2),time) -> % Terminates(PickUp(agent,phone2),Ringing(phone1,phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:108 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:108 holds_at(ringing(Phone1, Phone2), Time) -> terminates(pickUp(Agent, Phone2), ringing(Phone1, Phone2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:108 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:108 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/Chapter3/Telephone2.e:110 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:111 % HoldsAt(Connected(phone1,phone2),time) -> % Initiates(SetDown(agent,phone1),Idle(phone1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:112 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:112 holds_at(connected(Phone1, Phone2), Time) -> initiates(setDown(Agent, Phone1), idle(Phone1), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:112 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:112 reactive_rule([holds(connected(Phone1,Phone2),Time)], [ initiates(setDown(Agent,Phone1), at(idle(Phone1),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:114 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:115 % HoldsAt(Connected(phone1,phone2),time) -> % Initiates(SetDown(agent,phone1),Disconnected(phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:116 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:116 holds_at(connected(Phone1, Phone2), Time) -> initiates(setDown(Agent, Phone1), disconnected(Phone2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:116 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:116 reactive_rule([holds(connected(Phone1,Phone2),Time)], [ initiates(setDown(Agent,Phone1), at(disconnected(Phone2),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:118 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:119 % HoldsAt(Connected(phone1,phone2),time) -> % Terminates(SetDown(agent,phone1),Connected(phone1,phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:120 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:120 holds_at(connected(Phone1, Phone2), Time) -> terminates(setDown(Agent, Phone1), connected(Phone1, Phone2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:120 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:120 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/Chapter3/Telephone2.e:122 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:123 % HoldsAt(Connected(phone1,phone2),time) -> % Initiates(SetDown(agent,phone2),Idle(phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:124 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:124 holds_at(connected(Phone1, Phone2), Time) -> initiates(setDown(Agent, Phone2), idle(Phone2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:124 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:124 reactive_rule([holds(connected(Phone1,Phone2),Time)], [ initiates(setDown(Agent,Phone2), at(idle(Phone2),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:126 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:127 % HoldsAt(Connected(phone1,phone2),time) -> % Initiates(SetDown(agent,phone2),Disconnected(phone1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:128 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:128 holds_at(connected(Phone1, Phone2), Time) -> initiates(setDown(Agent, Phone2), disconnected(Phone1), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:128 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:128 reactive_rule([holds(connected(Phone1,Phone2),Time)], [ initiates(setDown(Agent,Phone2), at(disconnected(Phone1),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:130 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:131 % HoldsAt(Connected(phone1,phone2),time) -> % Terminates(SetDown(agent,phone2),Connected(phone1,phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:132 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:132 holds_at(connected(Phone1, Phone2), Time) -> terminates(setDown(Agent, Phone2), connected(Phone1, Phone2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:132 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:132 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/Chapter3/Telephone2.e:134 % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:135 % HoldsAt(Disconnected(phone),time) -> % Initiates(SetDown(agent,phone),Idle(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:136 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:136 holds_at(disconnected(Phone), Time) -> initiates(setDown(Agent, Phone), idle(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:136 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:136 reactive_rule([holds(disconnected(Phone),Time)], [ initiates(setDown(Agent,Phone), at(idle(Phone),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:138 % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:139 % HoldsAt(Disconnected(phone),time) -> % Terminates(SetDown(agent,phone),Disconnected(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:140 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:140 holds_at(disconnected(Phone), Time) -> terminates(setDown(Agent, Phone), disconnected(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:140 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:140 reactive_rule([holds(disconnected(Phone),Time)], [ terminates(setDown(Agent,Phone), at(disconnected(Phone),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:142 %; Delta % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:144 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:144 % Happens(PickUp(Agent1,Phone1),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:144 /* [] -> ta(TaP_Num4_V, tvs1=[start], tvs2=[start], happens(pickUp(agent1, phone1), start)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:144 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:144 happens(pickUp(agent1,phone1),start). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:144 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:144 observe(at(pickUp(agent1,phone1),start)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:144 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:144 observe(at(pickUp(agent1,phone1),start)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:145 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:145 % Happens(Dial(Agent1,Phone1,Phone2),1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:145 /* [b(start, Maptime), ignore(start+1==Maptime)] -> ta(TaP_Num4_V, tvs1=[start+1], tvs2=[Maptime, start], happens(dial(agent1, phone1, phone2), Maptime)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:145 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:145 b(start, Maptime2) -> happens(dial(agent1, phone1, phone2), Maptime2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:145 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:145 reactive_rule([b(start,Maptime2)], [happens(dial(agent1,phone1,phone2),Maptime2)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:146 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:146 % Happens(PickUp(Agent2,Phone2),2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:146 /* [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(pickUp(agent2, phone2), Start_Num2)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:146 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:146 b(start, Maptime), toffset(start, 2, Maptime) -> happens(pickUp(agent2, phone2), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:146 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:146 reactive_rule([b(start,Maptime),toffset(start,2,Maptime)], [happens(pickUp(agent2,phone2),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:148 %; Psi % [phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:151 % !HoldsAt(Ringing(phone,phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:151 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(neg(ringing(Phone, Phone)), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:151 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:151 holds_at(neg(ringing(Ringing,Ringing)),Time2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:151 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:151 l_int(holds(not(ringing(Ringing,Ringing)),Time2),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:153 % [phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:154 % HoldsAt(Ringing(phone1,phone2),time) & % phone1!=phone2 -> % !HoldsAt(Ringing(phone2,phone1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:156 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:156 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/Chapter3/Telephone2.e:156 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:156 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/Chapter3/Telephone2.e:158 % [phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:159 % !HoldsAt(Connected(phone,phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:159 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(neg(connected(Phone, Phone)), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:159 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:159 holds_at(neg(connected(Connected,Connected)),Time2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:159 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:159 l_int(holds(not(connected(Connected,Connected)), Time2), []). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:161 % [phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:162 % HoldsAt(Connected(phone1,phone2),time) & % phone1!=phone2 -> % !HoldsAt(Connected(phone2,phone1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:164 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:164 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/Chapter3/Telephone2.e:164 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:164 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/Chapter3/Telephone2.e:166 % mutex Idle, DialTone, BusySignal, Disconnected % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 /* fix_axiom_head(Time) -> [mutex(idle), ->, holds_at(mutex(idle), Time)]. */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(mutex(idle), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 holds_at(mutex(idle),Time1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 l_int(holds(mutex(idle),Time1),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 /* fix_axiom_head(Time2) -> [mutex(dialTone), ->, holds_at(mutex(dialTone), Time2)]. */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 /* [] -> ta(Time2, tvs1=[Time2], tvs2=[Time2], holds_at(mutex(dialTone), Time2)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 holds_at(mutex(dialTone),Time3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 l_int(holds(mutex(dialTone),Time3),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 /* fix_axiom_head(Time4) -> [mutex(busySignal), ->, holds_at(mutex(busySignal), Time4)]. */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 /* [] -> ta(Time4, tvs1=[Time4], tvs2=[Time4], holds_at(mutex(busySignal), Time4)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 holds_at(mutex(busySignal),Time5). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 l_int(holds(mutex(busySignal),Time5),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 /* fix_axiom_head(Time6) -> [mutex(disconnected), ->, holds_at(mutex(disconnected), Time6)]. */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 /* [] -> ta(Time6, tvs1=[Time6], tvs2=[Time6], holds_at(mutex(disconnected), Time6)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 holds_at(mutex(disconnected),Time7). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:167 l_int(holds(mutex(disconnected),Time7),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:168 % [phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:169 % HoldsAt(Idle(phone1),time) -> % !HoldsAt(Ringing(phone1,phone2),time) & % !HoldsAt(Connected(phone1,phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:171 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:171 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/Chapter3/Telephone2.e:171 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:171 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/Chapter3/Telephone2.e:173 %; etc. %; Gamma % [phone] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:177 % HoldsAt(Idle(phone),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:177 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(idle(Phone))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:177 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:177 initially(idle(Idle)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:177 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:177 initial_state([idle(Idle)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:179 % completion Happens % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:180 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:180 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:180 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:180 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:181 % range time 0 3 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:182 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:182 range(time,0,3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:182 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:182 range(time,0,3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:182 % range offset 1 1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:183 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:183 range(offset,1,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:183 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone2.e:183 range(offset,1,1). %; End of file.