:-include(library('ec_planner/ec_test_incl')). :-expects_dialect(pfc). % Tue, 06 Oct 2020 04:57:56 GMT % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.pel:4 /* loading(load_e_pl, '/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:19 % load foundations/Root.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:20 % load foundations/EC.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:22 % sort agent % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:23 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:23 sort(agent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:23 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:23 sort(agent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:23 % sort phone % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:24 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:24 sort(phone). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:24 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:24 sort(phone). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:25 % agent Agent1, Agent2 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:26 t(agent,agent1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:26 agent(agent1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:26 t(agent,agent2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:26 agent(agent2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:26 % phone Phone1, Phone2 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:27 t(phone,phone1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:27 phone(phone1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:27 t(phone,phone2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:27 phone(phone2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:28 % fluent Ringing(phone,phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:29 fluent(ringing(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:29 fluents([ringing/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:29 fluents([ringing/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:29 meta_argtypes(ringing(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:29 meta_argtypes(ringing(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:29 mpred_prop(ringing(phone,phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:29 mpred_prop(ringing(phone,phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:29 meta_argtypes(ringing(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:29 meta_argtypes(ringing(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:29 % fluent DialTone(phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:30 fluent(dialTone(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:30 fluents([dialTone/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:30 fluents([dialTone/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:30 meta_argtypes(dialTone(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:30 meta_argtypes(dialTone(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:30 mpred_prop(dialTone(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:30 mpred_prop(dialTone(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:30 meta_argtypes(dialTone(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:30 meta_argtypes(dialTone(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:30 % fluent BusySignal(phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:31 fluent(busySignal(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:31 fluents([busySignal/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:31 fluents([busySignal/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:31 meta_argtypes(busySignal(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:31 meta_argtypes(busySignal(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:31 mpred_prop(busySignal(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:31 mpred_prop(busySignal(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:31 meta_argtypes(busySignal(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:31 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:31 meta_argtypes(busySignal(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:31 % fluent Idle(phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:32 fluent(idle(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:32 fluents([idle/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:32 fluents([idle/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:32 meta_argtypes(idle(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:32 meta_argtypes(idle(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:32 mpred_prop(idle(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:32 mpred_prop(idle(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:32 meta_argtypes(idle(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:32 meta_argtypes(idle(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:32 % fluent Connected(phone,phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:33 fluent(connected(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:33 fluents([connected/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:33 fluents([connected/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:33 meta_argtypes(connected(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:33 meta_argtypes(connected(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:33 mpred_prop(connected(phone,phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:33 mpred_prop(connected(phone,phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:33 meta_argtypes(connected(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:33 meta_argtypes(connected(phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:33 % fluent Disconnected(phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:34 fluent(disconnected(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:34 fluents([disconnected/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:34 fluents([disconnected/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:34 meta_argtypes(disconnected(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:34 meta_argtypes(disconnected(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:34 mpred_prop(disconnected(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:34 mpred_prop(disconnected(phone),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:34 meta_argtypes(disconnected(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:34 meta_argtypes(disconnected(phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:35 % event PickUp(agent,phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:36 event(pickUp(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:36 actions([pickUp/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:36 actions([pickUp/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:36 meta_argtypes(pickUp(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:36 meta_argtypes(pickUp(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:36 mpred_prop(pickUp(agent,phone),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:36 mpred_prop(pickUp(agent,phone),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:36 meta_argtypes(pickUp(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:36 meta_argtypes(pickUp(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:36 % event SetDown(agent,phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:37 event(setDown(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:37 actions([setDown/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:37 actions([setDown/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:37 meta_argtypes(setDown(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:37 meta_argtypes(setDown(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:37 mpred_prop(setDown(agent,phone),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:37 mpred_prop(setDown(agent,phone),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:37 meta_argtypes(setDown(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:37 meta_argtypes(setDown(agent,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:37 % event Dial(agent,phone,phone) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:38 event(dial(agent,phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:38 actions([dial/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:38 actions([dial/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:38 meta_argtypes(dial(agent,phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:38 meta_argtypes(dial(agent,phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:38 mpred_prop(dial(agent,phone,phone),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:38 mpred_prop(dial(agent,phone,phone),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:38 meta_argtypes(dial(agent,phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:38 meta_argtypes(dial(agent,phone,phone)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:39 %; Sigma % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:42 % HoldsAt(Idle(phone),time) -> % Initiates(PickUp(agent,phone),DialTone(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:43 holds_at(idle(Phone), Time) -> initiates(pickUp(Agent, Phone), dialTone(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:45 % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:46 % HoldsAt(Idle(phone),time) -> % Terminates(PickUp(agent,phone),Idle(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:47 holds_at(idle(Phone), Time) -> terminates(pickUp(Agent, Phone), idle(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:49 % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:50 % HoldsAt(DialTone(phone),time) -> % Initiates(SetDown(agent,phone),Idle(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:51 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:51 holds_at(dialTone(Phone), Time) -> initiates(setDown(Agent, Phone), idle(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:51 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:53 % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:54 % HoldsAt(DialTone(phone),time) -> % Terminates(SetDown(agent,phone),DialTone(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:55 holds_at(dialTone(Phone), Time) -> terminates(setDown(Agent, Phone), dialTone(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:57 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:60 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:60 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:62 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:65 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:65 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:67 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:70 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:70 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:72 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:75 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:75 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:77 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:80 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:80 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:82 % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:83 % HoldsAt(BusySignal(phone),time) -> % Initiates(SetDown(agent,phone),Idle(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:84 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:84 holds_at(busySignal(Phone), Time) -> initiates(setDown(Agent, Phone), idle(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:84 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:86 % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:87 % HoldsAt(BusySignal(phone),time) -> % Terminates(SetDown(agent,phone),BusySignal(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:88 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:88 holds_at(busySignal(Phone), Time) -> terminates(setDown(Agent, Phone), busySignal(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:88 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:90 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:91 % HoldsAt(Ringing(phone1,phone2),time) -> % Initiates(SetDown(agent,phone1),Idle(phone1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:92 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:92 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:94 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:95 % HoldsAt(Ringing(phone1,phone2),time) -> % Initiates(SetDown(agent,phone1),Idle(phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:96 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:96 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:98 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:100 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:100 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:102 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:104 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:104 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:106 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:108 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:108 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:110 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:111 % HoldsAt(Connected(phone1,phone2),time) -> % Initiates(SetDown(agent,phone1),Idle(phone1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:112 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:112 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:114 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:115 % HoldsAt(Connected(phone1,phone2),time) -> % Initiates(SetDown(agent,phone1),Disconnected(phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:116 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:116 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:118 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:120 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:120 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:122 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:123 % HoldsAt(Connected(phone1,phone2),time) -> % Initiates(SetDown(agent,phone2),Idle(phone2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:124 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:124 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:126 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:127 % HoldsAt(Connected(phone1,phone2),time) -> % Initiates(SetDown(agent,phone2),Disconnected(phone1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:128 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:128 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:130 % [agent,phone1,phone2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:132 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:132 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:134 % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:135 % HoldsAt(Disconnected(phone),time) -> % Initiates(SetDown(agent,phone),Idle(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:136 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:136 holds_at(disconnected(Phone), Time) -> initiates(setDown(Agent, Phone), idle(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:136 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:138 % [agent,phone,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:139 % HoldsAt(Disconnected(phone),time) -> % Terminates(SetDown(agent,phone),Disconnected(phone),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:140 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:140 holds_at(disconnected(Phone), Time) -> terminates(setDown(Agent, Phone), disconnected(Phone), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:140 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.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/Telephone1.e:142 %; Delta % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:144 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:144 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:144 % Happens(PickUp(Agent1,Phone1),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:144 /* [axiom_uses(delta, Axiom_Uses)] -> ta(TaP_Num4_V, tvs1=[start], tvs2=[start], happens(pickUp(agent1, phone1), start)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:144 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:144 axiom_uses(delta, Axiom_Uses2) -> happens(pickUp(agent1, phone1), start). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:144 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:144 reactive_rule([axiom_uses(delta,Axiom_Uses2)], [observe(at(pickUp(agent1,phone1),start))]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:145 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:145 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:145 % Happens(Dial(Agent1,Phone1,Phone2),1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:145 /* [axiom_uses(delta, Axiom_Uses), 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/Telephone1.e:145 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:145 axiom_uses(delta, Axiom_Uses4), b(start, Maptime3) -> happens(dial(agent1, phone1, phone2), Maptime3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:145 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:145 reactive_rule([ axiom_uses(delta,Axiom_Uses4), b(start,Maptime3) ], [happens(dial(agent1,phone1,phone2),Maptime3)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:146 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:146 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:146 % Happens(PickUp(Agent2,Phone2),2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:146 /* [axiom_uses(delta, Axiom_Uses), b(start, Start_Num2), toffset(start, 2, Start_Num2), ignore(start+2==Start_Num2)] -> ta(TaP_Num4_V, tvs1=[start+2], tvs2=[Start_Num2, start], happens(pickUp(agent2, phone2), Start_Num2)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:146 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:146 axiom_uses(delta, Axiom_Uses4), b(start, Maptime), toffset(start, 2, Maptime) -> happens(pickUp(agent2, phone2), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:146 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:146 reactive_rule([ axiom_uses(delta,Axiom_Uses4), b(start,Maptime), toffset(start,2,Maptime) ], [happens(pickUp(agent2,phone2),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:148 %; Gamma % [phone] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:150 % HoldsAt(Idle(phone),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:150 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(idle(Phone))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:150 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:150 initially(idle(Idle)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:150 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:150 initial_state([idle(Idle)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:151 % [phone] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:151 % !HoldsAt(DialTone(phone),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:151 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(dialTone(Phone)))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:151 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:151 initially(neg(dialTone(Dialtone))). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:151 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:151 initial_state([not(dialTone(Dialtone))]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:152 % [phone] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:152 % !HoldsAt(BusySignal(phone),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:152 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(busySignal(Phone)))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:152 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:152 initially(neg(busySignal(Busysignal))). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:152 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:152 initial_state([not(busySignal(Busysignal))]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:153 % [phone1,phone2] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:153 % !HoldsAt(Ringing(phone1,phone2),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:153 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(ringing(Phone1, Phone2)))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:153 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:153 initially(neg(ringing(_,Ringing))). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:153 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:153 initial_state([not(ringing(_,Ringing))]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:154 % [phone1,phone2] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:154 % !HoldsAt(Connected(phone1,phone2),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:154 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(connected(Phone1, Phone2)))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:154 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:154 initially(neg(connected(_,Connected))). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:154 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:154 initial_state([not(connected(_,Connected))]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:155 % [phone] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:155 % !HoldsAt(Disconnected(phone),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:155 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(disconnected(Phone)))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:155 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:155 initially(neg(disconnected(Disconnected))). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:155 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:155 initial_state([not(disconnected(Disconnected))]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:157 % completion Delta Happens % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:158 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:158 completion(delta). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:158 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:158 completion(delta). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:158 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:158 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:158 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:158 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:159 % range time 0 3 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:160 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:160 range(time,0,3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:160 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:160 range(time,0,3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:160 % range offset 1 1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:161 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:161 range(offset,1,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:161 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter3/Telephone1.e:161 range(offset,1,1). %; End of file.