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.