1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'examples/Mueller2006/Chapter6/ThielscherCircuit1.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%; @article{Thielscher:1997,
   15%;   author = "Michael Thielscher",
   16%;   year = "1997",
   17%;   title = "Ramification and causality",
   18%;   journal = "Artificial Intelligence",
   19%;   volume = "89",
   20%;   pages = "317--364",
   21%; }
   22%;
   23%; @book{Mueller:2006,
   24%;   author = "Erik T. Mueller",
   25%;   year = "2006",
   26%;   title = "Commonsense Reasoning",
   27%;   address = "San Francisco",
   28%;   publisher = "Morgan Kaufmann/Elsevier",
   29%; }
   30%;
   31
   32% load foundations/Root.e
   33
   34% load foundations/EC.e
   35
   36% load foundations/ECCausal.e
   37 %  loading(changed,'foundations/ECCausal.e').
   38%;
   39%; Copyright (c) 2005 IBM Corporation and others.
   40%; All rights reserved. This program and the accompanying materials
   41%; are made available under the terms of the Common Public License v1.0
   42%; which accompanies this distribution, and is available at
   43%; http://www.eclipse.org/legal/cpl-v10.html
   44%;
   45%; Contributors:
   46%; IBM - Initial implementation
   47%;
   48%; Causal Constraints
   49%;
   50%; @inproceedings{Shanahan:1999a,
   51%;   author = "Murray Shanahan",
   52%;   year = "1999",
   53%;   title = "The ramification problem in the event calculus",
   54%;   booktitle = "\uppercase{P}roceedings of the \uppercase{S}ixteenth \uppercase{I}nternational \uppercase{J}oint \uppercase{C}onference on \uppercase{A}rtificial \uppercase{I}ntelligence",
   55%;   pages = "140--146",
   56%;   address = "San Mateo, CA",
   57%;   publisher = "Morgan Kaufmann",
   58%; }
   59%;
   60
   61% predicate Started(fluent,time)
   62 %  predicate(started(fluent,time)).
   63==> mpred_prop(started(fluent,time),predicate).
   64==> meta_argtypes(started(fluent,time)).
   65
   66% predicate Stopped(fluent,time)
   67 %  predicate(stopped(fluent,time)).
   68==> mpred_prop(stopped(fluent,time),predicate).
   69==> meta_argtypes(stopped(fluent,time)).
   70
   71
   72% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:31
   73% [fluent,time]
   74% Started(fluent,time) <->
   75% (HoldsAt(fluent,time) |
   76%  ({event} Happens(event,time) & Initiates(event,fluent,time))).
   77
   78 /*  started(Fluent, Time) <->
   79       (   holds_at(Fluent, Time)
   80       ;   exists([Event],
   81                   (happens(Event, Time), initiates(Event, Fluent, Time)))
   82       ).
   83 */
   84axiom(started(Fluent, Time),
   85    [holds_at(Fluent, Time)]).
   86axiom(started(Fluent, Time),
   87   
   88    [ happens(Event, Time),
   89      initiates(Event, Fluent, Time)
   90    ]).
   91
   92 /*   if(started(Fluent, Time),
   93          (holds_at(Fluent, Time);exists([Event],  (happens(Event, Time), initiates(Event, Fluent, Time))))).
   94 */
   95
   96 /*  not(started(Started_Param, Time3)) :-
   97       not(holds_at(Started_Param, Time3)),
   98       (   not(happens(Happens_Param, Time3))
   99       ;   not(initiates(Happens_Param, Started_Param, Time3))
  100       ).
  101 */
  102axiom(not(started(Started_Param, Time3)),
  103   
  104    [ not(happens(Happens_Param, Time3)),
  105      not(holds_at(Started_Param, Time3))
  106    ]).
  107axiom(not(started(Started_Param, Time3)),
  108   
  109    [ not(initiates(Happens_Param, Started_Param, Time3)),
  110      not(holds_at(Started_Param, Time3))
  111    ]).
  112
  113 /*  holds_at(Holds_at_Param, Time6) :-
  114       (   not(happens(Happens_Param8, Time6))
  115       ;   not(initiates(Happens_Param8, Holds_at_Param, Time6))
  116       ),
  117       started(Holds_at_Param, Time6).
  118 */
  119axiom(holds_at(Holds_at_Param, Time6),
  120   
  121    [ not(happens(Happens_Param8, Time6)),
  122      started(Holds_at_Param, Time6)
  123    ]).
  124axiom(holds_at(Holds_at_Param, Time6),
  125   
  126    [ not(initiates(Happens_Param8, Holds_at_Param, Time6)),
  127      started(Holds_at_Param, Time6)
  128    ]).
  129
  130 /*  happens(Happens_Param10, Maptime) :-
  131       not(holds_at(Holds_at_Param11, Maptime)),
  132       started(Holds_at_Param11, Maptime).
  133 */
  134axiom(happens(Happens_Param10, Maptime),
  135   
  136    [ not(holds_at(Holds_at_Param11, Maptime)),
  137      started(Holds_at_Param11, Maptime)
  138    ]).
  139
  140 /*  initiates(Initiates_Param, Holds_at_Param14, Time12) :-
  141       not(holds_at(Holds_at_Param14, Time12)),
  142       started(Holds_at_Param14, Time12).
  143 */
  144axiom(initiates(Initiates_Param, Holds_at_Param14, Time12),
  145   
  146    [ not(holds_at(Holds_at_Param14, Time12)),
  147      started(Holds_at_Param14, Time12)
  148    ]).
  149
  150
  151% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:31
  152% [fluent,time]
  153% Stopped(fluent,time) <->
  154% (!HoldsAt(fluent,time) |
  155%  ({event} Happens(event,time) & Terminates(event,fluent,time))).
  156
  157 /*  stopped(Fluent, Time) <->
  158       (   not(holds_at(Fluent, Time))
  159       ;   exists([Event],
  160                   (happens(Event, Time), terminates(Event, Fluent, Time)))
  161       ).
  162 */
  163axiom(stopped(Fluent, Time),
  164    [not(holds_at(Fluent, Time))]).
  165axiom(stopped(Fluent, Time),
  166   
  167    [ happens(Event, Time),
  168      terminates(Event, Fluent, Time)
  169    ]).
  170
  171 /*   if(stopped(Fluent, Time),
  172          (not(holds_at(Fluent, Time));exists([Event],  (happens(Event, Time), terminates(Event, Fluent, Time))))).
  173 */
  174
  175 /*  not(stopped(Stopped_Param, Time3)) :-
  176       holds_at(Stopped_Param, Time3),
  177       (   not(happens(Happens_Param, Time3))
  178       ;   not(terminates(Happens_Param, Stopped_Param, Time3))
  179       ).
  180 */
  181axiom(not(stopped(Stopped_Param, Time3)),
  182   
  183    [ not(happens(Happens_Param, Time3)),
  184      holds_at(Stopped_Param, Time3)
  185    ]).
  186axiom(not(stopped(Stopped_Param, Time3)),
  187   
  188    [ not(terminates(Happens_Param, Stopped_Param, Time3)),
  189      holds_at(Stopped_Param, Time3)
  190    ]).
  191
  192 /*  not(holds_at(Holds_at_Param, Time6)) :-
  193       (   not(happens(Happens_Param8, Time6))
  194       ;   not(terminates(Happens_Param8, Holds_at_Param, Time6))
  195       ),
  196       stopped(Holds_at_Param, Time6).
  197 */
  198axiom(not(holds_at(Holds_at_Param, Time6)),
  199   
  200    [ not(happens(Happens_Param8, Time6)),
  201      stopped(Holds_at_Param, Time6)
  202    ]).
  203axiom(not(holds_at(Holds_at_Param, Time6)),
  204   
  205    [ not(terminates(Happens_Param8, Holds_at_Param, Time6)),
  206      stopped(Holds_at_Param, Time6)
  207    ]).
  208
  209 /*  happens(Happens_Param10, Maptime) :-
  210       holds_at(Holds_at_Param11, Maptime),
  211       stopped(Holds_at_Param11, Maptime).
  212 */
  213axiom(happens(Happens_Param10, Maptime),
  214   
  215    [ holds_at(Holds_at_Param11, Maptime),
  216      stopped(Holds_at_Param11, Maptime)
  217    ]).
  218
  219 /*  terminates(Terminates_Param, Holds_at_Param14, Time12) :-
  220       holds_at(Holds_at_Param14, Time12),
  221       stopped(Holds_at_Param14, Time12).
  222 */
  223axiom(terminates(Terminates_Param, Holds_at_Param14, Time12),
  224   
  225    [ holds_at(Holds_at_Param14, Time12),
  226      stopped(Holds_at_Param14, Time12)
  227    ]).
  228
  229% predicate Initiated(fluent,time)
  230 %  predicate(initiated(fluent,time)).
  231==> mpred_prop(initiated(fluent,time),predicate).
  232==> meta_argtypes(initiated(fluent,time)).
  233
  234% predicate Terminated(fluent,time)
  235 %  predicate(terminated(fluent,time)).
  236==> mpred_prop(terminated(fluent,time),predicate).
  237==> meta_argtypes(terminated(fluent,time)).
  238
  239
  240% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:31
  241% [fluent,time]
  242% Initiated(fluent,time) <->
  243% (Started(fluent,time) &
  244%  !({event} Happens(event,time) & Terminates(event,fluent,time))).
  245
  246 /*  initiated(Fluent, Time) <->
  247       started(Fluent, Time),
  248       not(exists([Event],
  249                   (happens(Event, Time), terminates(Event, Fluent, Time)))).
  250 */
  251axiom(initiated(Fluent, Time),
  252    [not(happens(Event, Time)), started(Fluent, Time)]).
  253axiom(initiated(Fluent, Time),
  254   
  255    [ not(terminates(Event, Fluent, Time)),
  256      started(Fluent, Time)
  257    ]).
  258
  259 /*   if(initiated(Fluent, Time),
  260          (started(Fluent, Time), not(exists([Event],  (happens(Event, Time), terminates(Event, Fluent, Time)))))).
  261 */
  262
  263 /*  not(initiated(Initiated_Param, Maptime)) :-
  264       (   not(started(Initiated_Param, Maptime))
  265       ;   happens(Happens_Param, Maptime),
  266           terminates(Happens_Param, Initiated_Param, Maptime)
  267       ).
  268 */
  269axiom(not(initiated(Initiated_Param, Maptime)),
  270    [not(started(Initiated_Param, Maptime))]).
  271axiom(not(initiated(Initiated_Param, Maptime)),
  272   
  273    [ happens(Happens_Param, Maptime),
  274      terminates(Happens_Param, Initiated_Param, Maptime)
  275    ]).
  276
  277 /*  started(Started_Param, Started_Ret) :-
  278       initiated(Started_Param, Started_Ret).
  279 */
  280axiom(started(Started_Param, Started_Ret),
  281    [initiated(Started_Param, Started_Ret)]).
  282
  283 /*  not(happens(Happens_Param9, Maptime8)) :-
  284       terminates(Happens_Param9, Initiated_Param10, Maptime8),
  285       initiated(Initiated_Param10, Maptime8).
  286 */
  287axiom(not(happens(Happens_Param9, Maptime8)),
  288   
  289    [ terminates(Happens_Param9, Initiated_Param10, Maptime8),
  290      initiated(Initiated_Param10, Maptime8)
  291    ]).
  292
  293 /*  not(terminates(Terminates_Param, Initiated_Param13, Maptime11)) :-
  294       happens(Terminates_Param, Maptime11),
  295       initiated(Initiated_Param13, Maptime11).
  296 */
  297axiom(not(terminates(Terminates_Param, Initiated_Param13, Maptime11)),
  298   
  299    [ happens(Terminates_Param, Maptime11),
  300      initiated(Initiated_Param13, Maptime11)
  301    ]).
  302
  303
  304% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:31
  305% [fluent,time]
  306% Terminated(fluent,time) <->
  307% (Stopped(fluent,time) &
  308%  !({event} Happens(event,time) & Initiates(event,fluent,time))).
  309
  310 /*  terminated(Fluent, Time) <->
  311       stopped(Fluent, Time),
  312       not(exists([Event],
  313                   (happens(Event, Time), initiates(Event, Fluent, Time)))).
  314 */
  315axiom(terminated(Fluent, Time),
  316    [not(happens(Event, Time)), stopped(Fluent, Time)]).
  317axiom(terminated(Fluent, Time),
  318   
  319    [ not(initiates(Event, Fluent, Time)),
  320      stopped(Fluent, Time)
  321    ]).
  322
  323 /*   if(terminated(Fluent, Time),
  324          (stopped(Fluent, Time), not(exists([Event],  (happens(Event, Time), initiates(Event, Fluent, Time)))))).
  325 */
  326
  327 /*  not(terminated(Terminated_Param, Maptime)) :-
  328       (   not(stopped(Terminated_Param, Maptime))
  329       ;   happens(Happens_Param, Maptime),
  330           initiates(Happens_Param, Terminated_Param, Maptime)
  331       ).
  332 */
  333axiom(not(terminated(Terminated_Param, Maptime)),
  334    [not(stopped(Terminated_Param, Maptime))]).
  335axiom(not(terminated(Terminated_Param, Maptime)),
  336   
  337    [ happens(Happens_Param, Maptime),
  338      initiates(Happens_Param, Terminated_Param, Maptime)
  339    ]).
  340
  341 /*  stopped(Stopped_Param, Stopped_Ret) :-
  342       terminated(Stopped_Param, Stopped_Ret).
  343 */
  344axiom(stopped(Stopped_Param, Stopped_Ret),
  345    [terminated(Stopped_Param, Stopped_Ret)]).
  346
  347 /*  not(happens(Happens_Param9, Maptime8)) :-
  348       initiates(Happens_Param9, Terminated_Param10, Maptime8),
  349       terminated(Terminated_Param10, Maptime8).
  350 */
  351axiom(not(happens(Happens_Param9, Maptime8)),
  352   
  353    [ initiates(Happens_Param9, Terminated_Param10, Maptime8),
  354      terminated(Terminated_Param10, Maptime8)
  355    ]).
  356
  357 /*  not(initiates(Initiates_Param, Terminated_Param13, Maptime11)) :-
  358       happens(Initiates_Param, Maptime11),
  359       terminated(Terminated_Param13, Maptime11).
  360 */
  361axiom(not(initiates(Initiates_Param, Terminated_Param13, Maptime11)),
  362   
  363    [ happens(Initiates_Param, Maptime11),
  364      terminated(Terminated_Param13, Maptime11)
  365    ]).
  366
  367
  368% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:31
  369%; End of file.
  370
  371% sort switch
  372% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:33
  373==> sort(switch).
  374
  375% sort relay
  376% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:34
  377==> sort(relay).
  378
  379% sort light
  380% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:35
  381==> sort(light).
  382
  383% switch S1, S2, S3
  384% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:37
  385==> t(switch,s1).
  386==> t(switch,s2).
  387==> t(switch,s3).
  388
  389% relay R
  390% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:38
  391==> t(relay,r).
  392
  393% light L
  394% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:39
  395==> t(light,l).
  396
  397% event Light(light)
  398 %  event(light(light)).
  399% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:41
  400==> mpred_prop(light(light),event).
  401==> meta_argtypes(light(light)).
  402
  403% event Close(switch)
  404 %  event(close(switch)).
  405% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:42
  406==> mpred_prop(close(switch),event).
  407==> meta_argtypes(close(switch)).
  408
  409% event Open(switch)
  410 %  event(open(switch)).
  411% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:43
  412==> mpred_prop(open(switch),event).
  413==> meta_argtypes(open(switch)).
  414
  415% event Activate(relay)
  416 %  event(activate(relay)).
  417% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:44
  418==> mpred_prop(activate(relay),event).
  419==> meta_argtypes(activate(relay)).
  420
  421% fluent Lit(light)
  422 %  fluent(lit(light)).
  423% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:46
  424==> mpred_prop(lit(light),fluent).
  425==> meta_argtypes(lit(light)).
  426
  427% fluent Closed(switch)
  428 %  fluent(closed(switch)).
  429% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:47
  430==> mpred_prop(closed(switch),fluent).
  431==> meta_argtypes(closed(switch)).
  432
  433% fluent Activated(relay)
  434 %  fluent(activated(relay)).
  435% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:48
  436==> mpred_prop(activated(relay),fluent).
  437==> meta_argtypes(activated(relay)).
  438
  439
  440% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:49
  441% [time]
  442% Stopped(Lit(L),time) &
  443% Initiated(Closed(S1),time) &
  444% Initiated(Closed(S2),time) ->
  445% Happens(Light(L),time).
  446% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:53
  447axiom(happens(light(l), Time),
  448   
  449    [ stopped(lit(l), Time),
  450      initiated(closed(s1), Time),
  451      initiated(closed(s2), Time)
  452    ]).
  453
  454
  455% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:55
  456% [time]
  457% Started(Closed(S2),time) &
  458% Initiated(Activated(R),time) ->
  459% Happens(Open(S2),time).
  460% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:58
  461axiom(happens(open(s2), Time),
  462    [started(closed(s2), Time), initiated(activated(r), Time)]).
  463
  464
  465% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:60
  466% [time]
  467% Stopped(Activated(R),time) &
  468% Initiated(Closed(S1),time) &
  469% Initiated(Closed(S3),time) ->
  470% Happens(Activate(R),time).
  471% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:64
  472axiom(happens(activate(r), Time),
  473   
  474    [ stopped(activated(r), Time),
  475      initiated(closed(s1), Time),
  476      initiated(closed(s3), Time)
  477    ]).
  478
  479
  480% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:66
  481% [switch,time]
  482 % Initiates(Close(switch),Closed(switch),time).
  483axiom(initiates(close(Switch), closed(Switch), Time),
  484    []).
  485
  486
  487% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:67
  488% [switch,time]
  489 % Terminates(Open(switch),Closed(switch),time).
  490axiom(terminates(open(Switch), closed(Switch), Time),
  491    []).
  492
  493
  494% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:68
  495% [relay,time]
  496 % Initiates(Activate(relay),Activated(relay),time).
  497axiom(initiates(activate(Relay), activated(Relay), Time),
  498    []).
  499
  500
  501% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:69
  502% [light,time]
  503 % Initiates(Light(light),Lit(light),time).
  504axiom(initiates(light(Light), lit(Light), Time),
  505    []).
  506
  507
  508% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:71
  509% !HoldsAt(Closed(S1),0).
  510 %  not(initially(closed(s1))).
  511axiom(not(initially(closed(s1))),
  512    []).
  513
  514
  515% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:72
  516% HoldsAt(Closed(S2),0).
  517axiom(initially(closed(s2)),
  518    []).
  519
  520
  521% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:73
  522% HoldsAt(Closed(S3),0).
  523axiom(initially(closed(s3)),
  524    []).
  525
  526
  527% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:74
  528% !HoldsAt(Activated(R),0).
  529 %  not(initially(activated(r))).
  530axiom(not(initially(activated(r))),
  531    []).
  532
  533
  534% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:75
  535% !HoldsAt(Lit(L),0).
  536 %  not(initially(lit(l))).
  537axiom(not(initially(lit(l))),
  538    []).
  539
  540
  541% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:77
  542% Happens(Close(S1),0).
  543axiom(happens(close(s1), t),
  544    [is_time(0)]).
  545
  546% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:79
  547% completion Happens
  548% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:80
  549==> completion(happens).
  550
  551% range time 0 1
  552% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:82
  553==> range(time,0,1).
  554
  555% range offset 1 1
  556% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter6/ThielscherCircuit1.e:83
  557==> range(offset,1,1).
  558%; End of file.