1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'examples/Mueller2006/Chapter13/Deduction2.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%; @book{Mueller:2006,
   15%;   author = "Erik T. Mueller",
   16%;   year = "2006",
   17%;   title = "Commonsense Reasoning",
   18%;   address = "San Francisco",
   19%;   publisher = "Morgan Kaufmann/Elsevier",
   20%; }
   21%;
   22
   23% option timediff off
   24:- set_ec_option(timediff, off).   25
   26% load foundations/Root.e
   27
   28% load foundations/EC.e
   29
   30% sort agent
   31==> sort(agent).
   32
   33% fluent Awake(agent)
   34 %  fluent(awake(agent)).
   35==> mpred_prop(awake(agent),fluent).
   36==> meta_argtypes(awake(agent)).
   37
   38% event WakeUp(agent)
   39 %  event(wakeUp(agent)).
   40==> mpred_prop(wakeUp(agent),event).
   41==> meta_argtypes(wakeUp(agent)).
   42
   43
   44% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter13/Deduction2.e:29
   45% [agent,time]
   46 % Initiates(WakeUp(agent),Awake(agent),time).
   47axiom(initiates(wakeUp(Agent), awake(Agent), Time),
   48    []).
   49
   50% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter13/Deduction2.e:31
   51% agent James
   52% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter13/Deduction2.e:32
   53==> t(agent,james).
   54
   55
   56% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter13/Deduction2.e:32
   57% !HoldsAt(Awake(James),0).
   58 %  not(initially(awake(james))).
   59axiom(not(initially(awake(james))),
   60    []).
   61
   62% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter13/Deduction2.e:33
   63% Delta: 
   64next_axiom_uses(delta).
   65 
   66
   67
   68% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter13/Deduction2.e:33
   69% Happens(WakeUp(James),0).
   70axiom(happens(wakeUp(james), t),
   71    [is_time(0)]).
   72
   73% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter13/Deduction2.e:35
   74% completion Delta Happens
   75% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter13/Deduction2.e:36
   76==> completion(delta).
   77==> completion(happens).
   78
   79% range time 0 1
   80% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter13/Deduction2.e:38
   81==> range(time,0,1).
   82
   83% range offset 1 1
   84% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter13/Deduction2.e:39
   85==>