:-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Supermarket40.e',104). % From E: % % :-call_pel_directive(translate(unskipped,'/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e.lps')). :- call_pel_directive(translate(unskipped, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e.lps')). :-include(library('ec_planner/ec_test_incl')). :-expects_dialect(lps). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Supermarket40.e',104). % From E: % % :-call_pel_directive(translate(begining,'/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e.lps')). :- call_pel_directive(translate(begining, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e.lps')). % Sat, 10 Oct 2020 15:31:54 GMT File: (0x559e4b402800)%; %; 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", %; } %; :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',20). % load foundations/Root.e % From E: % % :-call_pel_directive(load('foundations/Root.e')). :- call_pel_directive(load('foundations/Root.e')). % load foundations/EC.e :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',20). % From E: % % :-call_pel_directive(load('foundations/EC.e')). :- call_pel_directive(load('foundations/EC.e')). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',23). % sort agent % From E: % % sort(agent). sort(agent). % sort phone :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',23). % From E: % % sort(phone). sort(phone). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',26). % agent Agent1, Agent2 % From E: % % t(agent,agent1). agent(agent1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',26). % From E: % % t(agent,agent2). agent(agent2). % phone Phone1, Phone2 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',26). % From E: % % t(phone,phone1). phone(phone1). % From E: % % t(phone,phone2). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',26). phone(phone2). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',29). % fluent Ringing(phone,phone) % From E: % % fluent(ringing(phone,phone)). mpred_prop(ringing(phone,phone),fluent). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',29). fluents([ringing/2]). % fluent DialTone(phone) % From E: % % fluent(dialTone(phone)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',29). mpred_prop(dialTone(phone),fluent). fluents([dialTone/1]). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',31). % fluent BusySignal(phone) % From E: % % fluent(busySignal(phone)). mpred_prop(busySignal(phone),fluent). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',31). fluents([busySignal/1]). % fluent Idle(phone) % From E: % % fluent(idle(phone)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',31). mpred_prop(idle(phone),fluent). fluents([idle/1]). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',33). % fluent Connected(phone,phone) % From E: % % fluent(connected(phone,phone)). mpred_prop(connected(phone,phone),fluent). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',33). fluents([connected/2]). % fluent Disconnected(phone) % From E: % % fluent(disconnected(phone)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',33). mpred_prop(disconnected(phone),fluent). fluents([disconnected/1]). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',36). % event PickUp(agent,phone) % From E: % % event(pickUp(agent,phone)). events([pickUp/2]). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',36). mpred_prop(pickUp(agent,phone),action). actions([pickUp/2]). % event SetDown(agent,phone) % From E: % % event(setDown(agent,phone)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',36). events([setDown/2]). mpred_prop(setDown(agent,phone),action). actions([setDown/2]). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',38). % event Dial(agent,phone,phone) % From E: % % event(dial(agent,phone,phone)). events([dial/3]). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',38). mpred_prop(dial(agent,phone,phone),action). actions([dial/3]). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',40). %; Sigma % [agent,phone,time] % HoldsAt(Idle(phone),time) -> % Initiates(PickUp(agent,phone),DialTone(phone),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',42). % From E: % % '->'( % holds_at(idle(Phone),Time), % initiates_at( % pickUp(Agent,Phone), % dialTone(Phone), % Time)). % [Time]. pickUp(Agent, Phone)initiates dialTone(Phone)if idle(Phone). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',42). /* initiated(happens(pickUp(Agent,Phone), Time_From, Time_Until), dialTone(Phone), [idle(Phone)]). */ % "% =================================". % [agent,phone,time] % HoldsAt(Idle(phone),time) -> % Terminates(PickUp(agent,phone),Idle(phone),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',47). % From E: % % '->'( % holds_at(idle(Phone),Time), % terminates_at( % pickUp(Agent,Phone), % idle(Phone), % Time)). % [Time]. pickUp(Agent, Phone)terminates idle(Phone)if idle(Phone). /* terminated(happens(pickUp(Agent,Phone), Time_From, Time_Until), idle(Phone), [holds(idle(Phone),Time_From)]). */ % "% =================================". % [agent,phone,time] % HoldsAt(DialTone(phone),time) -> % Initiates(SetDown(agent,phone),Idle(phone),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',51). % From E: % % '->'( % holds_at(dialTone(Phone),Time), % initiates_at( % setDown(Agent,Phone), % idle(Phone), % Time)). % [Time]. setDown(Agent, Phone)initiates idle(Phone)if dialTone(Phone). /* initiated(happens(setDown(Agent,Phone), Time_From, Time_Until), idle(Phone), [holds(dialTone(Phone),Time_From)]). */ % "% =================================". % [agent,phone,time] % HoldsAt(DialTone(phone),time) -> % Terminates(SetDown(agent,phone),DialTone(phone),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',55). % From E: % % '->'( % holds_at(dialTone(Phone),Time), % terminates_at( % setDown(Agent,Phone), % dialTone(Phone), % Time)). % [Time]. setDown(Agent, Phone)terminates dialTone(Phone)if dialTone(Phone). /* terminated(happens(setDown(Agent,Phone), Time_From, Time_Until), dialTone(Phone), [holds(dialTone(Phone),Time_From)]). */ % "% =================================". % [agent,phone1,phone2,time] % HoldsAt(DialTone(phone1),time) & % HoldsAt(Idle(phone2),time) -> % Initiates(Dial(agent,phone1,phone2),Ringing(phone1,phone2),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',59). % From E: % % '->'( % (holds_at(dialTone(Phone1),Time) , % holds_at(idle(Phone2),Time)), % initiates_at( % dial(Agent,Phone1,Phone2), % ringing(Phone1,Phone2), % Time)). % [Time]. dial(Agent, Phone1, Phone2)initiates ringing(Phone1, Phone2)if dialTone(Phone1), idle(Phone2). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',59). /* initiated(happens(dial(Agent,Phone1,Phone2), Time_From, Time_Until), ringing(Phone1,Phone2), [ holds(dialTone(Phone1),Time_From), holds(idle(Phone2),Time_From) ]). */ % "% =================================". % [agent,phone1,phone2,time] % HoldsAt(DialTone(phone1),time) & % HoldsAt(Idle(phone2),time) -> % Terminates(Dial(agent,phone1,phone2),DialTone(phone1),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',64). % From E: % % '->'( % (holds_at(dialTone(Phone1),Time) , % holds_at(idle(Phone2),Time)), % terminates_at( % dial(Agent,Phone1,Phone2), % dialTone(Phone1), % Time)). % [Time]. dial(Agent, Phone1, Phone2)terminates dialTone(Phone1)if dialTone(Phone1), idle(Phone2). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',64). /* terminated(happens(dial(Agent,Phone1,Phone2), Time_From, Time_Until), dialTone(Phone1), [ holds(dialTone(Phone1),Time_From), holds(idle(Phone2),Time_From) ]). */ % "% =================================". % [agent,phone1,phone2,time] % HoldsAt(DialTone(phone1),time) & % HoldsAt(Idle(phone2),time) -> % Terminates(Dial(agent,phone1,phone2),Idle(phone2),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',69). % From E: % % '->'( % (holds_at(dialTone(Phone1),Time) , % holds_at(idle(Phone2),Time)), % terminates_at( % dial(Agent,Phone1,Phone2), % idle(Phone2), % Time)). % [Time]. dial(Agent, Phone1, Phone2)terminates idle(Phone2)if dialTone(Phone1), idle(Phone2). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',69). /* terminated(happens(dial(Agent,Phone1,Phone2), Time_From, Time_Until), idle(Phone2), [ holds(dialTone(Phone1),Time_From), holds(idle(Phone2),Time_From) ]). */ % "% =================================". % [agent,phone1,phone2,time] % HoldsAt(DialTone(phone1),time) & % !HoldsAt(Idle(phone2),time) -> % Initiates(Dial(agent,phone1,phone2),BusySignal(phone1),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',74). % From E: % % '->'( % (holds_at(dialTone(Phone1),Time) , % holds_at(not(idle(Phone2)),Time)), % initiates_at( % dial(Agent,Phone1,Phone2), % busySignal(Phone1), % Time)). % [Time]. dial(Agent, Phone1, Phone2)initiates busySignal(Phone1)if dialTone(Phone1), not idle(Phone2). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',74). /* initiated(happens(dial(Agent,Phone1,Phone2), Time_From, Time_Until), busySignal(Phone1), [ holds(dialTone(Phone1),Time_From), holds(not(idle(Phone2)),Time_From) ]). */ % "% =================================". % [agent,phone1,phone2,time] % HoldsAt(DialTone(phone1),time) & % !HoldsAt(Idle(phone2),time) -> % Terminates(Dial(agent,phone1,phone2),DialTone(phone1),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',79). % From E: % % '->'( % (holds_at(dialTone(Phone1),Time) , % holds_at(not(idle(Phone2)),Time)), % terminates_at( % dial(Agent,Phone1,Phone2), % dialTone(Phone1), % Time)). % [Time]. dial(Agent, Phone1, Phone2)terminates dialTone(Phone1)if dialTone(Phone1), not idle(Phone2). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',79). /* terminated(happens(dial(Agent,Phone1,Phone2), Time_From, Time_Until), dialTone(Phone1), [ holds(dialTone(Phone1),Time_From), holds(not(idle(Phone2)),Time_From) ]). */ % "% =================================". % [agent,phone,time] % HoldsAt(BusySignal(phone),time) -> % Initiates(SetDown(agent,phone),Idle(phone),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',84). % From E: % % '->'( % holds_at(busySignal(Phone),Time), % initiates_at( % setDown(Agent,Phone), % idle(Phone), % Time)). % [Time]. setDown(Agent, Phone)initiates idle(Phone)if busySignal(Phone). /* initiated(happens(setDown(Agent,Phone), Time_From, Time_Until), idle(Phone), [holds(busySignal(Phone),Time_From)]). */ % "% =================================". % [agent,phone,time] % HoldsAt(BusySignal(phone),time) -> % Terminates(SetDown(agent,phone),BusySignal(phone),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',88). % From E: % % '->'( % holds_at(busySignal(Phone),Time), % terminates_at( % setDown(Agent,Phone), % busySignal(Phone), % Time)). % [Time]. setDown(Agent, Phone)terminates busySignal(Phone)if busySignal(Phone). /* terminated(happens(setDown(Agent,Phone), Time_From, Time_Until), busySignal(Phone), [holds(busySignal(Phone),Time_From)]). */ % "% =================================". % [agent,phone1,phone2,time] % HoldsAt(Ringing(phone1,phone2),time) -> % Initiates(SetDown(agent,phone1),Idle(phone1),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',92). % From E: % % '->'( % holds_at(ringing(Phone1,Phone2),Time), % initiates_at( % setDown(Agent,Phone1), % idle(Phone1), % Time)). % [Time]. setDown(Agent, Phone1)initiates idle(Phone1)if ringing(Phone1, Phone2). /* initiated(happens(setDown(Agent,Phone1), Time_From, Time_Until), idle(Phone1), [holds(ringing(Phone1,Phone2),Time_From)]). */ % "% =================================". % [agent,phone1,phone2,time] % HoldsAt(Ringing(phone1,phone2),time) -> % Initiates(SetDown(agent,phone1),Idle(phone2),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',96). % From E: % % '->'( % holds_at(ringing(Phone1,Phone2),Time), % initiates_at( % setDown(Agent,Phone1), % idle(Phone2), % Time)). % [Time]. setDown(Agent, Phone1)initiates idle(Phone2)if ringing(Phone1, Phone2). /* initiated(happens(setDown(Agent,Phone1), Time_From, Time_Until), idle(Phone2), [holds(ringing(Phone1,Phone2),Time_From)]). */ % "% =================================". % [agent,phone1,phone2,time] % HoldsAt(Ringing(phone1,phone2),time) -> % Terminates(SetDown(agent,phone1),Ringing(phone1,phone2),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',100). % From E: % % '->'( % holds_at(ringing(Phone1,Phone2),Time), % terminates_at( % setDown(Agent,Phone1), % ringing(Phone1,Phone2), % Time)). % [Time]. setDown(Agent, Phone1)terminates ringing(Phone1, Phone2)if ringing(Phone1, Phone2). /* terminated(happens(setDown(Agent,Phone1), Time_From, Time_Until), ringing(Phone1,Phone2), [holds(ringing(Phone1,Phone2),Time_From)]). */ % "% =================================". % [agent,phone1,phone2,time] % HoldsAt(Ringing(phone1,phone2),time) -> % Initiates(PickUp(agent,phone2),Connected(phone1,phone2),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',104). % From E: % % '->'( % holds_at(ringing(Phone1,Phone2),Time), % initiates_at( % pickUp(Agent,Phone2), % connected(Phone1,Phone2), % Time)). % [Time]. pickUp(Agent, Phone2)initiates connected(Phone1, Phone2)if ringing(Phone1, Phone2). /* initiated(happens(pickUp(Agent,Phone2), Time_From, Time_Until), connected(Phone1,Phone2), [holds(ringing(Phone1,Phone2),Time_From)]). */ % "% =================================". % [agent,phone1,phone2,time] % HoldsAt(Ringing(phone1,phone2),time) -> % Terminates(PickUp(agent,phone2),Ringing(phone1,phone2),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',108). % From E: % % '->'( % holds_at(ringing(Phone1,Phone2),Time), % terminates_at( % pickUp(Agent,Phone2), % ringing(Phone1,Phone2), % Time)). % [Time]. pickUp(Agent, Phone2)terminates ringing(Phone1, Phone2)if ringing(Phone1, Phone2). /* terminated(happens(pickUp(Agent,Phone2), Time_From, Time_Until), ringing(Phone1,Phone2), [holds(ringing(Phone1,Phone2),Time_From)]). */ % "% =================================". % [agent,phone1,phone2,time] % HoldsAt(Connected(phone1,phone2),time) -> % Initiates(SetDown(agent,phone1),Idle(phone1),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',112). % From E: % % '->'( % holds_at(connected(Phone1,Phone2),Time), % initiates_at( % setDown(Agent,Phone1), % idle(Phone1), % Time)). % [Time]. setDown(Agent, Phone1)initiates idle(Phone1)if connected(Phone1, Phone2). /* initiated(happens(setDown(Agent,Phone1), Time_From, Time_Until), idle(Phone1), [holds(connected(Phone1,Phone2),Time_From)]). */ % "% =================================". % [agent,phone1,phone2,time] % HoldsAt(Connected(phone1,phone2),time) -> % Initiates(SetDown(agent,phone1),Disconnected(phone2),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',116). % From E: % % '->'( % holds_at(connected(Phone1,Phone2),Time), % initiates_at( % setDown(Agent,Phone1), % disconnected(Phone2), % Time)). % [Time]. setDown(Agent, Phone1)initiates disconnected(Phone2)if connected(Phone1, Phone2). /* initiated(happens(setDown(Agent,Phone1), Time_From, Time_Until), disconnected(Phone2), [holds(connected(Phone1,Phone2),Time_From)]). */ % "% =================================". % [agent,phone1,phone2,time] % HoldsAt(Connected(phone1,phone2),time) -> % Terminates(SetDown(agent,phone1),Connected(phone1,phone2),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',120). % From E: % % '->'( % holds_at(connected(Phone1,Phone2),Time), % terminates_at( % setDown(Agent,Phone1), % connected(Phone1,Phone2), % Time)). % [Time]. setDown(Agent, Phone1)terminates connected(Phone1, Phone2)if connected(Phone1, Phone2). /* terminated(happens(setDown(Agent,Phone1), Time_From, Time_Until), connected(Phone1,Phone2), [ holds(connected(Phone1,Phone2), Time_From) ]). */ % "% =================================". % [agent,phone1,phone2,time] % HoldsAt(Connected(phone1,phone2),time) -> % Initiates(SetDown(agent,phone2),Idle(phone2),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',124). % From E: % % '->'( % holds_at(connected(Phone1,Phone2),Time), % initiates_at( % setDown(Agent,Phone2), % idle(Phone2), % Time)). % [Time]. setDown(Agent, Phone2)initiates idle(Phone2)if connected(Phone1, Phone2). /* initiated(happens(setDown(Agent,Phone2), Time_From, Time_Until), idle(Phone2), [holds(connected(Phone1,Phone2),Time_From)]). */ % "% =================================". % [agent,phone1,phone2,time] % HoldsAt(Connected(phone1,phone2),time) -> % Initiates(SetDown(agent,phone2),Disconnected(phone1),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',128). % From E: % % '->'( % holds_at(connected(Phone1,Phone2),Time), % initiates_at( % setDown(Agent,Phone2), % disconnected(Phone1), % Time)). % [Time]. setDown(Agent, Phone2)initiates disconnected(Phone1)if connected(Phone1, Phone2). /* initiated(happens(setDown(Agent,Phone2), Time_From, Time_Until), disconnected(Phone1), [holds(connected(Phone1,Phone2),Time_From)]). */ % "% =================================". % [agent,phone1,phone2,time] % HoldsAt(Connected(phone1,phone2),time) -> % Terminates(SetDown(agent,phone2),Connected(phone1,phone2),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',132). % From E: % % '->'( % holds_at(connected(Phone1,Phone2),Time), % terminates_at( % setDown(Agent,Phone2), % connected(Phone1,Phone2), % Time)). % [Time]. setDown(Agent, Phone2)terminates connected(Phone1, Phone2)if connected(Phone1, Phone2). /* terminated(happens(setDown(Agent,Phone2), Time_From, Time_Until), connected(Phone1,Phone2), [ holds(connected(Phone1,Phone2), Time_From) ]). */ % "% =================================". % [agent,phone,time] % HoldsAt(Disconnected(phone),time) -> % Initiates(SetDown(agent,phone),Idle(phone),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',136). % From E: % % '->'( % holds_at(disconnected(Phone),Time), % initiates_at( % setDown(Agent,Phone), % idle(Phone), % Time)). % [Time]. setDown(Agent, Phone)initiates idle(Phone)if disconnected(Phone). /* initiated(happens(setDown(Agent,Phone), Time_From, Time_Until), idle(Phone), [holds(disconnected(Phone),Time_From)]). */ % "% =================================". % [agent,phone,time] % HoldsAt(Disconnected(phone),time) -> % Terminates(SetDown(agent,phone),Disconnected(phone),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',140). % From E: % % '->'( % holds_at(disconnected(Phone),Time), % terminates_at( % setDown(Agent,Phone), % disconnected(Phone), % Time)). % [Time]. setDown(Agent, Phone)terminates disconnected(Phone)if disconnected(Phone). /* terminated(happens(setDown(Agent,Phone), Time_From, Time_Until), disconnected(Phone), [holds(disconnected(Phone),Time_From)]). */ % "% =================================". %; Delta :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',145). % Delta: % From E: % % directive(delta). directive(delta). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',145). % Happens(PickUp(Agent1,Phone1),0). % From E: % % happens_at(pickUp(agent1,phone1),0). observe pickUp(agent1, phone1)at 0. % observe([pickUp(agent1,phone1)],0). % "% =================================". % Delta: :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',145). % From E: % % directive(delta). directive(delta). % Happens(Dial(Agent1,Phone1,Phone2),1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',145). % From E: % % happens_at(dial(agent1,phone1,phone2),1). observe dial(agent1, phone1, phone2)at 1. % observe([dial(agent1,phone1,phone2)],1). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',147). % Delta: % From E: % % directive(delta). directive(delta). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',147). % Happens(PickUp(Agent2,Phone2),2). % From E: % % happens_at(pickUp(agent2,phone2),2). observe pickUp(agent2, phone2)at 2. % observe([pickUp(agent2,phone2)],2). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',149). %; Gamma % [phone] % HoldsAt(Idle(phone),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',151). % From E: % % holds_at(idle(Phone),0). initially idle(Phone). % initial_state([idle(Phone)]). % "% =================================". % [phone] % !HoldsAt(DialTone(phone),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',151). % From E: % % holds_at(not(dialTone(Phone)),0). initially not dialTone(Phone). % initial_state([not(dialTone(Phone))]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',153). % [phone] % !HoldsAt(BusySignal(phone),0). % From E: % % holds_at(not(busySignal(Phone)),0). initially not busySignal(Phone). % initial_state([not(busySignal(Phone))]). % "% =================================". % [phone1,phone2] % !HoldsAt(Ringing(phone1,phone2),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',153). % From E: % % holds_at(not(ringing(Phone1,Phone2)),0). initially not ringing(Phone1, Phone2). % initial_state([not(ringing(Phone1,Phone2))]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',155). % [phone1,phone2] % !HoldsAt(Connected(phone1,phone2),0). % From E: % % holds_at(not(connected(Phone1,Phone2)),0). initially not connected(Phone1, Phone2). % initial_state([not(connected(Phone1,Phone2))]). % "% =================================". % [phone] % !HoldsAt(Disconnected(phone),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',155). % From E: % % holds_at(not(disconnected(Phone)),0). initially not disconnected(Phone). % initial_state([not(disconnected(Phone))]). % "% =================================". % completion Delta Happens :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',157). % From E: % % :-call_pel_directive(completion(delta)). :- call_pel_directive(completion(delta)). % From E: % % :-call_pel_directive(completion(happens_at)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',157). :- call_pel_directive(completion(happens_at)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',160). % range time 0 3 % From E: % % :-call_pel_directive(range(time,0,3)). :- call_pel_directive(range(time, 0, 3)). % range offset 1 1 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',160). % From E: % % :-call_pel_directive(range(offset,1,1)). :- call_pel_directive(range(offset, 1, 1)). %; End of file. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e',163). % From E: % % :-call_pel_directive(translate(ending,'/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e.lps')). :- call_pel_directive(translate(ending, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Telephone3.e.lps')).