1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'examples/Mueller2006/Chapter2/Inconsistency4.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% load foundations/Root.e
   24
   25% load foundations/EC.e
   26
   27% sort object
   28==> sort(object).
   29
   30% object O1
   31==> t(object,o1).
   32
   33% event E(object)
   34 %  event(e(object)).
   35==> mpred_prop(e(object),event).
   36==> meta_argtypes(e(object)).
   37
   38% fluent F1(object)
   39 %  fluent(f1(object)).
   40==> mpred_prop(f1(object),fluent).
   41==> meta_argtypes(f1(object)).
   42
   43% fluent F2(object)
   44 %  fluent(f2(object)).
   45==> mpred_prop(f2(object),fluent).
   46==> meta_argtypes(f2(object)).
   47
   48
   49% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter2/Inconsistency4.e:30
   50% [object,time]
   51% Initiates(E(object),F1(object),time).
   52% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter2/Inconsistency4.e:31
   53axiom(initiates(e(Object), f1(Object), Time),
   54    []).
   55
   56
   57% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter2/Inconsistency4.e:33
   58% [object,time]
   59% HoldsAt(F1(object),time) <-> HoldsAt(F2(object),time).
   60
   61 /*  holds_at(f1(Object), Time) <->
   62       holds_at(f2(Object), Time).
   63 */
   64% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter2/Inconsistency4.e:34
   65axiom(holds_at(f1(Object), Time),
   66    [holds_at(f2(Object), Time)]).
   67axiom(holds_at(f2(Object), Time),
   68    [holds_at(f1(Object), Time)]).
   69
   70
   71% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter2/Inconsistency4.e:36
   72% !HoldsAt(F2(O1),0).
   73 %  not(initially(f2(o1))).
   74axiom(not(initially(f2(o1))),
   75    []).
   76
   77
   78% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter2/Inconsistency4.e:37
   79% Happens(E(O1),0).
   80axiom(happens(e(o1), t),
   81    [is_time(0)]).
   82
   83% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter2/Inconsistency4.e:39
   84% range time 0 1
   85% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter2/Inconsistency4.e:40
   86==> range(time,0,1).
   87
   88% range offset 1 1
   89% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter2/Inconsistency4.e:41
   90==> range(offset,1,1).
   91%; End of file.