1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'examples/Mueller2006/Chapter12/MethodB.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%; Method (D)
   15%;
   16%; @book{Mueller:2006,
   17%;   author = "Erik T. Mueller",
   18%;   year = "2006",
   19%;   title = "Commonsense Reasoning",
   20%;   address = "San Francisco",
   21%;   publisher = "Morgan Kaufmann/Elsevier",
   22%; }
   23%;
   24
   25% load foundations/Root.e
   26
   27% load foundations/EC.e
   28
   29% sort object
   30==> sort(object).
   31
   32% object A,B
   33==> t(object,a).
   34==> t(object,b).
   35
   36% fluent P(object)
   37 %  fluent(p(object)).
   38==> mpred_prop(p(object),fluent).
   39==> meta_argtypes(p(object)).
   40
   41% fluent Q(object)
   42 %  fluent(q(object)).
   43==> mpred_prop(q(object),fluent).
   44==> meta_argtypes(q(object)).
   45
   46% predicate Ab(object,time)
   47 %  predicate(ab(object,time)).
   48==> mpred_prop(ab(object,time),predicate).
   49==> meta_argtypes(ab(object,time)).
   50
   51
   52% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter12/MethodB.e:32
   53% [object,time]
   54% HoldsAt(P(object),time) & !Ab(object,time) ->
   55% HoldsAt(Q(object),time).
   56% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter12/MethodB.e:34
   57axiom(holds_at(q(Object), Time),
   58    [holds_at(p(Object), Time), not(ab(Object, Time))]).
   59
   60
   61% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter12/MethodB.e:36
   62% HoldsAt(P(A),0).
   63axiom(initially(p(a)),
   64    []).
   65
   66
   67% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter12/MethodB.e:37
   68% HoldsAt(P(B),0).
   69axiom(initially(p(b)),
   70    []).
   71
   72% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter12/MethodB.e:39
   73% Theta: 
   74next_axiom_uses(theta).
   75 
   76
   77
   78% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter12/MethodB.e:39
   79% Ab(A,0).
   80ab(a,0).
   81
   82% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter12/MethodB.e:41
   83% range time 0 0
   84% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter12/MethodB.e:42
   85==> range(time,0,0).
   86
   87% range offset 1 1
   88% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter12/MethodB.e:43
   89==> range(offset,1,1).
   90
   91% completion Theta Ab
   92% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter12/MethodB.e:45
   93==> completion(theta).
   94==> completion(ab).
   95%; End of file.