:-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e',181). % translate: unskipped File: /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency1.e.lps :-include(library('ec_planner/ec_test_incl')). :-expects_dialect(lps). % translate: begining File: /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency1.e.lps % Fri, 09 Oct 2020 15:14:15 GMT File: (0x5625a9774700)%; %; 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/Mueller2006/Chapter2/Inconsistency1.e',20). % load foundations/Root.e :- if(is_e_toplevel). :- load_e_cond('foundations/Root.e', changed). % load('/pack/logicmoo_ec/ext/ec_sources/foundations/Root.e',changed). :- endif. % load foundations/EC.e :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency1.e',20). :- if(is_e_toplevel). :- load_e_cond('foundations/EC.e', changed). % load('/pack/logicmoo_ec/ext/ec_sources/foundations/EC.e',changed). :- endif. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency1.e',23). % sort object % From E: % % sort(object). sort(object). % object O1 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency1.e',23). % From E: % % t(object,o1). object(o1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency1.e',26). % fluent F(object) % From E: % % fluent( % f(object)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency1.e',26). fluents([f/1]). % From E: % % mpred_prop( % f(object), % fluent). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency1.e',26). mpred_prop(f(object),fluent). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency1.e',28). % event E(object) % From E: % % event( % e(object)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency1.e',28). events([e/1]). % From E: % % mpred_prop( % e(object), % event). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency1.e',28). mpred_prop(e(object),event). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency1.e',30). % [object,time] % Initiates(E(object),F(object),time). % From E: % % initiates( % e(Object), % f(Object), % Time). e(Object)initiates f(Object). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency1.e',30). /* initiated(happens(e(Object),Time_From,Time_Until), f(Object), []). */ % "% =================================". % [object,time] % Terminates(E(object),F(object),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency1.e',30). % From E: % % terminates( % e(Object), % f(Object), % Time). e(Object)terminates f(Object). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency1.e',30). /* terminated(happens(e(Object),Time_From,Time_Until), f(Object), []). */ % "% =================================". % Happens(E(O1),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency1.e',32). % From E: % % happens( % e(o1), % t+0). observe e(o1)at t+0. % observe([e(o1)],t+0). % "% =================================". % range time 0 1 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency1.e',34). % From E: % % range(time,0,1). range(time,0,1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency1.e',36). % range offset 1 1 % From E: % % range(offset,1,1). range(offset,1,1). %; End of file. % translate: ending File: /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Inconsistency1.e.lps