:-include(library('ec_planner/ec_test_incl')). :-expects_dialect(pfc). % Tue, 06 Oct 2020 04:57:50 GMT % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.pel:4 /* loading(load_e_pl, '/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.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{CicekliYildirim:2000, %; author = "Nihan Kesim Cicekli and Yakup Yildirim", %; year = "2000", %; title = "Formalizing workflows using the event calculus", %; editor = "Mohamed T. Ibrahim and Josef K{\"{u}}ng and Norman Revell", %; booktitle = "Database and Expert Systems Applications", %; series = "Lecture Notes in Computer Science", %; volume = "1873", %; pages = "222--231", %; address = "Berlin", %; publisher = "Springer", %; } %; %; @unpublished{WFMC:1999, %; author = "{Workflow Management Coalition}", %; year = "1999", %; title = "\uppercase{W}orkflow \uppercase{M}anagement \uppercase{C}oalition Terminology \& Glossary", %; howpublished = "Document Number WFMC-TC-1011, Document Status -- Issue 3.0, Workflow Management Coalition, Winchester, UK", %; } %; %; @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/Chapter14/Workflow.e:39 % option modeldiff on % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:41 % load foundations/Root.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:42 % load foundations/EC.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:44 % sort activity % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:45 sort(activity). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:45 sort(activity). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:45 % sort condition % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:46 sort(condition). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:46 sort(condition). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:46 % activity A, B, C1, C2, C3, D, E1, E2, E3, F, G % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 t(activity,a). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 activity(a). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 t(activity,b). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 activity(b). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 t(activity,c1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 activity(c1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 t(activity,c2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 activity(c2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 t(activity,c3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 activity(c3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 t(activity,d). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 activity(d). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 t(activity,e1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 activity(e1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 t(activity,e2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 activity(e2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 t(activity,e3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 activity(e3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 t(activity,f). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 activity(f). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 t(activity,g). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 activity(g). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:47 % condition E1C, E2C, E3C, FC % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:48 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:48 t(condition,e1c). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:48 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:48 condition(e1c). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:48 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:48 t(condition,e2c). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:48 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:48 condition(e2c). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:48 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:48 t(condition,e3c). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:48 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:48 condition(e3c). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:48 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:48 t(condition,fc). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:48 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:48 condition(fc). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:49 % fluent Active(activity) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:50 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:50 fluent(active(activity)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:50 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:50 fluents([active/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:50 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:50 fluents([active/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:50 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:50 meta_argtypes(active(activity)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:50 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:50 meta_argtypes(active(activity)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:50 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:50 mpred_prop(active(activity),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:50 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:50 mpred_prop(active(activity),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:50 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:50 meta_argtypes(active(activity)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:50 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:50 meta_argtypes(active(activity)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:50 % fluent Completed(activity) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:51 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:51 fluent(completed(activity)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:51 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:51 fluents([completed/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:51 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:51 fluents([completed/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:51 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:51 meta_argtypes(completed(activity)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:51 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:51 meta_argtypes(completed(activity)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:51 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:51 mpred_prop(completed(activity),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:51 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:51 mpred_prop(completed(activity),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:51 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:51 meta_argtypes(completed(activity)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:51 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:51 meta_argtypes(completed(activity)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:51 % fluent Condition(condition) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:52 fluent(condition(condition)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:52 fluents([condition/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:52 fluents([condition/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:52 meta_argtypes(condition(condition)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:52 meta_argtypes(condition(condition)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:52 mpred_prop(condition(condition),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:52 mpred_prop(condition(condition),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:52 meta_argtypes(condition(condition)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:52 meta_argtypes(condition(condition)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:52 % noninertial Condition % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:53 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:53 noninertial(condition). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:53 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:53 noninertial(condition). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:54 % event Start(activity) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:55 event(start(activity)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:55 events([start/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:55 events([start/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:55 meta_argtypes(start(activity)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:55 meta_argtypes(start(activity)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:55 mpred_prop(start(activity),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:55 mpred_prop(start(activity),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:55 meta_argtypes(start(activity)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:55 meta_argtypes(start(activity)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:55 % event End(activity) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:56 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:56 event(end(activity)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:56 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:56 events([end/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:56 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:56 events([end/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:56 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:56 meta_argtypes(end(activity)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:56 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:56 meta_argtypes(end(activity)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:56 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:56 mpred_prop(end(activity),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:56 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:56 mpred_prop(end(activity),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:56 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:56 meta_argtypes(end(activity)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:56 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:56 meta_argtypes(end(activity)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:57 %; Sigma % [activity,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:60 % Initiates(Start(activity),Active(activity),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:60 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(start(Activity), active(Activity), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:60 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:60 initiates(start(Start),active(Start),Initiates). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:60 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:60 initiated(happens(start(Start),Maptime,Happens), active(Start), []). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:62 % [activity,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:63 % Terminates(Start(activity),Completed(activity),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:63 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], terminates(start(Activity), completed(Activity), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:63 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:63 terminates(start(Start),completed(Start),Terminates). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:63 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:63 terminated(happens(start(Start),Maptime,Happens), completed(Start), []). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:65 % [activity,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:66 % Initiates(End(activity),Completed(activity),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:66 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(end(Activity), completed(Activity), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:66 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:66 initiates(end(End),completed(End),Initiates). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:66 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:66 initiated(happens(end(End),Maptime,Happens), completed(End), []). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:68 % [activity,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:69 % Terminates(End(activity),Active(activity),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:69 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], terminates(end(Activity), active(Activity), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:69 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:69 terminates(end(End),active(End),Terminates). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:69 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:69 terminated(happens(end(End),Maptime,Happens), active(End), []). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:71 %; Delta %; A; B % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:74 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:74 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:75 % !HoldsAt(Active(B),time) & % !HoldsAt(Completed(A),time-1) & % HoldsAt(Completed(A),time) -> % Happens(Start(B),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:78 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:78 holds_at(neg(active(b)), Time), holds_at(neg(completed(a)), Time-1), holds_at(completed(a), Time) -> happens(start(b), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:78 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:78 reactive_rule([ holds(not(active(b)),Time), holds(not(completed(a)),Time-1), holds(completed(a),Time) ], [happens(start(b),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:80 %; B; AND-split C1, C2, C3 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:81 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:81 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:82 % !HoldsAt(Active(C1),time) & % !HoldsAt(Completed(B),time-1) & % HoldsAt(Completed(B),time) -> % Happens(Start(C1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:85 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:85 holds_at(neg(active(c1)), Time), holds_at(neg(completed(b)), Time-1), holds_at(completed(b), Time) -> happens(start(c1), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:85 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:85 reactive_rule([ holds(not(active(c1)),Time), holds(not(completed(b)),Time-1), holds(completed(b),Time) ], [happens(start(c1),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:87 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:87 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:88 % !HoldsAt(Active(C2),time) & % !HoldsAt(Completed(B),time-1) & % HoldsAt(Completed(B),time) -> % Happens(Start(C2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:91 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:91 holds_at(neg(active(c2)), Time), holds_at(neg(completed(b)), Time-1), holds_at(completed(b), Time) -> happens(start(c2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:91 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:91 reactive_rule([ holds(not(active(c2)),Time), holds(not(completed(b)),Time-1), holds(completed(b),Time) ], [happens(start(c2),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:93 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:93 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:94 % !HoldsAt(Active(C3),time) & % !HoldsAt(Completed(B),time-1) & % HoldsAt(Completed(B),time) -> % Happens(Start(C3),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:97 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:97 holds_at(neg(active(c3)), Time), holds_at(neg(completed(b)), Time-1), holds_at(completed(b), Time) -> happens(start(c3), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:97 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:97 reactive_rule([ holds(not(active(c3)),Time), holds(not(completed(b)),Time-1), holds(completed(b),Time) ], [happens(start(c3),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:99 %; AND-join C1, C2, C3; D % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:100 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:100 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:101 % !HoldsAt(Active(D),time) & % ((!HoldsAt(Completed(C1),time-1) & HoldsAt(Completed(C1),time))| % (!HoldsAt(Completed(C2),time-1) & HoldsAt(Completed(C2),time))| % (!HoldsAt(Completed(C3),time-1) & HoldsAt(Completed(C3),time))) & % HoldsAt(Completed(C1),time) & % HoldsAt(Completed(C2),time) & % HoldsAt(Completed(C3),time) -> % Happens(Start(D),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:108 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:108 holds_at(neg(active(d)), Time), (holds_at(neg(completed(c1)), Time-1), holds_at(completed(c1), Time);holds_at(neg(completed(c2)), Time-1), holds_at(completed(c2), Time);holds_at(neg(completed(c3)), Time-1), holds_at(completed(c3), Time)), holds_at(completed(c1), Time), holds_at(completed(c2), Time), holds_at(completed(c3), Time) -> happens(start(d), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:108 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:108 reactive_rule([ holds(not(active(d)), Time), (at(not(completed(c1)), Time-1), at(completed(c1), Time);at(not(completed(c2)), Time-1), at(completed(c2), Time);at(not(completed(c3)), Time-1), at(completed(c3), Time)), holds(completed(c1), Time), holds(completed(c2), Time), holds(completed(c3), Time) ], [happens(start(d), Time)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:110 %; D; XOR-split E1, E2, E3 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:111 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:111 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:112 % !HoldsAt(Active(E1),time) & % !HoldsAt(Completed(D),time-1) & % HoldsAt(Completed(D),time) & % HoldsAt(Condition(E1C),time) -> % Happens(Start(E1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:116 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:116 holds_at(neg(active(e1)), Time), holds_at(neg(completed(d)), Time-1), holds_at(completed(d), Time), holds_at(condition(e1c), Time) -> happens(start(e1), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:116 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:116 reactive_rule([ holds(not(active(e1)),Time), holds(not(completed(d)),Time-1), holds(completed(d),Time), holds(condition(e1c),Time) ], [happens(start(e1),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:118 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:118 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:119 % !HoldsAt(Active(E2),time) & % !HoldsAt(Completed(D),time-1) & % HoldsAt(Completed(D),time) & % HoldsAt(Condition(E2C),time) -> % Happens(Start(E2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:123 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:123 holds_at(neg(active(e2)), Time), holds_at(neg(completed(d)), Time-1), holds_at(completed(d), Time), holds_at(condition(e2c), Time) -> happens(start(e2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:123 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:123 reactive_rule([ holds(not(active(e2)),Time), holds(not(completed(d)),Time-1), holds(completed(d),Time), holds(condition(e2c),Time) ], [happens(start(e2),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:125 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:125 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:126 % !HoldsAt(Active(E3),time) & % !HoldsAt(Completed(D),time-1) & % HoldsAt(Completed(D),time) & % HoldsAt(Condition(E3C),time) -> % Happens(Start(E3),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:130 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:130 holds_at(neg(active(e3)), Time), holds_at(neg(completed(d)), Time-1), holds_at(completed(d), Time), holds_at(condition(e3c), Time) -> happens(start(e3), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:130 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:130 reactive_rule([ holds(not(active(e3)),Time), holds(not(completed(d)),Time-1), holds(completed(d),Time), holds(condition(e3c),Time) ], [happens(start(e3),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:132 %; XOR-join E1, E2, E3; F % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:133 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:133 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:134 % !HoldsAt(Active(F),time) & % ((!HoldsAt(Completed(E1),time-1) & HoldsAt(Completed(E1),time))| % (!HoldsAt(Completed(E2),time-1) & HoldsAt(Completed(E2),time))| % (!HoldsAt(Completed(E3),time-1) & HoldsAt(Completed(E3),time))) -> % Happens(Start(F),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:138 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:138 holds_at(neg(active(f)), Time), (holds_at(neg(completed(e1)), Time-1), holds_at(completed(e1), Time);holds_at(neg(completed(e2)), Time-1), holds_at(completed(e2), Time);holds_at(neg(completed(e3)), Time-1), holds_at(completed(e3), Time)) -> happens(start(f), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:138 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:138 reactive_rule([ holds(not(active(f)), Time), (at(not(completed(e1)), Time-1), at(completed(e1), Time);at(not(completed(e2)), Time-1), at(completed(e2), Time);at(not(completed(e3)), Time-1), at(completed(e3), Time)) ], [happens(start(f), Time)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:140 %; while (FC) F; G % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:141 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:141 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:142 % !HoldsAt(Active(F),time) & % !HoldsAt(Completed(F),time-1) & % HoldsAt(Completed(F),time) & % HoldsAt(Condition(FC),time) -> % Happens(Start(F),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:146 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:146 holds_at(neg(active(f)), Time), holds_at(neg(completed(f)), Time-1), holds_at(completed(f), Time), holds_at(condition(fc), Time) -> happens(start(f), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:146 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:146 reactive_rule([ holds(not(active(f)),Time), holds(not(completed(f)),Time-1), holds(completed(f),Time), holds(condition(fc),Time) ], [happens(start(f),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:148 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:148 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:149 % !HoldsAt(Active(G),time) & % !HoldsAt(Completed(F),time-1) & % HoldsAt(Completed(F),time) & % !HoldsAt(Condition(FC),time) -> % Happens(Start(G),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:153 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:153 holds_at(neg(active(g)), Time), holds_at(neg(completed(f)), Time-1), holds_at(completed(f), Time), holds_at(neg(condition(fc)), Time) -> happens(start(g), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:153 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:153 reactive_rule([ holds(not(active(g)),Time), holds(not(completed(f)),Time-1), holds(completed(f),Time), holds(not(condition(fc)),Time) ], [happens(start(g),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:155 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:155 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:155 % Happens(Start(A),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:155 /* [axiom_uses(delta, Axiom_Uses), axiom_uses(delta, Axiom_Uses), axiom_uses(delta, Axiom_Uses), axiom_uses(delta, Axiom_Uses), axiom_uses(delta, Axiom_Uses), axiom_uses(delta, Axiom_Uses), axiom_uses(delta, Axiom_Uses), axiom_uses(delta, Axiom_Uses), axiom_uses(delta, Axiom_Uses), axiom_uses(delta, Axiom_Uses), axiom_uses(delta, Axiom_Uses), axiom_uses(delta, Axiom_Uses)] -> ta(TaP_Num4_V, tvs1=[start], tvs2=[start], happens(start(a), start)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:155 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:155 axiom_uses(delta, Axiom_Uses2) -> happens(start(a), start). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:155 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:155 reactive_rule([axiom_uses(delta,Axiom_Uses2)], [observe(at(start(a),start))]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:156 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:156 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:156 % Happens(End(A),1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:156 /* [axiom_uses(delta, Axiom_Uses), b(start, Maptime), ignore(start+1==Maptime)] -> ta(TaP_Num4_V, tvs1=[start+1], tvs2=[Maptime, start], happens(end(a), Maptime)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:156 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:156 axiom_uses(delta, Axiom_Uses4), b(start, Maptime3) -> happens(end(a), Maptime3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:156 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:156 reactive_rule([ axiom_uses(delta,Axiom_Uses4), b(start,Maptime3) ], [happens(end(a),Maptime3)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:157 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:157 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:157 % Happens(End(B),3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:157 /* [axiom_uses(delta, Axiom_Uses), b(start, Start_Num3), toffset(start, 3, Start_Num3), ignore(start+3==Start_Num3)] -> ta(TaP_Num4_V, tvs1=[start+3], tvs2=[Start_Num3, start], happens(end(b), Start_Num3)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:157 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:157 axiom_uses(delta, Axiom_Uses4), b(start, Maptime), toffset(start, 3, Maptime) -> happens(end(b), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:157 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:157 reactive_rule([ axiom_uses(delta,Axiom_Uses4), b(start,Maptime), toffset(start,3,Maptime) ], [happens(end(b),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:158 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:158 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:158 % Happens(End(C1),5). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:158 /* [axiom_uses(delta, Axiom_Uses), b(start, Start_Num5), toffset(start, 5, Start_Num5), ignore(start+5==Start_Num5)] -> ta(TaP_Num4_V, tvs1=[start+5], tvs2=[Start_Num5, start], happens(end(c1), Start_Num5)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:158 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:158 axiom_uses(delta, Axiom_Uses4), b(start, Maptime), toffset(start, 5, Maptime) -> happens(end(c1), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:158 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:158 reactive_rule([ axiom_uses(delta,Axiom_Uses4), b(start,Maptime), toffset(start,5,Maptime) ], [happens(end(c1),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:159 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:159 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:159 % Happens(End(C2),6). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:159 /* [axiom_uses(delta, Axiom_Uses), b(start, Start_Num6), toffset(start, 6, Start_Num6), ignore(start+6==Start_Num6)] -> ta(TaP_Num4_V, tvs1=[start+6], tvs2=[Start_Num6, start], happens(end(c2), Start_Num6)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:159 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:159 axiom_uses(delta, Axiom_Uses4), b(start, Maptime), toffset(start, 6, Maptime) -> happens(end(c2), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:159 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:159 reactive_rule([ axiom_uses(delta,Axiom_Uses4), b(start,Maptime), toffset(start,6,Maptime) ], [happens(end(c2),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:160 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:160 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:160 % Happens(End(C3),7). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:160 /* [axiom_uses(delta, Axiom_Uses), b(start, Start_Num7), toffset(start, 7, Start_Num7), ignore(start+7==Start_Num7)] -> ta(TaP_Num4_V, tvs1=[start+7], tvs2=[Start_Num7, start], happens(end(c3), Start_Num7)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:160 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:160 axiom_uses(delta, Axiom_Uses4), b(start, Maptime), toffset(start, 7, Maptime) -> happens(end(c3), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:160 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:160 reactive_rule([ axiom_uses(delta,Axiom_Uses4), b(start,Maptime), toffset(start,7,Maptime) ], [happens(end(c3),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:161 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:161 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:161 % Happens(End(D),9). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:161 /* [axiom_uses(delta, Axiom_Uses), b(start, Start_Num9), toffset(start, 9, Start_Num9), ignore(start+9==Start_Num9)] -> ta(TaP_Num4_V, tvs1=[start+9], tvs2=[Start_Num9, start], happens(end(d), Start_Num9)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:161 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:161 axiom_uses(delta, Axiom_Uses4), b(start, Maptime), toffset(start, 9, Maptime) -> happens(end(d), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:161 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:161 reactive_rule([ axiom_uses(delta,Axiom_Uses4), b(start,Maptime), toffset(start,9,Maptime) ], [happens(end(d),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:162 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:162 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:162 % Happens(End(E2),11). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:162 /* [axiom_uses(delta, Axiom_Uses), b(start, Start_Num11), toffset(start, 11, Start_Num11), ignore(start+11==Start_Num11)] -> ta(TaP_Num4_V, tvs1=[start+11], tvs2=[Start_Num11, start], happens(end(e2), Start_Num11)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:162 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:162 axiom_uses(delta, Axiom_Uses4), b(start, Maptime), toffset(start, 11, Maptime) -> happens(end(e2), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:162 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:162 reactive_rule([ axiom_uses(delta,Axiom_Uses4), b(start,Maptime), toffset(start,11,Maptime) ], [happens(end(e2),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:163 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:163 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:163 % Happens(End(F),13). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:163 /* [axiom_uses(delta, Axiom_Uses), b(start, Start_Num13), toffset(start, 13, Start_Num13), ignore(start+13==Start_Num13)] -> ta(TaP_Num4_V, tvs1=[start+13], tvs2=[Start_Num13, start], happens(end(f), Start_Num13)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:163 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:163 axiom_uses(delta, Axiom_Uses4), b(start, Maptime), toffset(start, 13, Maptime) -> happens(end(f), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:163 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:163 reactive_rule([ axiom_uses(delta,Axiom_Uses4), b(start,Maptime), toffset(start,13,Maptime) ], [happens(end(f),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:164 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:164 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:164 % Happens(End(F),15). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:164 /* [axiom_uses(delta, Axiom_Uses), b(start, Start_Num15), toffset(start, 15, Start_Num15), ignore(start+15==Start_Num15)] -> ta(TaP_Num4_V, tvs1=[start+15], tvs2=[Start_Num15, start], happens(end(f), Start_Num15)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:164 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:164 axiom_uses(delta, Axiom_Uses4), b(start, Maptime), toffset(start, 15, Maptime) -> happens(end(f), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:164 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:164 reactive_rule([ axiom_uses(delta,Axiom_Uses4), b(start,Maptime), toffset(start,15,Maptime) ], [happens(end(f),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:166 %; Gamma % [activity] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:168 % !HoldsAt(Active(activity),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:168 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(active(Activity)))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:168 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:168 initially(neg(active(Active))). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:168 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:168 initial_state([not(active(Active))]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:169 % [activity] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:169 % !HoldsAt(Completed(activity),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:169 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(completed(Activity)))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:169 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:169 initially(neg(completed(Completed))). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:169 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:169 initial_state([not(completed(Completed))]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:170 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:170 % time=% 14 <-> HoldsAt(Condition(FC),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:170 /* equals(Time, 14) <-> holds_at(condition(fc), Time). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:170 /* [equals] <-> [holds_at, condition, fc]. */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:170 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:170 equals(Time, 14) -> holds_at(condition(fc), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:170 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:170 reactive_rule([equals(Time,14)], [holds(condition(fc),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:170 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:170 holds_at(condition(fc), Time) -> equals(Time, 14). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:170 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:170 reactive_rule([holds(condition(fc),Time)], [equals(Time,14)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:171 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:171 % !HoldsAt(Condition(E1C),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:171 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(neg(condition(e1c)), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:171 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:171 holds_at(neg(condition(e1c)),Time1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:171 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:171 l_int(holds(not(condition(e1c)),Time1),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:172 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:172 % time=% 10 <-> HoldsAt(Condition(E2C),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:172 /* equals(Time, 10) <-> holds_at(condition(e2c), Time). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:172 /* [equals] <-> [holds_at, condition, e2c]. */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:172 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:172 equals(Time, 10) -> holds_at(condition(e2c), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:172 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:172 reactive_rule([equals(Time,10)], [holds(condition(e2c),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:172 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:172 holds_at(condition(e2c), Time) -> equals(Time, 10). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:172 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:172 reactive_rule([holds(condition(e2c),Time)], [equals(Time,10)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:173 % [time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:173 % !HoldsAt(Condition(E3C),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:173 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(neg(condition(e3c)), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:173 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:173 holds_at(neg(condition(e3c)),Time1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:173 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:173 l_int(holds(not(condition(e3c)),Time1),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:175 % completion Delta Happens % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:176 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:176 completion(delta). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:176 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:176 completion(delta). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:176 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:176 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:176 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:176 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:177 % range time 0 18 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:178 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:178 range(time,0,18). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:178 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:178 range(time,0,18). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:178 % range offset 1 1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:179 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:179 range(offset,1,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:179 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter14/Workflow.e:179 range(offset,1,1). %; End of file.