1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'ecnet/Vehicle.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%; Vehicle: transportation vehicles 15%; 16 17% sort vehicle: physobj 18==> subsort(vehicle,physobj). 19 20% sort vehiclein: vehicle 21==> subsort(vehiclein,vehicle). 22 23% sort vehicleon: vehicle 24==> subsort(vehicleon,vehicle). 25 26% sort train: vehicleon 27==> subsort(train,vehicleon). 28 29% sort carriage: vehiclein 30==> subsort(carriage,vehiclein). 31 32% sort vehicledoor 33==> sort(vehicledoor). 34%; RideTrack 35 36% event RideTrack12(train,track) 37 % event(rideTrack12(train,track)). 38==> mpred_prop(rideTrack12(train,track),event). 39==> meta_argtypes(rideTrack12(train,track)). 40 41% event RideTrack21(train,track) 42 % event(rideTrack21(train,track)). 43==> mpred_prop(rideTrack21(train,track),event). 44==> meta_argtypes(rideTrack21(train,track)). 45 46 47% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:27 48% [train,track,time] 49% Happens(RideTrack12(train,track),time) -> 50% HoldsAt(At(train,Side1(track)),time). 51% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:29 52axiom(requires(rideTrack12(Train, Track), Time), 53 [holds_at(at(Train, side1(Track)), Time)]). 54 55 56% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:31 57% [train,track,time] 58% Happens(RideTrack21(train,track),time) -> 59% HoldsAt(At(train,Side2(track)),time). 60% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:33 61axiom(requires(rideTrack21(Train, Track), Time), 62 [holds_at(at(Train, side2(Track)), Time)]). 63 64 65% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:35 66% [train,track,location,time] 67% Side2(track)=location -> 68% Initiates(RideTrack12(train,track),At(train,location),time). 69% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:37 70axiom(initiates(rideTrack12(Train, Track), at(Train, Location), Time), 71 [equals(side2(Track), Location)]). 72 73 74% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:39 75% [train,track,location,time] 76% Side1(track)=location -> 77% Initiates(RideTrack21(train,track),At(train,location),time). 78% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:41 79axiom(initiates(rideTrack21(Train, Track), at(Train, Location), Time), 80 [equals(side1(Track), Location)]). 81 82 83% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:43 84% [train,track,location,time] 85% Side1(track)=location -> 86% Terminates(RideTrack12(train,track),At(train,location),time). 87% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:45 88axiom(terminates(rideTrack12(Train, Track), at(Train, Location), Time), 89 [equals(side1(Track), Location)]). 90 91 92% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:47 93% [train,track,location,time] 94% Side2(track)=location -> 95% Terminates(RideTrack21(train,track),At(train,location),time). 96% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:49 97axiom(terminates(rideTrack21(Train, Track), at(Train, Location), Time), 98 [equals(side2(Track), Location)]). 99 100 101% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:51 102%; DriveStreet 103 104% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:53 105% event DriveStreet12(vehicle,street) 106 % event(driveStreet12(vehicle,street)). 107% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:54 108==> mpred_prop(driveStreet12(vehicle,street),event). 109==> meta_argtypes(driveStreet12(vehicle,street)). 110 111% event DriveStreet21(vehicle,street) 112 % event(driveStreet21(vehicle,street)). 113% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:56 114==> mpred_prop(driveStreet21(vehicle,street),event). 115==> meta_argtypes(driveStreet21(vehicle,street)). 116 117 118% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:57 119% [vehicle,street,time] 120% Happens(DriveStreet12(vehicle,street),time) -> 121% HoldsAt(At(vehicle,Side1(street)),time). 122% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:59 123axiom(requires(driveStreet12(Vehicle, Street), Time), 124 [holds_at(at(Vehicle, side1(Street)), Time)]). 125 126 127% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:61 128% [vehicle,street,time] 129% Happens(DriveStreet21(vehicle,street),time) -> 130% HoldsAt(At(vehicle,Side2(street)),time). 131% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:63 132axiom(requires(driveStreet21(Vehicle, Street), Time), 133 [holds_at(at(Vehicle, side2(Street)), Time)]). 134 135 136% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:65 137% [vehicle,street,location,time] 138% Side2(street)=location -> 139% Initiates(DriveStreet12(vehicle,street),At(vehicle,location),time). 140% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:67 141axiom(initiates(driveStreet12(Vehicle, Street), at(Vehicle, Location), Time), 142 [equals(side2(Street), Location)]). 143 144 145% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:69 146% [vehicle,street,location,time] 147% Side1(street)=location -> 148% Initiates(DriveStreet21(vehicle,street),At(vehicle,location),time). 149% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:71 150axiom(initiates(driveStreet21(Vehicle, Street), at(Vehicle, Location), Time), 151 [equals(side1(Street), Location)]). 152 153 154% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:73 155% [vehicle,street,location,time] 156% Side1(street)=location -> 157% Terminates(DriveStreet12(vehicle,street),At(vehicle,location),time). 158% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:75 159axiom(terminates(driveStreet12(Vehicle, Street), at(Vehicle, Location), Time), 160 [equals(side1(Street), Location)]). 161 162 163% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:77 164% [vehicle,street,location,time] 165% Side2(street)=location -> 166% Terminates(DriveStreet21(vehicle,street),At(vehicle,location),time). 167% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:79 168axiom(terminates(driveStreet21(Vehicle, Street), at(Vehicle, Location), Time), 169 [equals(side2(Street), Location)]). 170 171 172% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:81 173%; Pulling 174 175% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:83 176% event PointToward(agent,horse,street) 177 % event(pointToward(agent,horse,street)). 178% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:84 179==> mpred_prop(pointToward(agent,horse,street),event). 180==> meta_argtypes(pointToward(agent,horse,street)). 181 182% fluent PointedToward(horse,street) 183 % fluent(pointedToward(horse,street)). 184% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:86 185==> mpred_prop(pointedToward(horse,street),fluent). 186==> meta_argtypes(pointedToward(horse,street)). 187 188 189% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:87 190% [horse,street1,street2,time] 191% HoldsAt(PointedToward(horse,street1),time) & 192% HoldsAt(PointedToward(horse,street2),time) -> 193% street1=street2. 194% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:90 195axiom(Street1=Street2, 196 197 [ holds_at(pointedToward(Horse, Street1), Time), 198 holds_at(pointedToward(Horse, Street2), Time) 199 ]). 200 201 202% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:92 203% [agent,horse,street,time] 204% Initiates(PointToward(agent,horse,street), 205% PointedToward(horse,street), 206% time). 207% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:95 208axiom(initiates(pointToward(Agent, Horse, Street), pointedToward(Horse, Street), Time), 209 []). 210 211 212% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:97 213% [agent,horse,street1,street2,time] 214% HoldsAt(PointedToward(horse,street1),time) -> 215% Terminates(PointToward(agent,horse,street2), 216% PointedToward(horse,street1), 217% time). 218% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:101 219axiom(terminates(pointToward(Agent, Horse, Street2), pointedToward(Horse, Street1), Time), 220 [holds_at(pointedToward(Horse, Street1), Time)]). 221 222 223% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:103 224% [horse,vehicle,street,time] 225% Terminates(PullStreet12(horse,vehicle,street), 226% PointedToward(horse,street), 227% time). 228% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:106 229axiom(terminates(pullStreet12(Horse, Vehicle, Street), pointedToward(Horse, Street), Time), 230 []). 231 232 233% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:108 234% [horse,vehicle,street,time] 235% Terminates(PullStreet21(horse,vehicle,street), 236% PointedToward(horse,street), 237% time). 238% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:111 239axiom(terminates(pullStreet21(Horse, Vehicle, Street), pointedToward(Horse, Street), Time), 240 []). 241 242 243% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:113 244% [horse,street,time] 245% HoldsAt(PointedToward(horse,street),time) -> 246% HoldsAt(NearPortal(horse,street),time). 247% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:115 248axiom(holds_at(nearPortal(Horse, Street), Time), 249 [holds_at(pointedToward(Horse, Street), Time)]). 250 251% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:117 252% event Lash(agent,horse) 253 % event(lash(agent,horse)). 254% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:118 255==> mpred_prop(lash(agent,horse),event). 256==> meta_argtypes(lash(agent,horse)). 257 258% fluent HitchedTo(horse,vehicle) 259 % fluent(hitchedTo(horse,vehicle)). 260% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:120 261==> mpred_prop(hitchedTo(horse,vehicle),fluent). 262==> meta_argtypes(hitchedTo(horse,vehicle)). 263 264 265% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:121 266% [horse,vehicle,location,time] 267% HoldsAt(HitchedTo(horse,vehicle),time) & 268% HoldsAt(At(vehicle,location),time) -> 269% HoldsAt(At(horse,location),time). 270% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:124 271axiom(holds_at(at(Horse, Location), Time), 272 273 [ holds_at(hitchedTo(Horse, Vehicle), Time), 274 holds_at(at(Vehicle, Location), Time) 275 ]). 276 277 278% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:126 279% [agent,horse,vehicle,street,time] 280% Happens(Lash(agent,horse),time) & 281% HoldsAt(PointedToward(horse,street),time) & 282% HoldsAt(HitchedTo(horse,vehicle),time) & 283% HoldsAt(At(horse,Side1(street)),time) -> 284% Happens(PullStreet12(horse,vehicle,street),time). 285% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:131 286axiom(happens(pullStreet12(Horse, Vehicle, Street), Time), 287 288 [ happens(lash(Agent, Horse), Time), 289 holds_at(pointedToward(Horse, Street), Time), 290 holds_at(hitchedTo(Horse, Vehicle), Time), 291 holds_at(at(Horse, side1(Street)), Time) 292 ]). 293 294 295% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:133 296% [agent,horse,vehicle,street,time] 297% Happens(Lash(agent,horse),time) & 298% HoldsAt(PointedToward(horse,street),time) & 299% HoldsAt(HitchedTo(horse,vehicle),time) & 300% HoldsAt(At(horse,Side2(street)),time) -> 301% Happens(PullStreet21(horse,vehicle,street),time). 302% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:138 303axiom(happens(pullStreet21(Horse, Vehicle, Street), Time), 304 305 [ happens(lash(Agent, Horse), Time), 306 holds_at(pointedToward(Horse, Street), Time), 307 holds_at(hitchedTo(Horse, Vehicle), Time), 308 holds_at(at(Horse, side2(Street)), Time) 309 ]). 310 311% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:140 312% event PullStreet12(horse,vehicle,street) 313 % event(pullStreet12(horse,vehicle,street)). 314% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:141 315==> mpred_prop(pullStreet12(horse,vehicle,street),event). 316==> meta_argtypes(pullStreet12(horse,vehicle,street)). 317 318% event PullStreet21(horse,vehicle,street) 319 % event(pullStreet21(horse,vehicle,street)). 320% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:143 321==> mpred_prop(pullStreet21(horse,vehicle,street),event). 322==> meta_argtypes(pullStreet21(horse,vehicle,street)). 323 324 325% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:144 326% [horse,vehicle,street,time] 327% Happens(PullStreet12(horse,vehicle,street),time) -> 328% Happens(DriveStreet12(vehicle,street),time). 329% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:146 330axiom(happens(driveStreet12(Vehicle, Street), Time), 331 [happens(pullStreet12(Horse, Vehicle, Street), Time)]). 332 333 334% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:148 335% [horse,vehicle,street,time] 336% Happens(PullStreet21(horse,vehicle,street),time) -> 337% Happens(DriveStreet21(vehicle,street),time). 338% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:150 339axiom(happens(driveStreet21(Vehicle, Street), Time), 340 [happens(pullStreet21(Horse, Vehicle, Street), Time)]). 341 342 343% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:152 344% [horse,vehicle,street,time] 345% Happens(PullStreet12(horse,vehicle,street),time) -> 346% HoldsAt(At(horse,Side1(street)),time). 347% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:154 348axiom(requires(pullStreet12(Horse, Vehicle, Street), Time), 349 [holds_at(at(Horse, side1(Street)), Time)]). 350 351 352% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:156 353% [horse,vehicle,street,time] 354% Happens(PullStreet21(horse,vehicle,street),time) -> 355% HoldsAt(At(horse,Side2(street)),time). 356% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:158 357axiom(requires(pullStreet21(Horse, Vehicle, Street), Time), 358 [holds_at(at(Horse, side2(Street)), Time)]). 359 360 361% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:160 362% [horse,vehicle,street,location,time] 363% Side2(street)=location -> 364% Initiates(PullStreet12(horse,vehicle,street),At(horse,location),time). 365% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:162 366axiom(initiates(pullStreet12(Horse, Vehicle, Street), at(Horse, Location), Time), 367 [equals(side2(Street), Location)]). 368 369 370% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:164 371% [horse,vehicle,street,location,time] 372% Side1(street)=location -> 373% Initiates(PullStreet21(horse,vehicle,street),At(horse,location),time). 374% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:166 375axiom(initiates(pullStreet21(Horse, Vehicle, Street), at(Horse, Location), Time), 376 [equals(side1(Street), Location)]). 377 378 379% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:168 380% [horse,vehicle,street,location,time] 381% Side1(street)=location -> 382% Terminates(PullStreet12(horse,vehicle,street),At(horse,location),time). 383% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:170 384axiom(terminates(pullStreet12(Horse, Vehicle, Street), at(Horse, Location), Time), 385 [equals(side1(Street), Location)]). 386 387 388% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:172 389% [horse,vehicle,street,location,time] 390% Side2(street)=location -> 391% Terminates(PullStreet21(horse,vehicle,street),At(horse,location),time). 392% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:174 393axiom(terminates(pullStreet21(Horse, Vehicle, Street), at(Horse, Location), Time), 394 [equals(side2(Street), Location)]). 395 396 397% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:176 398%; OnVehicle 399 400% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:178 401% fluent OnVehicle(object,vehicleon) 402 % fluent(onVehicle(object,vehicleon)). 403% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:179 404==> mpred_prop(onVehicle(object,vehicleon),fluent). 405==> meta_argtypes(onVehicle(object,vehicleon)). 406 407% event GetOnVehicle(agent,vehicleon) 408 % event(getOnVehicle(agent,vehicleon)). 409% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:181 410==> mpred_prop(getOnVehicle(agent,vehicleon),event). 411==> meta_argtypes(getOnVehicle(agent,vehicleon)). 412 413% event GetOffVehicle(agent,vehicleon) 414 % event(getOffVehicle(agent,vehicleon)). 415% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:183 416==> mpred_prop(getOffVehicle(agent,vehicleon),event). 417==> meta_argtypes(getOffVehicle(agent,vehicleon)). 418 419 420% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:184 421% [vehicleon1,vehicleon2,time] 422% HoldsAt(OnVehicle(vehicleon1,vehicleon2),time) -> 423% vehicleon1!=vehicleon2. 424% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:186 425axiom(Vehicleon1\=Vehicleon2, 426 [holds_at(onVehicle(Vehicleon1, Vehicleon2), Time)]). 427 428 429% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:188 430% [vehicleon1,vehicleon2,time] 431% HoldsAt(OnVehicle(vehicleon1,vehicleon2),time) -> 432% !HoldsAt(OnVehicle(vehicleon2,vehicleon1),time). 433% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:190 434axiom(not(holds_at(onVehicle(Vehicleon2, Vehicleon1), Time)), 435 [holds_at(onVehicle(Vehicleon1, Vehicleon2), Time)]). 436 437 438% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:192 439% [agent,vehicleon,time] 440% Initiates(GetOnVehicle(agent,vehicleon),OnVehicle(agent,vehicleon),time). 441% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:193 442axiom(initiates(getOnVehicle(Agent, Vehicleon), onVehicle(Agent, Vehicleon), Time), 443 []). 444 445 446% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:195 447% [agent,vehicleon,time] 448% Happens(GetOnVehicle(agent,vehicleon),time) -> 449% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:197 450% {location}% 451% HoldsAt(At(agent,location),time) & 452% HoldsAt(At(vehicleon,location),time). 453 454 /* exists([Location], 455 if(happens(getOnVehicle(Agent, Vehicleon), Time), 456 (holds_at(at(Agent, Location), Time), holds_at(at(Vehicleon, Location), Time)))). 457 */ 458 459 /* not(some(Location6, '$kolem_Fn_195'(Fn_195_Param, At_Param, Maptime))) :- 460 happens(getOnVehicle(Fn_195_Param, At_Param), Maptime), 461 ( not(holds_at(at(Fn_195_Param, Location6), Maptime)) 462 ; not(holds_at(at(At_Param, Location6), Maptime)) 463 ). 464 */ 465% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:199 466axiom(not(some(Location6, '$kolem_Fn_195'(Fn_195_Param, At_Param, Maptime))), 467 468 [ not(holds_at(at(Fn_195_Param, Location6), Maptime)), 469 happens(getOnVehicle(Fn_195_Param, At_Param), Maptime) 470 ]). 471axiom(not(some(Location6, '$kolem_Fn_195'(Fn_195_Param, At_Param, Maptime))), 472 473 [ not(holds_at(at(At_Param, Location6), Maptime)), 474 happens(getOnVehicle(Fn_195_Param, At_Param), Maptime) 475 ]). 476 477 /* not(happens(getOnVehicle(GetOnVehicle_Param, At_Param12), Maptime9)) :- 478 ( not(holds_at(at(GetOnVehicle_Param, Location10), 479 Maptime9)) 480 ; not(holds_at(at(At_Param12, Location10), Maptime9)) 481 ), 482 some(Location10, 483 '$kolem_Fn_195'(GetOnVehicle_Param, 484 At_Param12, 485 Maptime9)). 486 */ 487axiom(not(happens(getOnVehicle(GetOnVehicle_Param, At_Param12), Maptime9)), 488 489 [ not(holds_at(at(GetOnVehicle_Param, Location10), 490 Maptime9)), 491 some(Location10, 492 '$kolem_Fn_195'(GetOnVehicle_Param, 493 At_Param12, 494 Maptime9)) 495 ]). 496axiom(not(happens(getOnVehicle(GetOnVehicle_Param, At_Param12), Maptime9)), 497 498 [ not(holds_at(at(At_Param12, Location10), Maptime9)), 499 some(Location10, 500 '$kolem_Fn_195'(GetOnVehicle_Param, 501 At_Param12, 502 Maptime9)) 503 ]). 504 505 /* holds_at(at(At_Param15, Location13), Time14) :- 506 happens(getOnVehicle(At_Param15, GetOnVehicle_Ret), 507 Time14), 508 some(Location13, 509 '$kolem_Fn_195'(At_Param15, GetOnVehicle_Ret, Time14)). 510 */ 511axiom(holds_at(at(At_Param15, Location13), Time14), 512 513 [ happens(getOnVehicle(At_Param15, GetOnVehicle_Ret), 514 Time14), 515 some(Location13, 516 '$kolem_Fn_195'(At_Param15, GetOnVehicle_Ret, Time14)) 517 ]). 518 519 /* holds_at(at(At_Param19, Location17), Time18) :- 520 happens(getOnVehicle(GetOnVehicle_Param20, At_Param19), 521 Time18), 522 some(Location17, 523 '$kolem_Fn_195'(GetOnVehicle_Param20, 524 At_Param19, 525 Time18)). 526 */ 527axiom(holds_at(at(At_Param19, Location17), Time18), 528 529 [ happens(getOnVehicle(GetOnVehicle_Param20, At_Param19), 530 Time18), 531 some(Location17, 532 '$kolem_Fn_195'(GetOnVehicle_Param20, 533 At_Param19, 534 Time18)) 535 ]). 536 537 538% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:201 539% [agent,vehicleon,time] 540% Terminates(GetOffVehicle(agent,vehicleon),OnVehicle(agent,vehicleon),time). 541% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:202 542axiom(terminates(getOffVehicle(Agent, Vehicleon), onVehicle(Agent, Vehicleon), Time), 543 []). 544 545 546% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:204 547% [agent,vehicleon,time] 548% Happens(GetOffVehicle(agent,vehicleon),time) -> 549% HoldsAt(OnVehicle(agent,vehicleon),time). 550% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:206 551axiom(requires(getOffVehicle(Agent, Vehicleon), Time), 552 [holds_at(onVehicle(Agent, Vehicleon), Time)]). 553 554 555% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:208 556% [agent,vehicleon,location,time] 557% Releases(GetOnVehicle(agent,vehicleon), 558% At(agent,location), 559% time). 560% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:211 561axiom(releases(getOnVehicle(Agent, Vehicleon), at(Agent, Location), Time), 562 []). 563 564 565% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:213 566%;[agent,vehicleon,location1,location2,time] 567%;HoldsAt(At(vehicleon,location1),time) & 568%;location1 != location2 -> 569%;Terminates(GetOffVehicle(agent,vehicleon), 570%; At(agent,location2), 571%; time). 572% [agent,vehicleon,location,time] 573% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:221 574% HoldsAt(At(vehicleon,location),time) -> 575% Initiates(GetOffVehicle(agent,vehicleon), 576% At(agent,location), 577% time). 578% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:224 579axiom(initiates(getOffVehicle(Agent, Vehicleon), at(Agent, Location), Time), 580 [holds_at(at(Vehicleon, Location), Time)]). 581 582 583% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:226 584% [object,vehicleon,location,time] 585% HoldsAt(OnVehicle(object,vehicleon),time) & 586% HoldsAt(At(vehicleon,location),time) -> 587% HoldsAt(At(object,location),time). 588% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:229 589axiom(holds_at(at(Object, Location), Time), 590 591 [ holds_at(onVehicle(Object, Vehicleon), Time), 592 holds_at(at(Vehicleon, Location), Time) 593 ]). 594 595 596% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:231 597%; InVehicle 598 599% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:233 600% fluent InVehicle(object,vehiclein) 601 % fluent(inVehicle(object,vehiclein)). 602% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:234 603==> mpred_prop(inVehicle(object,vehiclein),fluent). 604==> meta_argtypes(inVehicle(object,vehiclein)). 605 606% event GetInVehicle(agent,vehiclein) 607 % event(getInVehicle(agent,vehiclein)). 608% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:236 609==> mpred_prop(getInVehicle(agent,vehiclein),event). 610==> meta_argtypes(getInVehicle(agent,vehiclein)). 611 612% event GetOutOfVehicle(agent,vehiclein) 613 % event(getOutOfVehicle(agent,vehiclein)). 614% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:238 615==> mpred_prop(getOutOfVehicle(agent,vehiclein),event). 616==> meta_argtypes(getOutOfVehicle(agent,vehiclein)). 617 618 619% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:239 620% [vehiclein1,vehiclein2,time] 621% HoldsAt(InVehicle(vehiclein1,vehiclein2),time) -> 622% vehiclein1!=vehiclein2. 623% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:241 624axiom(Vehiclein1\=Vehiclein2, 625 [holds_at(inVehicle(Vehiclein1, Vehiclein2), Time)]). 626 627 628% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:243 629% [vehiclein1,vehiclein2,time] 630% HoldsAt(InVehicle(vehiclein1,vehiclein2),time) -> 631% !HoldsAt(InVehicle(vehiclein2,vehiclein1),time). 632% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:245 633axiom(not(holds_at(inVehicle(Vehiclein2, Vehiclein1), Time)), 634 [holds_at(inVehicle(Vehiclein1, Vehiclein2), Time)]). 635 636 637% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:247 638% [agent,vehiclein,time] 639% Initiates(GetInVehicle(agent,vehiclein),InVehicle(agent,vehiclein),time). 640% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:248 641axiom(initiates(getInVehicle(Agent, Vehiclein), inVehicle(Agent, Vehiclein), Time), 642 []). 643 644 645% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:250 646% [agent,vehiclein,time] 647% Happens(GetInVehicle(agent,vehiclein),time) -> 648% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:252 649% {location}% 650% HoldsAt(At(agent,location),time) & 651% HoldsAt(At(vehiclein,location),time). 652 653 /* exists([Location], 654 if(happens(getInVehicle(Agent, Vehiclein), Time), 655 (holds_at(at(Agent, Location), Time), holds_at(at(Vehiclein, Location), Time)))). 656 */ 657 658 /* not(some(Location6, '$kolem_Fn_196'(Fn_196_Param, At_Param, Maptime))) :- 659 happens(getInVehicle(Fn_196_Param, At_Param), Maptime), 660 ( not(holds_at(at(Fn_196_Param, Location6), Maptime)) 661 ; not(holds_at(at(At_Param, Location6), Maptime)) 662 ). 663 */ 664% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:254 665axiom(not(some(Location6, '$kolem_Fn_196'(Fn_196_Param, At_Param, Maptime))), 666 667 [ not(holds_at(at(Fn_196_Param, Location6), Maptime)), 668 happens(getInVehicle(Fn_196_Param, At_Param), Maptime) 669 ]). 670axiom(not(some(Location6, '$kolem_Fn_196'(Fn_196_Param, At_Param, Maptime))), 671 672 [ not(holds_at(at(At_Param, Location6), Maptime)), 673 happens(getInVehicle(Fn_196_Param, At_Param), Maptime) 674 ]). 675 676 /* not(happens(getInVehicle(GetInVehicle_Param, At_Param12), Maptime9)) :- 677 ( not(holds_at(at(GetInVehicle_Param, Location10), 678 Maptime9)) 679 ; not(holds_at(at(At_Param12, Location10), Maptime9)) 680 ), 681 some(Location10, 682 '$kolem_Fn_196'(GetInVehicle_Param, 683 At_Param12, 684 Maptime9)). 685 */ 686axiom(not(happens(getInVehicle(GetInVehicle_Param, At_Param12), Maptime9)), 687 688 [ not(holds_at(at(GetInVehicle_Param, Location10), 689 Maptime9)), 690 some(Location10, 691 '$kolem_Fn_196'(GetInVehicle_Param, 692 At_Param12, 693 Maptime9)) 694 ]). 695axiom(not(happens(getInVehicle(GetInVehicle_Param, At_Param12), Maptime9)), 696 697 [ not(holds_at(at(At_Param12, Location10), Maptime9)), 698 some(Location10, 699 '$kolem_Fn_196'(GetInVehicle_Param, 700 At_Param12, 701 Maptime9)) 702 ]). 703 704 /* holds_at(at(At_Param15, Location13), Time14) :- 705 happens(getInVehicle(At_Param15, GetInVehicle_Ret), 706 Time14), 707 some(Location13, 708 '$kolem_Fn_196'(At_Param15, GetInVehicle_Ret, Time14)). 709 */ 710axiom(holds_at(at(At_Param15, Location13), Time14), 711 712 [ happens(getInVehicle(At_Param15, GetInVehicle_Ret), 713 Time14), 714 some(Location13, 715 '$kolem_Fn_196'(At_Param15, GetInVehicle_Ret, Time14)) 716 ]). 717 718 /* holds_at(at(At_Param19, Location17), Time18) :- 719 happens(getInVehicle(GetInVehicle_Param20, At_Param19), 720 Time18), 721 some(Location17, 722 '$kolem_Fn_196'(GetInVehicle_Param20, 723 At_Param19, 724 Time18)). 725 */ 726axiom(holds_at(at(At_Param19, Location17), Time18), 727 728 [ happens(getInVehicle(GetInVehicle_Param20, At_Param19), 729 Time18), 730 some(Location17, 731 '$kolem_Fn_196'(GetInVehicle_Param20, 732 At_Param19, 733 Time18)) 734 ]). 735 736 737% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:256 738% [agent,vehiclein,time] 739% Terminates(GetOutOfVehicle(agent,vehiclein),InVehicle(agent,vehiclein),time). 740% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:257 741axiom(terminates(getOutOfVehicle(Agent, Vehiclein), inVehicle(Agent, Vehiclein), Time), 742 []). 743 744 745% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:259 746% [agent,vehiclein,time] 747% Happens(GetOutOfVehicle(agent,vehiclein),time) -> 748% HoldsAt(InVehicle(agent,vehiclein),time). 749% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:261 750axiom(requires(getOutOfVehicle(Agent, Vehiclein), Time), 751 [holds_at(inVehicle(Agent, Vehiclein), Time)]). 752 753 754% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:263 755% [agent,vehiclein,location,time] 756% Releases(GetInVehicle(agent,vehiclein), 757% At(agent,location), 758% time). 759% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:266 760axiom(releases(getInVehicle(Agent, Vehiclein), at(Agent, Location), Time), 761 []). 762 763 764% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:268 765%;[agent,vehiclein,location1,location2,time] 766%;HoldsAt(At(vehiclein,location1),time) & 767%;location1 != location2 -> 768%;Terminates(GetOutOfVehicle(agent,vehiclein), 769%; At(agent,location2), 770%; time). 771% [agent,vehiclein,location,time] 772% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:276 773% HoldsAt(At(vehiclein,location),time) -> 774% Initiates(GetOutOfVehicle(agent,vehiclein), 775% At(agent,location), 776% time). 777% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:279 778axiom(initiates(getOutOfVehicle(Agent, Vehiclein), at(Agent, Location), Time), 779 [holds_at(at(Vehiclein, Location), Time)]). 780 781 782% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:281 783% [object,vehiclein,location,time] 784% HoldsAt(InVehicle(object,vehiclein),time) & 785% HoldsAt(At(vehiclein,location),time) -> 786% HoldsAt(At(object,location),time). 787% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:284 788axiom(holds_at(at(Object, Location), Time), 789 790 [ holds_at(inVehicle(Object, Vehiclein), Time), 791 holds_at(at(Vehiclein, Location), Time) 792 ]). 793 794 795% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:286 796%; vehicle door 797%; door does not have to be open for entry; passenger can jump in 798 799% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:289 800% event VehicleDoorOpen(agent,vehicledoor) 801 % event(vehicleDoorOpen(agent,vehicledoor)). 802% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:290 803==> mpred_prop(vehicleDoorOpen(agent,vehicledoor),event). 804==> meta_argtypes(vehicleDoorOpen(agent,vehicledoor)). 805 806% event VehicleDoorClose(agent,vehicledoor) 807 % event(vehicleDoorClose(agent,vehicledoor)). 808% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:292 809==> mpred_prop(vehicleDoorClose(agent,vehicledoor),event). 810==> meta_argtypes(vehicleDoorClose(agent,vehicledoor)). 811 812% fluent VehicleDoorIsOpen(vehicledoor) 813 % fluent(vehicleDoorIsOpen(vehicledoor)). 814% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:294 815==> mpred_prop(vehicleDoorIsOpen(vehicledoor),fluent). 816==> meta_argtypes(vehicleDoorIsOpen(vehicledoor)). 817 818 819% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:295 820% [agent,vehicledoor,time] 821% Happens(VehicleDoorOpen(agent,vehicledoor),time) -> 822% HoldsAt(Awake(agent),time) & 823% !HoldsAt(VehicleDoorIsOpen(vehicledoor),time). 824% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:298 825axiom(requires(vehicleDoorOpen(Agent, Vehicledoor), Time), 826 827 [ holds_at(awake(Agent), Time), 828 not(holds_at(vehicleDoorIsOpen(Vehicledoor), Time)) 829 ]). 830 831 832% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:300 833% [agent,vehicledoor,time] 834% Initiates(VehicleDoorOpen(agent,vehicledoor), 835% VehicleDoorIsOpen(vehicledoor), 836% time). 837% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:303 838axiom(initiates(vehicleDoorOpen(Agent, Vehicledoor), vehicleDoorIsOpen(Vehicledoor), Time), 839 []). 840 841 842% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:305 843% [agent,vehicledoor,time] 844% Happens(VehicleDoorClose(agent,vehicledoor),time) -> 845% HoldsAt(Awake(agent),time) & 846% HoldsAt(VehicleDoorIsOpen(vehicledoor),time). 847% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:308 848axiom(requires(vehicleDoorClose(Agent, Vehicledoor), Time), 849 850 [ holds_at(awake(Agent), Time), 851 holds_at(vehicleDoorIsOpen(Vehicledoor), Time) 852 ]). 853 854 855% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:310 856% [agent,vehicledoor,time] 857% Terminates(VehicleDoorClose(agent,vehicledoor), 858% VehicleDoorIsOpen(vehicledoor), 859% time). 860% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:313 861axiom(terminates(vehicleDoorClose(Agent, Vehicledoor), vehicleDoorIsOpen(Vehicledoor), Time), 862 []). 863 864 865% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:315 866%; ticketagent 867 868% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:317 869% sort ticketagent: agent 870% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:318 871==> subsort(ticketagent,agent). 872 873% fluent BeTicketAgent0(ticketagent) 874 % fluent(beTicketAgent0(ticketagent)). 875% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:320 876==> mpred_prop(beTicketAgent0(ticketagent),fluent). 877==> meta_argtypes(beTicketAgent0(ticketagent)). 878 879% fluent BeTicketAgent1(ticketagent) 880 % fluent(beTicketAgent1(ticketagent)). 881% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:321 882==> mpred_prop(beTicketAgent1(ticketagent),fluent). 883==> meta_argtypes(beTicketAgent1(ticketagent)). 884 885% fluent BeTicketAgent2(ticketagent) 886 % fluent(beTicketAgent2(ticketagent)). 887% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:322 888==> mpred_prop(beTicketAgent2(ticketagent),fluent). 889==> meta_argtypes(beTicketAgent2(ticketagent)). 890 891% xor BeTicketAgent0, BeTicketAgent1, BeTicketAgent2 892% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:324 893xor([beTicketAgent0,beTicketAgent1,beTicketAgent2]). 894 895 896% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:325 897% [ticketagent,agent,ticket,time] 898% HoldsAt(BeTicketAgent0(ticketagent),time) -> 899% Terminates(Request(agent,ticketagent,ticket), 900% BeTicketAgent0(ticketagent), 901% time). 902% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:329 903axiom(terminates(request(Agent, Ticketagent, Ticket), beTicketAgent0(Ticketagent), Time), 904 [holds_at(beTicketAgent0(Ticketagent), Time)]). 905 906 907% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:331 908% [ticketagent,agent,ticket,time] 909% HoldsAt(BeTicketAgent0(ticketagent),time) -> 910% Initiates(Request(agent,ticketagent,ticket), 911% BeTicketAgent1(ticketagent), 912% time). 913% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:335 914axiom(initiates(request(Agent, Ticketagent, Ticket), beTicketAgent1(Ticketagent), Time), 915 [holds_at(beTicketAgent0(Ticketagent), Time)]). 916 917 918% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:337 919% [ticketagent,agent,ticket,time] 920% HoldsAt(BeTicketAgent1(ticketagent),time) & 921% HoldsAt(KnowRequest(ticketagent,agent,ticket),time) -> 922% Happens(PickUp(ticketagent,ticket),time). 923% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:340 924axiom(happens(pickUp(Ticketagent, Ticket), Time), 925 926 [ holds_at(beTicketAgent1(Ticketagent), Time), 927 holds_at(knowRequest(Ticketagent, Agent, Ticket), 928 Time) 929 ]). 930 931 932% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:342 933% [ticketagent,ticket,time] 934% HoldsAt(BeTicketAgent1(ticketagent),time) -> 935% Terminates(PickUp(ticketagent,ticket), 936% BeTicketAgent1(ticketagent), 937% time). 938% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:346 939axiom(terminates(pickUp(Ticketagent, Ticket), beTicketAgent1(Ticketagent), Time), 940 [holds_at(beTicketAgent1(Ticketagent), Time)]). 941 942 943% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:348 944% [ticketagent,ticket,time] 945% HoldsAt(BeTicketAgent1(ticketagent),time) -> 946% Initiates(PickUp(ticketagent,ticket), 947% BeTicketAgent2(ticketagent), 948% time). 949% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:352 950axiom(initiates(pickUp(Ticketagent, Ticket), beTicketAgent2(Ticketagent), Time), 951 [holds_at(beTicketAgent1(Ticketagent), Time)]). 952 953 954% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:354 955% [ticketagent,agent,ticket,time] 956% HoldsAt(BeTicketAgent2(ticketagent),time) & 957% HoldsAt(KnowRequest(ticketagent,agent,ticket),time) -> 958% Happens(HandTo(ticketagent,agent,ticket),time). 959% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:357 960axiom(happens(handTo(Ticketagent, Agent, Ticket), Time), 961 962 [ holds_at(beTicketAgent2(Ticketagent), Time), 963 holds_at(knowRequest(Ticketagent, Agent, Ticket), 964 Time) 965 ]). 966 967 968% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:359 969% [ticketagent,ticket,agent,time] 970% HoldsAt(BeTicketAgent2(ticketagent),time) -> 971% Terminates(HandTo(ticketagent,agent,ticket), 972% BeTicketAgent2(ticketagent), 973% time). 974% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:363 975axiom(terminates(handTo(Ticketagent, Agent, Ticket), beTicketAgent2(Ticketagent), Time), 976 [holds_at(beTicketAgent2(Ticketagent), Time)]). 977 978 979% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:365 980% [ticketagent,ticket,agent,time] 981% HoldsAt(BeTicketAgent2(ticketagent),time) -> 982% Initiates(HandTo(ticketagent,agent,ticket), 983% BeTicketAgent0(ticketagent), 984% time). 985% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:369 986axiom(initiates(handTo(Ticketagent, Agent, Ticket), beTicketAgent0(Ticketagent), Time), 987 [holds_at(beTicketAgent2(Ticketagent), Time)]). 988 989 990% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Vehicle.e:371 991%; End of file.