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.