1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ecnet/CTime.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%; clock time
   15%; The CTime representation maps the time points of ECTime to clock time.
   16%; part of the day
   17%; time is in the daytime.
   18
   19% predicate Daytime(time)
   20 %  predicate(daytime(time)).
   21==> mpred_prop(daytime(time),predicate).
   22==> meta_argtypes(daytime(time)).
   23
   24
   25% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/CTime.e:18
   26%; time is in the nighttime.
   27
   28% predicate Nighttime(time)
   29 %  predicate(nighttime(time)).
   30% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/CTime.e:20
   31==> mpred_prop(nighttime(time),predicate).
   32==> meta_argtypes(nighttime(time)).
   33
   34% xor Daytime, Nighttime
   35% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/CTime.e:21
   36xor([daytime,nighttime]).
   37%; time is in the morning.
   38
   39% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/CTime.e:23
   40% predicate Morning(time)
   41 %  predicate(morning(time)).
   42% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/CTime.e:24
   43==> mpred_prop(morning(time),predicate).
   44==> meta_argtypes(morning(time)).
   45
   46
   47% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/CTime.e:24
   48%; time is in the afternoon.
   49
   50% predicate Afternoon(time)
   51 %  predicate(afternoon(time)).
   52% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/CTime.e:26
   53==> mpred_prop(afternoon(time),predicate).
   54==> meta_argtypes(afternoon(time)).
   55
   56
   57% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/CTime.e:26
   58%; time is in the evening.
   59
   60% predicate Evening(time)
   61 %  predicate(evening(time)).
   62% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/CTime.e:28
   63==> mpred_prop(evening(time),predicate).
   64==> meta_argtypes(evening(time)).
   65
   66
   67% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/CTime.e:28
   68%; time is in the night.
   69
   70% predicate Night(time)
   71 %  predicate(night(time)).
   72% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/CTime.e:30
   73==> mpred_prop(night(time),predicate).
   74==> meta_argtypes(night(time)).
   75
   76
   77% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/CTime.e:30
   78%; time is in the late night.
   79
   80% predicate LateNight(time)
   81 %  predicate(lateNight(time)).
   82% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/CTime.e:32
   83==> mpred_prop(lateNight(time),predicate).
   84==> meta_argtypes(lateNight(time)).
   85
   86% xor Morning, Afternoon, Evening, Night, LateNight
   87% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/CTime.e:33
   88xor([morning,afternoon,evening,night,lateNight]).
   89
   90
   91% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/CTime.e:34
   92% [time]
   93 % Daytime(time) <-> Morning(time)|Afternoon(time)|Evening(time).
   94
   95 /*  daytime(Time) <->
   96       (   morning(Time)
   97       ;   afternoon(Time)
   98       ;   evening(Time)
   99       ).
  100 */
  101axiom(daytime(Time),
  102    [morning(Time)]).
  103axiom(daytime(Time),
  104    [afternoon(Time)]).
  105axiom(daytime(Time),
  106    [evening(Time)]).
  107
  108 /*   if(daytime(Time),
  109          (morning(Time);afternoon(Time);evening(Time))).
  110 */
  111
  112 /*  morning(Morning_Ret) :-
  113       ( not(afternoon(Morning_Ret)),
  114         not(evening(Morning_Ret))
  115       ),
  116       daytime(Morning_Ret).
  117 */
  118axiom(morning(Morning_Ret),
  119   
  120    [ not(afternoon(Morning_Ret)),
  121      not(evening(Morning_Ret)),
  122      daytime(Morning_Ret)
  123    ]).
  124
  125 /*  afternoon(Afternoon_Ret) :-
  126       not(evening(Afternoon_Ret)),
  127       not(morning(Afternoon_Ret)),
  128       daytime(Afternoon_Ret).
  129 */
  130axiom(afternoon(Afternoon_Ret),
  131   
  132    [ not(evening(Afternoon_Ret)),
  133      not(morning(Afternoon_Ret)),
  134      daytime(Afternoon_Ret)
  135    ]).
  136
  137 /*  evening(Evening_Ret) :-
  138       not(afternoon(Evening_Ret)),
  139       not(morning(Evening_Ret)),
  140       daytime(Evening_Ret).
  141 */
  142axiom(evening(Evening_Ret),
  143   
  144    [ not(afternoon(Evening_Ret)),
  145      not(morning(Evening_Ret)),
  146      daytime(Evening_Ret)
  147    ]).
  148
  149 /*  not(daytime(Daytime_Ret)) :-
  150       not(morning(Daytime_Ret)),
  151       not(afternoon(Daytime_Ret)),
  152       not(evening(Daytime_Ret)).
  153 */
  154axiom(not(daytime(Daytime_Ret)),
  155   
  156    [ not(morning(Daytime_Ret)),
  157      not(afternoon(Daytime_Ret)),
  158      not(evening(Daytime_Ret))
  159    ]).
  160
  161
  162% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/CTime.e:35
  163% [time]
  164 % Nighttime(time) <-> Night(time)|LateNight(time).
  165
  166 /*  nighttime(Time) <->
  167       (   night(Time)
  168       ;   lateNight(Time)
  169       ).
  170 */
  171axiom(nighttime(Time),
  172    [night(Time)]).
  173axiom(nighttime(Time),
  174    [lateNight(Time)]).
  175 %   if(nighttime(Time),  (night(Time);lateNight(Time))).
  176
  177 /*  night(Night_Ret) :-
  178       not(lateNight(Night_Ret)),
  179       nighttime(Night_Ret).
  180 */
  181axiom(night(Night_Ret),
  182    [not(lateNight(Night_Ret)), nighttime(Night_Ret)]).
  183
  184 /*  lateNight(LateNight_Ret) :-
  185       not(night(LateNight_Ret)),
  186       nighttime(LateNight_Ret).
  187 */
  188axiom(lateNight(LateNight_Ret),
  189    [not(night(LateNight_Ret)), nighttime(LateNight_Ret)]).
  190
  191 /*  not(nighttime(Nighttime_Ret)) :-
  192       not(night(Nighttime_Ret)),
  193       not(lateNight(Nighttime_Ret)).
  194 */
  195axiom(not(nighttime(Nighttime_Ret)),
  196    [not(night(Nighttime_Ret)), not(lateNight(Nighttime_Ret))]).
  197
  198
  199% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/CTime.e:37
  200%; dreams
  201%; time is part of a dream sequence.
  202
  203% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/CTime.e:40
  204% predicate DreamSequence(time)
  205 %  predicate(dreamSequence(time)).
  206% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/CTime.e:41
  207==> mpred_prop(dreamSequence(time),predicate).
  208==> meta_argtypes(dreamSequence(time)).
  209
  210
  211% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/CTime.e:42
  212%; End of file.