1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'examples/Mueller2006/Chapter14/Workflow.e').
    4%;
    5%; Copyright (c) 2005 IBM Corporation and others.
    6%; All rights reserved. This program and the accompanying materials
    7%; are made available under the terms of the Common Public License v1.0
    8%; which accompanies this distribution, and is available at
    9%; http://www.eclipse.org/legal/cpl-v10.html
   10%;
   11%; Contributors:
   12%; IBM - Initial implementation
   13%;
   14%; @incollection{CicekliYildirim:2000,
   15%;   author = "Nihan Kesim Cicekli and Yakup Yildirim",
   16%;   year = "2000",
   17%;   title = "Formalizing workflows using the event calculus",
   18%;   editor = "Mohamed T. Ibrahim and Josef K{\"{u}}ng and Norman Revell",
   19%;   booktitle = "Database and Expert Systems Applications",
   20%;   series = "Lecture Notes in Computer Science",
   21%;   volume = "1873",
   22%;   pages = "222--231",
   23%;   address = "Berlin",
   24%;   publisher = "Springer",
   25%; }
   26%;
   27%; @unpublished{WFMC:1999,
   28%;   author = "{Workflow Management Coalition}",
   29%;   year = "1999",
   30%;   title = "\uppercase{W}orkflow \uppercase{M}anagement \uppercase{C}oalition Terminology \& Glossary",
   31%;   howpublished = "Document Number WFMC-TC-1011, Document Status -- Issue 3.0, Workflow Management Coalition, Winchester, UK",
   32%; }
   33%;
   34%; @book{Mueller:2006,
   35%;   author = "Erik T. Mueller",
   36%;   year = "2006",
   37%;   title = "Commonsense Reasoning",
   38%;   address = "San Francisco",
   39%;   publisher = "Morgan Kaufmann/Elsevier",
   40%; }
   41%;
   42
   43% option modeldiff on
   44:- set_ec_option(modeldiff, on).   45
   46% load foundations/Root.e
   47
   48% load foundations/EC.e
   49
   50% sort activity
   51==> sort(activity).
   52
   53% sort condition
   54==> sort(condition).
   55
   56% activity A, B, C1, C2, C3, D, E1, E2, E3, F, G
   57==> t(activity,a).
   58==> t(activity,b).
   59==> t(activity,c1).
   60==> t(activity,c2).
   61==> t(activity,c3).
   62==> t(activity,d).
   63==> t(activity,e1).
   64==> t(activity,e2).
   65==> t(activity,e3).
   66==> t(activity,f).
   67==> t(activity,g).
   68
   69% condition E1C, E2C, E3C, FC
   70==> t(condition,e1c).
   71==> t(condition,e2c).
   72==> t(condition,e3c).
   73==> t(condition,fc).
   74
   75% fluent Active(activity)
   76 %  fluent(active(activity)).
   77==> mpred_prop(active(activity),fluent).
   78==> meta_argtypes(active(activity)).
   79
   80% fluent Completed(activity)
   81 %  fluent(completed(activity)).
   82==> mpred_prop(completed(activity),fluent).
   83==> meta_argtypes(completed(activity)).
   84
   85% fluent Condition(condition)
   86 %  fluent(condition(condition)).
   87==> mpred_prop(condition(condition),fluent).
   88==> meta_argtypes(condition(condition)).
   89
   90% noninertial Condition
   91==> noninertial(condition).
   92
   93% event Start(activity)
   94 %  event(start(activity)).
   95==> mpred_prop(start(activity),event).
   96==> meta_argtypes(start(activity)).
   97
   98% event End(activity)
   99 %  event(end(activity)).
  100==> mpred_prop(end(activity),event).
  101==> meta_argtypes(end(activity)).
  102
  103
  104% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:57
  105%; Sigma
  106% [activity,time]
  107% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:60
  108% Initiates(Start(activity),Active(activity),time).
  109axiom(initiates(start(Activity), active(Activity), Time),
  110    []).
  111
  112
  113% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:62
  114% [activity,time]
  115% Terminates(Start(activity),Completed(activity),time).
  116% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:63
  117axiom(terminates(start(Activity), completed(Activity), Time),
  118    []).
  119
  120
  121% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:65
  122% [activity,time]
  123% Initiates(End(activity),Completed(activity),time).
  124% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:66
  125axiom(initiates(end(Activity), completed(Activity), Time),
  126    []).
  127
  128
  129% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:68
  130% [activity,time]
  131% Terminates(End(activity),Active(activity),time).
  132% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:69
  133axiom(terminates(end(Activity), active(Activity), Time),
  134    []).
  135
  136
  137% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:71
  138%; Delta
  139%; A; B
  140
  141% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:74
  142% Delta: 
  143next_axiom_uses(delta).
  144 
  145
  146
  147% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:74
  148% [time]
  149% !HoldsAt(Active(B),time) &
  150% !HoldsAt(Completed(A),time-1) &
  151% HoldsAt(Completed(A),time) ->
  152% Happens(Start(B),time).
  153% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:78
  154axiom(happens(start(b), start),
  155   
  156    [ not(holds_at(active(b), start)),
  157      not(holds_at(completed(a), t)),
  158      holds_at(completed(a), start),
  159      b(t, start),
  160      ignore(start-1=t)
  161    ]).
  162
  163
  164% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:80
  165%; B; AND-split C1, C2, C3
  166
  167% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:81
  168% Delta: 
  169next_axiom_uses(delta).
  170 
  171
  172
  173% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:81
  174% [time]
  175% !HoldsAt(Active(C1),time) &
  176% !HoldsAt(Completed(B),time-1) &
  177% HoldsAt(Completed(B),time) ->
  178% Happens(Start(C1),time).
  179% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:85
  180axiom(happens(start(c1), start),
  181   
  182    [ not(holds_at(active(c1), start)),
  183      not(holds_at(completed(b), t)),
  184      holds_at(completed(b), start),
  185      b(t, start),
  186      ignore(start-1=t)
  187    ]).
  188
  189% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:87
  190% Delta: 
  191next_axiom_uses(delta).
  192 
  193
  194
  195% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:87
  196% [time]
  197% !HoldsAt(Active(C2),time) &
  198% !HoldsAt(Completed(B),time-1) &
  199% HoldsAt(Completed(B),time) ->
  200% Happens(Start(C2),time).
  201% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:91
  202axiom(happens(start(c2), start),
  203   
  204    [ not(holds_at(active(c2), start)),
  205      not(holds_at(completed(b), t)),
  206      holds_at(completed(b), start),
  207      b(t, start),
  208      ignore(start-1=t)
  209    ]).
  210
  211% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:93
  212% Delta: 
  213next_axiom_uses(delta).
  214 
  215
  216
  217% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:93
  218% [time]
  219% !HoldsAt(Active(C3),time) &
  220% !HoldsAt(Completed(B),time-1) &
  221% HoldsAt(Completed(B),time) ->
  222% Happens(Start(C3),time).
  223% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:97
  224axiom(happens(start(c3), start),
  225   
  226    [ not(holds_at(active(c3), start)),
  227      not(holds_at(completed(b), t)),
  228      holds_at(completed(b), start),
  229      b(t, start),
  230      ignore(start-1=t)
  231    ]).
  232
  233
  234% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:99
  235%; AND-join C1, C2, C3; D
  236
  237% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:100
  238% Delta: 
  239next_axiom_uses(delta).
  240 
  241
  242
  243% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:100
  244% [time]
  245% !HoldsAt(Active(D),time) &
  246% ((!HoldsAt(Completed(C1),time-1) & HoldsAt(Completed(C1),time))|
  247%  (!HoldsAt(Completed(C2),time-1) & HoldsAt(Completed(C2),time))|
  248%  (!HoldsAt(Completed(C3),time-1) & HoldsAt(Completed(C3),time))) &
  249% HoldsAt(Completed(C1),time) &
  250% HoldsAt(Completed(C2),time) &
  251% HoldsAt(Completed(C3),time) ->
  252% Happens(Start(D),time).
  253% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:108
  254axiom(happens(start(d), start),
  255   
  256    [ not(holds_at(completed(c1), t)),
  257      holds_at(completed(c1), start),
  258      not(holds_at(active(d), start)),
  259      holds_at(completed(c1), start),
  260      holds_at(completed(c2), start),
  261      holds_at(completed(c3), start),
  262      b(t, start),
  263      ignore(start-1=t)
  264    ]).
  265axiom(happens(start(d), start),
  266   
  267    [ not(holds_at(completed(c2), t)),
  268      holds_at(completed(c2), start),
  269      not(holds_at(active(d), start)),
  270      holds_at(completed(c1), start),
  271      holds_at(completed(c2), start),
  272      holds_at(completed(c3), start),
  273      b(t, start),
  274      ignore(start-1=t)
  275    ]).
  276axiom(happens(start(d), start),
  277   
  278    [ not(holds_at(completed(c3), t)),
  279      holds_at(completed(c3), start),
  280      not(holds_at(active(d), start)),
  281      holds_at(completed(c1), start),
  282      holds_at(completed(c2), start),
  283      holds_at(completed(c3), start),
  284      b(t, start),
  285      ignore(start-1=t)
  286    ]).
  287
  288
  289% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:110
  290%; D; XOR-split E1, E2, E3
  291
  292% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:111
  293% Delta: 
  294next_axiom_uses(delta).
  295 
  296
  297
  298% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:111
  299% [time]
  300% !HoldsAt(Active(E1),time) &
  301% !HoldsAt(Completed(D),time-1) &
  302% HoldsAt(Completed(D),time) &
  303% HoldsAt(Condition(E1C),time) ->
  304% Happens(Start(E1),time).
  305% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:116
  306axiom(happens(start(e1), start),
  307   
  308    [ not(holds_at(active(e1), start)),
  309      not(holds_at(completed(d), t)),
  310      holds_at(completed(d), start),
  311      holds_at(condition(e1c), start),
  312      b(t, start),
  313      ignore(start-1=t)
  314    ]).
  315
  316% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:118
  317% Delta: 
  318next_axiom_uses(delta).
  319 
  320
  321
  322% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:118
  323% [time]
  324% !HoldsAt(Active(E2),time) &
  325% !HoldsAt(Completed(D),time-1) &
  326% HoldsAt(Completed(D),time) &
  327% HoldsAt(Condition(E2C),time) ->
  328% Happens(Start(E2),time).
  329% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:123
  330axiom(happens(start(e2), start),
  331   
  332    [ not(holds_at(active(e2), start)),
  333      not(holds_at(completed(d), t)),
  334      holds_at(completed(d), start),
  335      holds_at(condition(e2c), start),
  336      b(t, start),
  337      ignore(start-1=t)
  338    ]).
  339
  340% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:125
  341% Delta: 
  342next_axiom_uses(delta).
  343 
  344
  345
  346% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:125
  347% [time]
  348% !HoldsAt(Active(E3),time) &
  349% !HoldsAt(Completed(D),time-1) &
  350% HoldsAt(Completed(D),time) &
  351% HoldsAt(Condition(E3C),time) ->
  352% Happens(Start(E3),time).
  353% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:130
  354axiom(happens(start(e3), start),
  355   
  356    [ not(holds_at(active(e3), start)),
  357      not(holds_at(completed(d), t)),
  358      holds_at(completed(d), start),
  359      holds_at(condition(e3c), start),
  360      b(t, start),
  361      ignore(start-1=t)
  362    ]).
  363
  364
  365% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:132
  366%; XOR-join E1, E2, E3; F
  367
  368% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:133
  369% Delta: 
  370next_axiom_uses(delta).
  371 
  372
  373
  374% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:133
  375% [time]
  376% !HoldsAt(Active(F),time) &
  377% ((!HoldsAt(Completed(E1),time-1) & HoldsAt(Completed(E1),time))|
  378%  (!HoldsAt(Completed(E2),time-1) & HoldsAt(Completed(E2),time))|
  379%  (!HoldsAt(Completed(E3),time-1) & HoldsAt(Completed(E3),time))) ->
  380% Happens(Start(F),time).
  381% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:138
  382axiom(happens(start(f), start),
  383   
  384    [ not(holds_at(completed(e1), t)),
  385      holds_at(completed(e1), start),
  386      not(holds_at(active(f), start)),
  387      b(t, start),
  388      ignore(start-1=t)
  389    ]).
  390axiom(happens(start(f), start),
  391   
  392    [ not(holds_at(completed(e2), t)),
  393      holds_at(completed(e2), start),
  394      not(holds_at(active(f), start)),
  395      b(t, start),
  396      ignore(start-1=t)
  397    ]).
  398axiom(happens(start(f), start),
  399   
  400    [ not(holds_at(completed(e3), t)),
  401      holds_at(completed(e3), start),
  402      not(holds_at(active(f), start)),
  403      b(t, start),
  404      ignore(start-1=t)
  405    ]).
  406
  407
  408% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:140
  409%; while (FC) F; G
  410
  411% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:141
  412% Delta: 
  413next_axiom_uses(delta).
  414 
  415
  416
  417% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:141
  418% [time]
  419% !HoldsAt(Active(F),time) &
  420% !HoldsAt(Completed(F),time-1) &
  421% HoldsAt(Completed(F),time) &
  422% HoldsAt(Condition(FC),time) ->
  423% Happens(Start(F),time).
  424% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:146
  425axiom(happens(start(f), start),
  426   
  427    [ not(holds_at(active(f), start)),
  428      not(holds_at(completed(f), t)),
  429      holds_at(completed(f), start),
  430      holds_at(condition(fc), start),
  431      b(t, start),
  432      ignore(start-1=t)
  433    ]).
  434
  435% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:148
  436% Delta: 
  437next_axiom_uses(delta).
  438 
  439
  440
  441% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:148
  442% [time]
  443% !HoldsAt(Active(G),time) &
  444% !HoldsAt(Completed(F),time-1) &
  445% HoldsAt(Completed(F),time) &
  446% !HoldsAt(Condition(FC),time) ->
  447% Happens(Start(G),time).
  448% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:153
  449axiom(happens(start(g), start),
  450   
  451    [ not(holds_at(active(g), start)),
  452      not(holds_at(completed(f), t)),
  453      holds_at(completed(f), start),
  454      not(holds_at(condition(fc), start)),
  455      b(t, start),
  456      ignore(start-1=t)
  457    ]).
  458
  459% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:155
  460% Delta: 
  461next_axiom_uses(delta).
  462 
  463
  464
  465% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:155
  466% Happens(Start(A),0).
  467axiom(happens(start(a), t),
  468    [is_time(0)]).
  469
  470% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:156
  471% Delta: 
  472next_axiom_uses(delta).
  473 
  474
  475
  476% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:156
  477% Happens(End(A),1).
  478axiom(happens(end(a), start),
  479    [is_time(1), b(t, start), ignore(t+1=start)]).
  480
  481% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:157
  482% Delta: 
  483next_axiom_uses(delta).
  484 
  485
  486
  487% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:157
  488% Happens(End(B),3).
  489axiom(happens(end(b), t3),
  490    [is_time(3), b(t, t3), ignore(t+3=t3)]).
  491
  492% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:158
  493% Delta: 
  494next_axiom_uses(delta).
  495 
  496
  497
  498% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:158
  499% Happens(End(C1),5).
  500axiom(happens(end(c1), t5),
  501    [is_time(5), b(t, t5), ignore(t+5=t5)]).
  502
  503% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:159
  504% Delta: 
  505next_axiom_uses(delta).
  506 
  507
  508
  509% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:159
  510% Happens(End(C2),6).
  511axiom(happens(end(c2), t6),
  512    [is_time(6), b(t, t6), ignore(t+6=t6)]).
  513
  514% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:160
  515% Delta: 
  516next_axiom_uses(delta).
  517 
  518
  519
  520% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:160
  521% Happens(End(C3),7).
  522axiom(happens(end(c3), t7),
  523    [is_time(7), b(t, t7), ignore(t+7=t7)]).
  524
  525% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:161
  526% Delta: 
  527next_axiom_uses(delta).
  528 
  529
  530
  531% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:161
  532% Happens(End(D),9).
  533axiom(happens(end(d), t9),
  534    [is_time(9), b(t, t9), ignore(t+9=t9)]).
  535
  536% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:162
  537% Delta: 
  538next_axiom_uses(delta).
  539 
  540
  541
  542% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:162
  543% Happens(End(E2),11).
  544axiom(happens(end(e2), t11),
  545    [is_time(11), b(t, t11), ignore(t+11=t11)]).
  546
  547% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:163
  548% Delta: 
  549next_axiom_uses(delta).
  550 
  551
  552
  553% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:163
  554% Happens(End(F),13).
  555axiom(happens(end(f), t13),
  556    [is_time(13), b(t, t13), ignore(t+13=t13)]).
  557
  558% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:164
  559% Delta: 
  560next_axiom_uses(delta).
  561 
  562
  563
  564% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:164
  565% Happens(End(F),15).
  566axiom(happens(end(f), t15),
  567    [is_time(15), b(t, t15), ignore(t+15=t15)]).
  568
  569
  570% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:166
  571%; Gamma
  572% [activity]
  573 % !HoldsAt(Active(activity),0).
  574 %  not(initially(active(Activity))).
  575% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:168
  576axiom(not(initially(active(Active_Ret))),
  577    []).
  578
  579
  580% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:169
  581% [activity]
  582 % !HoldsAt(Completed(activity),0).
  583 %  not(initially(completed(Activity))).
  584axiom(not(initially(completed(Completed_Ret))),
  585    []).
  586
  587
  588% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:170
  589% [time]
  590 % time=% 14 <-> HoldsAt(Condition(FC),time).
  591
  592 /*  Time=14 <->
  593       holds_at(condition(fc), Time).
  594 */
  595axiom(Time=14,
  596    [holds_at(condition(fc), Time)]).
  597axiom(holds_at(condition(fc), Time),
  598    [equals(Time, 14)]).
  599
  600
  601% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:171
  602% [time]
  603 % !HoldsAt(Condition(E1C),time).
  604 %  not(holds_at(condition(e1c),Time)).
  605axiom(not(holds_at(condition(e1c), Time1)),
  606    []).
  607
  608
  609% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:172
  610% [time]
  611 % time=% 10 <-> HoldsAt(Condition(E2C),time).
  612
  613 /*  Time=10 <->
  614       holds_at(condition(e2c), Time).
  615 */
  616axiom(Time=10,
  617    [holds_at(condition(e2c), Time)]).
  618axiom(holds_at(condition(e2c), Time),
  619    [equals(Time, 10)]).
  620
  621
  622% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:173
  623% [time]
  624 % !HoldsAt(Condition(E3C),time).
  625 %  not(holds_at(condition(e3c),Time)).
  626axiom(not(holds_at(condition(e3c), Time1)),
  627    []).
  628
  629% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:175
  630% completion Delta Happens
  631% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:176
  632==> completion(delta).
  633==> completion(happens).
  634
  635% range time 0 18
  636% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:178
  637==> range(time,0,18).
  638
  639% range offset 1 1
  640% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter14/Workflow.e:179
  641==> range(offset,1,1).
  642%; End of file.