:-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_examples.e',9038). % From E: % % :-call_pel_directive(translate(unskipped,'/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e.lps')). :- call_pel_directive(translate(unskipped, '/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e.lps')). :-include(library('ec_planner/ec_test_incl')). :-expects_dialect(lps). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_examples.e',9038). % From E: % % :-call_pel_directive(translate(begining,'/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e.lps')). :- call_pel_directive(translate(begining, '/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e.lps')). % Sat, 10 Oct 2020 15:32:28 GMT File: (0x559e4b408d00)%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; %; FILE: foundations/Root.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 %; :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',18). % sort boolean % From E: % % sort(boolean). sort(boolean). % sort integer :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',18). % From E: % % sort(integer). sort(integer). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',20). % reified sort predicate % From E: % % reified_sort(predicate). reified_sorts([predicate/0]). % reified sort function :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',20). % From E: % % reified_sort(function). reified_sorts([function/0]). %; End of file. %; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; %; FILE: foundations/EC.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 %; %; Event Calculus (EC) %; %; @incollection{MillerShanahan:2002, %; author = "Rob Miller and Murray Shanahan", %; year = "2002", %; title = "Some alternative formulations of the event calculus", %; editor = "Antonis C. Kakas and Fariba Sadri", %; booktitle = "Computational Logic: Logic Programming and Beyond: Essays in Honour of \uppercase{R}obert \uppercase{A}. \uppercase{K}owalski, Part \uppercase{II}", %; series = "Lecture Notes in Computer Science", %; volume = "2408", %; pages = "452--490", %; address = "Berlin", %; publisher = "Springer", %; } %; :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',57). % sort time: integer % From E: % % subsort(time,integer). subsort(time,integer). % sort offset: integer :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',57). % From E: % % subsort(offset,integer). subsort(offset,integer). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',60). % reified sort fluent % From E: % % reified_sort(fluent). reified_sorts([fluent/0]). % reified sort event :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',60). % From E: % % reified_sort(event). reified_sorts([event/0]). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',63). % predicate Happens(event,time) % From E: % % predicate(happens_at(event,time)). mpred_prop(happens_at(event,time),predicate). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',63). predicates([happens_at/2]). % predicate HoldsAt(fluent,time) % From E: % % predicate(holds_at(fluent,time)). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',63). mpred_prop(holds_at(fluent,time),predicate). predicates([holds_at/2]). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',65). % predicate ReleasedAt(fluent,time) % From E: % % predicate(released_at(fluent,time)). mpred_prop(released_at(fluent,time),predicate). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',65). predicates([released_at/2]). % predicate Initiates(event,fluent,time) % From E: % % predicate(initiates_at(event,fluent,time)). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',65). mpred_prop(initiates_at(event,fluent,time),predicate). predicates([initiates_at/3]). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',67). % predicate Terminates(event,fluent,time) % From E: % % predicate(terminates_at(event,fluent,time)). mpred_prop(terminates_at(event,fluent,time),predicate). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',67). predicates([terminates_at/3]). % predicate Releases(event,fluent,time) % From E: % % predicate(releases_at(event,fluent,time)). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',67). mpred_prop(releases_at(event,fluent,time),predicate). predicates([releases_at/3]). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',69). % predicate Trajectory(fluent,time,fluent,offset) % From E: % % predicate(trajectory(fluent,time,fluent,offset)). mpred_prop(trajectory(fluent,time,fluent,offset),predicate). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',69). predicates([trajectory/4]). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',71). %; End of file. %; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; %; FILE: foundations/DEC.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 %; %; Discrete Event Calculus (DEC) %; %; @article{Mueller:2004a, %; author = "Erik T. Mueller", %; year = "2004", %; title = "Event calculus reasoning through satisfiability", %; journal = "Journal of Logic and Computation", %; volume = "14", %; number = "5", %; pages = "703--730", %; } %; :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',102). % sort time: integer % From E: % % subsort(time,integer). subsort(time,integer). % sort offset: integer :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',102). % From E: % % subsort(offset,integer). subsort(offset,integer). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',105). % reified sort fluent % From E: % % reified_sort(fluent). reified_sorts([fluent/0]). % reified sort event :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',105). % From E: % % reified_sort(event). reified_sorts([event/0]). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',108). % predicate Happens(event,time) % From E: % % predicate(happens_at(event,time)). mpred_prop(happens_at(event,time),predicate). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',108). predicates([happens_at/2]). % predicate HoldsAt(fluent,time) % From E: % % predicate(holds_at(fluent,time)). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',108). mpred_prop(holds_at(fluent,time),predicate). predicates([holds_at/2]). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',110). % predicate ReleasedAt(fluent,time) % From E: % % predicate(released_at(fluent,time)). mpred_prop(released_at(fluent,time),predicate). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',110). predicates([released_at/2]). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',112). % predicate Initiates(event,fluent,time) % From E: % % predicate(initiates_at(event,fluent,time)). mpred_prop(initiates_at(event,fluent,time),predicate). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',112). predicates([initiates_at/3]). % predicate Terminates(event,fluent,time) % From E: % % predicate(terminates_at(event,fluent,time)). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',112). mpred_prop(terminates_at(event,fluent,time),predicate). predicates([terminates_at/3]). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',114). % predicate Releases(event,fluent,time) % From E: % % predicate(releases_at(event,fluent,time)). mpred_prop(releases_at(event,fluent,time),predicate). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',114). predicates([releases_at/3]). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',116). % [fluent,time] % (HoldsAt(fluent,time) & % !ReleasedAt(fluent,time+1) & % !({event} Happens(event,time) & Terminates(event,fluent,time))) -> % HoldsAt(fluent,time+1). % From E: % % '->'( % (holds_at(Fluent,Time) , % not(released_at(Fluent,Time+1)) , % not( % exists( % [Event], % (happens_at(Event,Time) , % terminates_at(Event,Fluent,Time))))), % holds_at(Fluent,Time+1)). % [Time, Time+1]. :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',116). holds_at(Fluent, Time), not(released_at(Fluent, Time+1)), false((happens_at(Event, Time), terminates_at(Event, Fluent, Time))) -> holds_at(Fluent, Time+1). % [fluent,time] % (!HoldsAt(fluent,time) & % !ReleasedAt(fluent,time+1) & % !({event} Happens(event,time) & Initiates(event,fluent,time))) -> % !HoldsAt(fluent,time+1). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',123). % From E: % % '->'( % (holds_at(not(Fluent),Time) , % not(released_at(Fluent,Time+1)) , % not( % exists( % [Event], % (happens_at(Event,Time) , % initiates_at(Event,Fluent,Time))))), % holds_at(not(Fluent),Time+1)). % [Time, Time+1]. :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',123). false(holds_at(Fluent, Time)), not(released_at(Fluent, Time+1)), false((happens_at(Event, Time), initiates_at(Event, Fluent, Time))) -> holds_at(not(Fluent), Time+1). % [fluent,time] % (!ReleasedAt(fluent,time) & % !({event} Happens(event,time) & Releases(event,fluent,time))) -> % !ReleasedAt(fluent,time+1). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',129). % From E: % % '->'( % (not(released_at(Fluent,Time)) , % not( % exists( % [Event], % (happens_at(Event,Time) , % releases_at(Event,Fluent,Time))))), % not(released_at(Fluent,Time+1))). % [Time, Time+1]. :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',129). not(released_at(Fluent, Time)), false((happens_at(Event, Time), releases_at(Event, Fluent, Time))) -> not(released_at(Fluent, Time+1)). % [fluent,time] % (ReleasedAt(fluent,time) & % !({event} Happens(event,time) & % (Initiates(event,fluent,time) | % Terminates(event,fluent,time)))) -> % ReleasedAt(fluent,time+1). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',134). % From E: % % '->'( % (released_at(Fluent,Time) , % not( % exists( % [Event], % (happens_at(Event,Time) , % (initiates_at(Event,Fluent,Time) ; % terminates_at(Event,Fluent,Time)))))), % released_at(Fluent,Time+1)). % [Time, Time+1]. :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',134). released_at(Fluent, Time), not((happens_at(Event, Time), false((not(initiates_at(Event, Fluent, Time)), not(terminates_at(Event, Fluent, Time)))))) -> released_at(Fluent, Time+1). % [event,fluent,time] % (Happens(event,time) & Initiates(event,fluent,time)) -> % (HoldsAt(fluent,time+1) & !ReleasedAt(fluent,time+1)). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',141). % From E: % % '->'( % (happens_at(Event,Time) , % initiates_at(Event,Fluent,Time)), % (holds_at(Fluent,Time+1) , % not(released_at(Fluent,Time+1)))). % [Time, Time+1]. happens_at(Event, Time), initiates(Event, at(Fluent, Time)) -> holds_at(Fluent, Time+1), not(released_at(Fluent, Time+1)). % [event,fluent,time] % (Happens(event,time) & Terminates(event,fluent,time)) -> % (!HoldsAt(fluent,time+1) & !ReleasedAt(fluent,time+1)). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',145). % From E: % % '->'( % (happens_at(Event,Time) , % terminates_at(Event,Fluent,Time)), % (holds_at(not(Fluent),Time+1) , % not(released_at(Fluent,Time+1)))). % [Time, Time+1]. happens_at(Event, Time), terminates(Event, at(Fluent, Time)) -> holds_at(not(Fluent), Time+1), not(released_at(Fluent, Time+1)). % [event,fluent,time] % (Happens(event,time) & Releases(event,fluent,time)) -> % ReleasedAt(fluent,time+1). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',149). % From E: % % '->'( % (happens_at(Event,Time) , % releases_at(Event,Fluent,Time)), % released_at(Fluent,Time+1)). % [Time, Time+1]. happens_at(Event, Time), releases_at(Event, Fluent, Time) -> released_at(Fluent, Time+1). %; End of file. %; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; %; FILE: foundations/ECCausal.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 %; %; Causal Constraints %; %; @inproceedings{Shanahan:1999a, %; author = "Murray Shanahan", %; year = "1999", %; title = "The ramification problem in the event calculus", %; booktitle = "\uppercase{P}roceedings of the \uppercase{S}ixteenth \uppercase{I}nternational \uppercase{J}oint \uppercase{C}onference on \uppercase{A}rtificial \uppercase{I}ntelligence", %; pages = "140--146", %; address = "San Mateo, CA", %; publisher = "Morgan Kaufmann", %; } %; :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',183). % predicate Started(fluent,time) % From E: % % predicate(started(fluent,time)). mpred_prop(started(fluent,time),predicate). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',183). predicates([started/2]). % predicate Stopped(fluent,time) % From E: % % predicate(stopped(fluent,time)). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',183). mpred_prop(stopped(fluent,time),predicate). predicates([stopped/2]). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',186). % [fluent,time] % Started(fluent,time) <-> % (HoldsAt(fluent,time) | % ({event} Happens(event,time) & Initiates(event,fluent,time))). % From E: % % <->( % started(Fluent,Time), % (holds_at(Fluent,Time) ; % exists( % [Event], % (happens_at(Event,Time) , % initiates_at(Event,Fluent,Time))))). % [Time]. :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',186). started(Fluent, Time) <-> ( holds_at(Fluent, Time) ; exists([Event], (happens_at(Event, Time), initiates(Event, at(Fluent, Time)))) ). % [fluent,time] % Stopped(fluent,time) <-> % (!HoldsAt(fluent,time) | % ({event} Happens(event,time) & Terminates(event,fluent,time))). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',192). % From E: % % <->( % stopped(Fluent,Time), % (holds_at(not(Fluent),Time) ; % exists( % [Event], % (happens_at(Event,Time) , % terminates_at(Event,Fluent,Time))))). % [Time]. :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',192). stopped(Fluent, Time) <-> ( false(holds_at(Fluent, Time)) ; exists([Event], (happens_at(Event, Time), terminates(Event, at(Fluent, Time)))) ). % predicate Initiated(fluent,time) :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',195). % From E: % % predicate(initiated(fluent,time)). mpred_prop(initiated(fluent,time),predicate). predicates([initiated/2]). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',197). % predicate Terminated(fluent,time) % From E: % % predicate(terminated(fluent,time)). mpred_prop(terminated(fluent,time),predicate). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',197). predicates([terminated/2]). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',199). % [fluent,time] % Initiated(fluent,time) <-> % (Started(fluent,time) & % !({event} Happens(event,time) & Terminates(event,fluent,time))). % From E: % % <->( % initiated(Fluent,Time), % (started(Fluent,Time) , % not( % exists( % [Event], % (happens_at(Event,Time) , % terminates_at(Event,Fluent,Time)))))). % [Time]. :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',199). initiated(Fluent, Time) <-> started(Fluent, Time), false((happens_at(Event, Time), terminates_at(Event, Fluent, Time))). % [fluent,time] % Terminated(fluent,time) <-> % (Stopped(fluent,time) & % !({event} Happens(event,time) & Initiates(event,fluent,time))). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',205). % From E: % % <->( % terminated(Fluent,Time), % (stopped(Fluent,Time) , % not( % exists( % [Event], % (happens_at(Event,Time) , % initiates_at(Event,Fluent,Time)))))). % [Time]. :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',205). terminated(Fluent, Time) <-> stopped(Fluent, Time), false((happens_at(Event, Time), initiates_at(Event, Fluent, Time))). %; End of file. %; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; %; FILE: foundations/ECTraj.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 %; %; @incollection{MillerShanahan:2002, %; author = "Rob Miller and Murray Shanahan", %; year = "2002", %; title = "Some alternative formulations of the event calculus", %; editor = "Antonis C. Kakas and Fariba Sadri", %; booktitle = "Computational Logic: Logic Programming and Beyond: Essays in Honour of \uppercase{R}obert \uppercase{A}. \uppercase{K}owalski, Part \uppercase{II}", %; series = "Lecture Notes in Computer Science", %; volume = "2408", %; pages = "452--490", %; address = "Berlin", %; publisher = "Springer", %; } %; :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',241). % predicate Clipped(time,fluent,time) % From E: % % predicate(clipped(time,fluent,time)). mpred_prop(clipped(time,fluent,time),predicate). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',241). predicates([clipped/3]). % predicate Declipped(time,fluent,time) % From E: % % predicate(declipped(time,fluent,time)). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',241). mpred_prop(declipped(time,fluent,time),predicate). predicates([declipped/3]). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',244). % predicate Trajectory(fluent,time,fluent,offset) % From E: % % predicate(trajectory(fluent,time,fluent,offset)). mpred_prop(trajectory(fluent,time,fluent,offset),predicate). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',244). predicates([trajectory/4]). % predicate AntiTrajectory(fluent,time,fluent,offset) % From E: % % predicate(antiTrajectory(fluent,time,fluent,offset)). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',244). mpred_prop(antiTrajectory(fluent,time,fluent,offset),predicate). predicates([antiTrajectory/4]). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',247). % [event,fluent,fluent2,offset,time] % Happens(event,time) & % Initiates(event,fluent,time) & % 0 < offset & % Trajectory(fluent,time,fluent2,offset) & % !Clipped(time,fluent,time+offset) -> % HoldsAt(fluent2,time+offset). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',247). % From E: % % '->'( % (happens_at(Event,Time) , % initiates_at(Event,Fluent,Time) , % 0 holds_at(Fluent2, Time+Offset). % [event,fluent,fluent2,offset,time] % Happens(event,time) & % Terminates(event,fluent,time) & % 0 < offset & % AntiTrajectory(fluent,time,fluent2,offset) & % !Declipped(time,fluent,time+offset) -> % HoldsAt(fluent2,time+offset). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',256). % From E: % % '->'( % (happens_at(Event,Time) , % terminates_at(Event,Fluent,Time) , % 0 holds_at(Fluent2, Time+Offset). %; End of file. :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',262). % From E: % % :-call_pel_directive(translate(ending,'/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e.lps')). :- call_pel_directive(translate(ending, '/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e.lps')).