1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'foundations/ECTraj.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%; @incollection{MillerShanahan:2002,
   15%;   author = "Rob Miller and Murray Shanahan",
   16%;   year = "2002",
   17%;   title = "Some alternative formulations of the event calculus",
   18%;   editor = "Antonis C. Kakas and Fariba Sadri",
   19%;   booktitle = "Computational Logic: Logic Programming and Beyond: Essays in Honour of \uppercase{R}obert \uppercase{A}. \uppercase{K}owalski, Part \uppercase{II}",
   20%;   series = "Lecture Notes in Computer Science",
   21%;   volume = "2408",
   22%;   pages = "452--490",
   23%;   address = "Berlin",
   24%;   publisher = "Springer",
   25%; }
   26%;
   27
   28% predicate Clipped(time,fluent,time)
   29 %  predicate(clipped(time,fluent,time)).
   30==> mpred_prop(clipped(time,fluent,time),predicate).
   31==> meta_argtypes(clipped(time,fluent,time)).
   32
   33% predicate Declipped(time,fluent,time)
   34 %  predicate(declipped(time,fluent,time)).
   35==> mpred_prop(declipped(time,fluent,time),predicate).
   36==> meta_argtypes(declipped(time,fluent,time)).
   37
   38% predicate Trajectory(fluent,time,fluent,offset)
   39 %  predicate(trajectory(fluent,time,fluent,offset)).
   40==> mpred_prop(trajectory(fluent,time,fluent,offset),predicate).
   41==> meta_argtypes(trajectory(fluent,time,fluent,offset)).
   42
   43% predicate AntiTrajectory(fluent,time,fluent,offset)
   44 %  predicate(antiTrajectory(fluent,time,fluent,offset)).
   45==> mpred_prop(antiTrajectory(fluent,time,fluent,offset),predicate).
   46==> meta_argtypes(antiTrajectory(fluent,time,fluent,offset)).
   47
   48
   49% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/foundations/ECTraj.e:30
   50% [event,fluent,fluent2,offset,time]
   51% Happens(event,time) &
   52% Initiates(event,fluent,time) &
   53% 0 < offset &
   54% Trajectory(fluent,time,fluent2,offset) &
   55% !Clipped(time,fluent,time+offset) ->
   56% HoldsAt(fluent2,time+offset).
   57% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/foundations/ECTraj.e:36
   58axiom(holds_at(Fluent2, Time),
   59   
   60    [ happens(Event, Time),
   61      initiates(Event, Fluent, Time),
   62      comparison(0, 0, <),
   63      trajectory(Fluent, Time, Fluent2, 0),
   64      not(clipped(Time, Fluent, Time))
   65    ]).
   66
   67
   68% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/foundations/ECTraj.e:38
   69% [event,fluent,fluent2,offset,time]
   70% Happens(event,time) &
   71% Terminates(event,fluent,time) &
   72% 0 < offset &
   73% AntiTrajectory(fluent,time,fluent2,offset) &
   74% !Declipped(time,fluent,time+offset) ->
   75% HoldsAt(fluent2,time+offset).
   76% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/foundations/ECTraj.e:44
   77axiom(holds_at(Fluent2, Time),
   78   
   79    [ happens(Event, Time),
   80      terminates(Event, Fluent, Time),
   81      comparison(0, 0, <),
   82      antiTrajectory(Fluent, Time, Fluent2, 0),
   83      not(declipped(Time, Fluent, Time))
   84    ]).
   85
   86
   87% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/foundations/ECTraj.e:46
   88%; End of file.