1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'examples/Mueller2004a/Holding.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{Mueller:2004a,
   15%;   author = "Erik T. Mueller",
   16%;   year = "2004",
   17%;   title = "Event calculus reasoning through satisfiability",
   18%;   journal = "Journal of Logic and Computation",
   19%;   volume = "14",
   20%;   number = "5",
   21%;   pages = "703--730",
   22%; }
   23%;
   24
   25% option encoding 3
   26:- set_ec_option(encoding, 3).   27
   28% load foundations/Root.e
   29
   30% load foundations/EC.e
   31
   32% sort person
   33==> sort(person).
   34
   35% sort object
   36==> sort(object).
   37
   38% event Hold(person,object)
   39 %  event(hold(person,object)).
   40==> mpred_prop(hold(person,object),event).
   41==> meta_argtypes(hold(person,object)).
   42
   43% fluent Holding(person,object)
   44 %  fluent(holding(person,object)).
   45==> mpred_prop(holding(person,object),fluent).
   46==> meta_argtypes(holding(person,object)).
   47
   48% person P1
   49==> t(person,p1).
   50
   51% object O1
   52==> t(object,o1).
   53
   54
   55% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004a/Holding.e:35
   56% Happens(Hold(P1,O1),0).
   57axiom(happens(hold(p1, o1), t),
   58    [is_time(0)]).
   59
   60
   61% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004a/Holding.e:37
   62% [person,object,time]
   63% Initiates(Hold(person,object),Holding(person,object),time).
   64% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004a/Holding.e:38
   65axiom(initiates(hold(Person, Object), holding(Person, Object), Time),
   66    []).
   67
   68
   69% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004a/Holding.e:40
   70% !HoldsAt(Holding(P1,O1),0).
   71 %  not(initially(holding(p1,o1))).
   72axiom(not(initially(holding(p1, o1))),
   73    []).
   74
   75
   76% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004a/Holding.e:41
   77%;;; AUTO !ReleasedAt(Holding(P1,O1),0).
   78
   79% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004a/Holding.e:43
   80% completion Happens
   81% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004a/Holding.e:44
   82==> completion(happens).
   83
   84% range time 0 1
   85% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004a/Holding.e:46
   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/Mueller2004a/Holding.e:47
   90==> range(offset,1,1).
   91%; End of file.