1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'ecnet/Restaurant.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 15% sort restaurant: script 16==> subsort(restaurant,script). 17 18% sort waiter: agent 19==> subsort(waiter,agent). 20 21% sort cook: agent 22==> subsort(cook,agent). 23 24% function BillOf(restaurant): bill 25 % functional_predicate(billOf(restaurant,bill)). 26==> mpred_prop(billOf(restaurant,bill),functional_predicate). 27==> meta_argtypes(billOf(restaurant,bill)). 28resultIsa(billOf,bill). 29 30% function CookOf(restaurant): cook 31 % functional_predicate(cookOf(restaurant,cook)). 32==> mpred_prop(cookOf(restaurant,cook),functional_predicate). 33==> meta_argtypes(cookOf(restaurant,cook)). 34resultIsa(cookOf,cook). 35 36% function TableOf(restaurant): table 37 % functional_predicate(tableOf(restaurant,table)). 38==> mpred_prop(tableOf(restaurant,table),functional_predicate). 39==> meta_argtypes(tableOf(restaurant,table)). 40resultIsa(tableOf,table). 41 42% function WaiterOf(restaurant): waiter 43 % functional_predicate(waiterOf(restaurant,waiter)). 44==> mpred_prop(waiterOf(restaurant,waiter),functional_predicate). 45==> meta_argtypes(waiterOf(restaurant,waiter)). 46resultIsa(waiterOf,waiter). 47 48% function KitchenDoorOf(restaurant): door 49 % functional_predicate(kitchenDoorOf(restaurant,door)). 50==> mpred_prop(kitchenDoorOf(restaurant,door),functional_predicate). 51==> meta_argtypes(kitchenDoorOf(restaurant,door)). 52resultIsa(kitchenDoorOf,door). 53%; awaiting customer/waiter has set down bill on customer's table 54 55% fluent BeWaiter0(waiter) 56 % fluent(beWaiter0(waiter)). 57==> mpred_prop(beWaiter0(waiter),fluent). 58==> meta_argtypes(beWaiter0(waiter)). 59 60 61% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:23 62%; awaiting customer order 63 64% fluent BeWaiter1(waiter) 65 % fluent(beWaiter1(waiter)). 66% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:25 67==> mpred_prop(beWaiter1(waiter),fluent). 68==> meta_argtypes(beWaiter1(waiter)). 69 70 71% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:26 72%; has customer order 73 74% fluent BeWaiter2(waiter) 75 % fluent(beWaiter2(waiter)). 76% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:28 77==> mpred_prop(beWaiter2(waiter),fluent). 78==> meta_argtypes(beWaiter2(waiter)). 79 80 81% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:29 82%; in kitchen 83 84% fluent BeWaiter3(waiter) 85 % fluent(beWaiter3(waiter)). 86% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:31 87==> mpred_prop(beWaiter3(waiter),fluent). 88==> meta_argtypes(beWaiter3(waiter)). 89 90 91% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:32 92%; awaiting preparation of order 93 94% fluent BeWaiter4(waiter) 95 % fluent(beWaiter4(waiter)). 96% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:34 97==> mpred_prop(beWaiter4(waiter),fluent). 98==> meta_argtypes(beWaiter4(waiter)). 99 100 101% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:35 102%; has order 103 104% fluent BeWaiter5(waiter) 105 % fluent(beWaiter5(waiter)). 106% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:37 107==> mpred_prop(beWaiter5(waiter),fluent). 108==> meta_argtypes(beWaiter5(waiter)). 109 110 111% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:38 112%; back in dining room 113 114% fluent BeWaiter6(waiter) 115 % fluent(beWaiter6(waiter)). 116% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:40 117==> mpred_prop(beWaiter6(waiter),fluent). 118==> meta_argtypes(beWaiter6(waiter)). 119 120 121% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:41 122%; order delivered to customer (can ask if all is OK) 123 124% fluent BeWaiter7(waiter) 125 % fluent(beWaiter7(waiter)). 126% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:43 127==> mpred_prop(beWaiter7(waiter),fluent). 128==> meta_argtypes(beWaiter7(waiter)). 129 130 131% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:44 132%; customer has requested bill 133 134% fluent BeWaiter8(waiter) 135 % fluent(beWaiter8(waiter)). 136% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:46 137==> mpred_prop(beWaiter8(waiter),fluent). 138==> meta_argtypes(beWaiter8(waiter)). 139 140 141% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:47 142%; waiter is holding bill 143 144% fluent BeWaiter9(waiter) 145 % fluent(beWaiter9(waiter)). 146% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:49 147==> mpred_prop(beWaiter9(waiter),fluent). 148==> meta_argtypes(beWaiter9(waiter)). 149 150% xor BeWaiter0, BeWaiter1, BeWaiter2, BeWaiter3, BeWaiter4, BeWaiter5, BeWaiter6, BeWaiter7, BeWaiter8, BeWaiter9 151% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:51 152xor([ beWaiter0, 153 beWaiter1, 154 beWaiter2, 155 beWaiter3, 156 beWaiter4, 157 beWaiter5, 158 beWaiter6, 159 beWaiter7, 160 beWaiter8, 161 beWaiter9 162 ]). 163 164 165% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:52 166% [waiter,agent,time] 167% HoldsAt(BeWaiter0(waiter),time) -> 168% Terminates(Greet(waiter,agent), 169% BeWaiter0(waiter), 170% time). 171% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:56 172axiom(terminates(greet(Waiter, Agent), beWaiter0(Waiter), Time), 173 [holds_at(beWaiter0(Waiter), Time)]). 174 175 176% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:58 177% [waiter,agent,time] 178% HoldsAt(BeWaiter0(waiter),time) -> 179% Initiates(Greet(waiter,agent), 180% BeWaiter1(waiter), 181% time). 182% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:62 183axiom(initiates(greet(Waiter, Agent), beWaiter1(Waiter), Time), 184 [holds_at(beWaiter0(Waiter), Time)]). 185 186 187% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:64 188% [waiter,agent,food,time] 189% HoldsAt(BeWaiter1(waiter),time) -> 190% Terminates(Order(agent,waiter,food), 191% BeWaiter1(waiter), 192% time). 193% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:68 194axiom(terminates(order(Agent, Waiter, Food), beWaiter1(Waiter), Time), 195 [holds_at(beWaiter1(Waiter), Time)]). 196 197 198% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:70 199% [waiter,agent,food,time] 200% HoldsAt(BeWaiter1(waiter),time) -> 201% Initiates(Order(agent,waiter,food), 202% BeWaiter2(waiter), 203% time). 204% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:74 205axiom(initiates(order(Agent, Waiter, Food), beWaiter2(Waiter), Time), 206 [holds_at(beWaiter1(Waiter), Time)]). 207 208 209% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:76 210% [restaurant,waiter,time] 211% WaiterOf(restaurant)=waiter & 212% HoldsAt(BeWaiter2(waiter),time) -> 213% Happens(WalkThroughDoor12(waiter,KitchenDoorOf(restaurant)),time). 214% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:79 215axiom(happens(walkThroughDoor12(Waiter, kitchenDoorOf(Restaurant)), Time), 216 217 [ equals(waiterOf(Restaurant), Waiter), 218 holds_at(beWaiter2(Waiter), Time) 219 ]). 220 221 222% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:81 223% [restaurant,waiter,door,time] 224% HoldsAt(BeWaiter2(waiter),time) & 225% WaiterOf(restaurant)=waiter & 226% KitchenDoorOf(restaurant)=door -> 227% Terminates(WalkThroughDoor12(waiter,door), 228% BeWaiter2(waiter), 229% time). 230% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:87 231axiom(terminates(walkThroughDoor12(Waiter, Door), beWaiter2(Waiter), Time), 232 233 [ holds_at(beWaiter2(Waiter), Time), 234 equals(waiterOf(Restaurant), Waiter), 235 equals(kitchenDoorOf(Restaurant), Door) 236 ]). 237 238 239% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:89 240% [restaurant,waiter,door,time] 241% HoldsAt(BeWaiter2(waiter),time) & 242% WaiterOf(restaurant)=waiter & 243% KitchenDoorOf(restaurant)=door -> 244% Initiates(WalkThroughDoor12(waiter,door), 245% BeWaiter3(waiter), 246% time). 247% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:95 248axiom(initiates(walkThroughDoor12(Waiter, Door), beWaiter3(Waiter), Time), 249 250 [ holds_at(beWaiter2(Waiter), Time), 251 equals(waiterOf(Restaurant), Waiter), 252 equals(kitchenDoorOf(Restaurant), Door) 253 ]). 254 255 256% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:97 257% [restaurant,food,time] 258% HoldsAt(BeWaiter3(WaiterOf(restaurant)),time) & 259% ({agent} HoldsAt(KnowOrder(WaiterOf(restaurant),agent,food),time)) -> 260% Happens(Order(WaiterOf(restaurant),CookOf(restaurant),food),time). 261% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:100 262axiom(happens(order(waiterOf(Restaurant), cookOf(Restaurant), Food), Time), 263 264 [ holds_at(beWaiter3(waiterOf(Restaurant)), Time), 265 holds_at(knowOrder(waiterOf(Restaurant), Agent, Food), 266 Time) 267 ]). 268 269 270% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:102 271% [restaurant,waiter,cook,food,time] 272% WaiterOf(restaurant)=waiter & 273% CookOf(restaurant)=cook & 274% HoldsAt(BeWaiter3(waiter),time) -> 275% Terminates(Order(waiter,cook,food), 276% BeWaiter3(waiter), 277% time). 278% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:108 279axiom(terminates(order(Waiter, Cook, Food), beWaiter3(Waiter), Time), 280 281 [ equals(waiterOf(Restaurant), Waiter), 282 equals(cookOf(Restaurant), Cook), 283 holds_at(beWaiter3(Waiter), Time) 284 ]). 285 286 287% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:110 288% [restaurant,waiter,cook,food,time] 289% WaiterOf(restaurant)=waiter & 290% CookOf(restaurant)=cook & 291% HoldsAt(BeWaiter3(waiter),time) -> 292% Initiates(Order(waiter,cook,food), 293% BeWaiter4(waiter), 294% time). 295% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:116 296axiom(initiates(order(Waiter, Cook, Food), beWaiter4(Waiter), Time), 297 298 [ equals(waiterOf(Restaurant), Waiter), 299 equals(cookOf(Restaurant), Cook), 300 holds_at(beWaiter3(Waiter), Time) 301 ]). 302 303 304% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:118 305% [waiter,food,time] 306% HoldsAt(BeWaiter4(waiter),time) & 307% ({agent} HoldsAt(KnowOrder(waiter,agent,food),time)) & 308% HoldsAt(FoodPrepared(food),time) -> 309% Happens(PickUp(waiter,food),time). 310% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:122 311axiom(happens(pickUp(Waiter, Food), Time), 312 313 [ holds_at(beWaiter4(Waiter), Time), 314 holds_at(knowOrder(Waiter, Agent, Food), Time), 315 holds_at(foodPrepared(Food), Time) 316 ]). 317 318 319% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:124 320% [waiter,food,time] 321% HoldsAt(BeWaiter4(waiter),time) & 322% ({agent} HoldsAt(KnowOrder(waiter,agent,food),time)) -> 323% Terminates(PickUp(waiter,food), 324% BeWaiter4(waiter), 325% time). 326% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:129 327axiom(terminates(pickUp(Waiter, Food), beWaiter4(Waiter), Time), 328 329 [ holds_at(beWaiter4(Waiter), Time), 330 holds_at(knowOrder(Waiter, Agent, Food), Time) 331 ]). 332 333 334% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:131 335% [waiter,food,time] 336% HoldsAt(BeWaiter4(waiter),time) & 337% ({agent} HoldsAt(KnowOrder(waiter,agent,food),time)) -> 338% Initiates(PickUp(waiter,food), 339% BeWaiter5(waiter), 340% time). 341% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:136 342axiom(initiates(pickUp(Waiter, Food), beWaiter5(Waiter), Time), 343 344 [ holds_at(beWaiter4(Waiter), Time), 345 holds_at(knowOrder(Waiter, Agent, Food), Time) 346 ]). 347 348 349% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:138 350% [restaurant,waiter,time] 351% WaiterOf(restaurant)=waiter & 352% HoldsAt(BeWaiter5(waiter),time) -> 353% Happens(WalkThroughDoor21(waiter,KitchenDoorOf(restaurant)),time). 354% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:141 355axiom(happens(walkThroughDoor21(Waiter, kitchenDoorOf(Restaurant)), Time), 356 357 [ equals(waiterOf(Restaurant), Waiter), 358 holds_at(beWaiter5(Waiter), Time) 359 ]). 360 361 362% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:143 363% [restaurant,waiter,door,time] 364% HoldsAt(BeWaiter5(waiter),time) & 365% WaiterOf(restaurant)=waiter & 366% KitchenDoorOf(restaurant)=door -> 367% Terminates(WalkThroughDoor21(waiter,door), 368% BeWaiter5(waiter), 369% time). 370% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:149 371axiom(terminates(walkThroughDoor21(Waiter, Door), beWaiter5(Waiter), Time), 372 373 [ holds_at(beWaiter5(Waiter), Time), 374 equals(waiterOf(Restaurant), Waiter), 375 equals(kitchenDoorOf(Restaurant), Door) 376 ]). 377 378 379% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:151 380% [restaurant,waiter,door,time] 381% HoldsAt(BeWaiter5(waiter),time) & 382% WaiterOf(restaurant)=waiter & 383% KitchenDoorOf(restaurant)=door -> 384% Initiates(WalkThroughDoor21(waiter,door), 385% BeWaiter6(waiter), 386% time). 387% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:157 388axiom(initiates(walkThroughDoor21(Waiter, Door), beWaiter6(Waiter), Time), 389 390 [ holds_at(beWaiter5(Waiter), Time), 391 equals(waiterOf(Restaurant), Waiter), 392 equals(kitchenDoorOf(Restaurant), Door) 393 ]). 394 395 396% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:159 397% [restaurant,waiter,table,food,time] 398% WaiterOf(restaurant)=waiter & 399% TableOf(restaurant)=table & 400% HoldsAt(BeWaiter6(waiter),time) & 401% HoldsAt(Holding(waiter,food),time) -> 402% Happens(PlaceOn(waiter,food,table),time). 403% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:164 404axiom(happens(placeOn(Waiter, Food, Table), Time), 405 406 [ equals(waiterOf(Restaurant), Waiter), 407 equals(tableOf(Restaurant), Table), 408 holds_at(beWaiter6(Waiter), Time), 409 holds_at(holding(Waiter, Food), Time) 410 ]). 411 412 413% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:166 414% [waiter,food,table,time] 415% HoldsAt(BeWaiter6(waiter),time) -> 416% Terminates(PlaceOn(waiter,food,table), 417% BeWaiter6(waiter), 418% time). 419% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:170 420axiom(terminates(placeOn(Waiter, Food, Table), beWaiter6(Waiter), Time), 421 [holds_at(beWaiter6(Waiter), Time)]). 422 423 424% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:172 425% [waiter,food,table,time] 426% HoldsAt(BeWaiter6(waiter),time) -> 427% Initiates(PlaceOn(waiter,food,table), 428% BeWaiter7(waiter), 429% time). 430% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:176 431axiom(initiates(placeOn(Waiter, Food, Table), beWaiter7(Waiter), Time), 432 [holds_at(beWaiter6(Waiter), Time)]). 433 434 435% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:178 436% [waiter,agent,bill,time] 437% HoldsAt(BeWaiter7(waiter),time) -> 438% Terminates(Request(agent,waiter,bill), 439% BeWaiter7(waiter), 440% time). 441% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:182 442axiom(terminates(request(Agent, Waiter, Bill), beWaiter7(Waiter), Time), 443 [holds_at(beWaiter7(Waiter), Time)]). 444 445 446% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:184 447% [waiter,agent,bill,time] 448% HoldsAt(BeWaiter7(waiter),time) -> 449% Initiates(Request(agent,waiter,bill), 450% BeWaiter8(waiter), 451% time). 452% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:188 453axiom(initiates(request(Agent, Waiter, Bill), beWaiter8(Waiter), Time), 454 [holds_at(beWaiter7(Waiter), Time)]). 455 456 457% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:190 458% [restaurant,waiter,bill,time] 459% WaiterOf(restaurant)=waiter & 460% BillOf(restaurant)=bill & 461% HoldsAt(BeWaiter8(waiter),time) -> 462% Happens(PickUp(waiter,bill),time). 463% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:194 464axiom(happens(pickUp(Waiter, Bill), Time), 465 466 [ equals(waiterOf(Restaurant), Waiter), 467 equals(billOf(Restaurant), Bill), 468 holds_at(beWaiter8(Waiter), Time) 469 ]). 470 471 472% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:196 473% [waiter,bill,time] 474% HoldsAt(BeWaiter8(waiter),time) -> 475% Terminates(PickUp(waiter,bill), 476% BeWaiter8(waiter), 477% time). 478% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:200 479axiom(terminates(pickUp(Waiter, Bill), beWaiter8(Waiter), Time), 480 [holds_at(beWaiter8(Waiter), Time)]). 481 482 483% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:202 484% [waiter,bill,time] 485% HoldsAt(BeWaiter8(waiter),time) -> 486% Initiates(PickUp(waiter,bill), 487% BeWaiter9(waiter), 488% time). 489% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:206 490axiom(initiates(pickUp(Waiter, Bill), beWaiter9(Waiter), Time), 491 [holds_at(beWaiter8(Waiter), Time)]). 492 493 494% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:208 495% [restaurant,waiter,bill,table,time] 496% WaiterOf(restaurant)=waiter & 497% BillOf(restaurant)=bill & 498% TableOf(restaurant)=table & 499% HoldsAt(BeWaiter9(waiter),time) -> 500% Happens(PlaceOn(waiter,bill,table),time). 501% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:213 502axiom(happens(placeOn(Waiter, Bill, Table), Time), 503 504 [ equals(waiterOf(Restaurant), Waiter), 505 equals(billOf(Restaurant), Bill), 506 equals(tableOf(Restaurant), Table), 507 holds_at(beWaiter9(Waiter), Time) 508 ]). 509 510 511% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:215 512% [waiter,bill,table,time] 513% HoldsAt(BeWaiter9(waiter),time) -> 514% Terminates(PlaceOn(waiter,bill,table), 515% BeWaiter9(waiter), 516% time). 517% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:219 518axiom(terminates(placeOn(Waiter, Bill, Table), beWaiter9(Waiter), Time), 519 [holds_at(beWaiter9(Waiter), Time)]). 520 521 522% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:221 523% [waiter,bill,table,time] 524% HoldsAt(BeWaiter9(waiter),time) -> 525% Initiates(PlaceOn(waiter,bill,table), 526% BeWaiter0(waiter), 527% time). 528% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:225 529axiom(initiates(placeOn(Waiter, Bill, Table), beWaiter0(Waiter), Time), 530 [holds_at(beWaiter9(Waiter), Time)]). 531 532 533% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:227 534%; awaiting next waiter order 535 536% fluent BeCook0(cook) 537 % fluent(beCook0(cook)). 538% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:229 539==> mpred_prop(beCook0(cook),fluent). 540==> meta_argtypes(beCook0(cook)). 541 542 543% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:230 544%; waiter order received 545 546% fluent BeCook1(cook) 547 % fluent(beCook1(cook)). 548% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:232 549==> mpred_prop(beCook1(cook),fluent). 550==> meta_argtypes(beCook1(cook)). 551 552% xor BeCook0, BeCook1 553% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:234 554xor([beCook0,beCook1]). 555 556 557% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:235 558% [cook,agent,food,time] 559% HoldsAt(BeCook0(cook),time) -> 560% Terminates(Order(agent,cook,food), 561% BeCook0(cook), 562% time). 563% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:239 564axiom(terminates(order(Agent, Cook, Food), beCook0(Cook), Time), 565 [holds_at(beCook0(Cook), Time)]). 566 567 568% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:241 569% [cook,agent,food,time] 570% HoldsAt(BeCook0(cook),time) -> 571% Initiates(Order(agent,cook,food), 572% BeCook1(cook), 573% time). 574% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:245 575axiom(initiates(order(Agent, Cook, Food), beCook1(Cook), Time), 576 [holds_at(beCook0(Cook), Time)]). 577 578% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:247 579% event FoodPrepare(agent,food) 580 % event(foodPrepare(agent,food)). 581% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:248 582==> mpred_prop(foodPrepare(agent,food),event). 583==> meta_argtypes(foodPrepare(agent,food)). 584 585% fluent FoodPrepared(food) 586 % fluent(foodPrepared(food)). 587% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:250 588==> mpred_prop(foodPrepared(food),fluent). 589==> meta_argtypes(foodPrepared(food)). 590 591 592% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:251 593% [agent,food,time] 594% Initiates(FoodPrepare(agent,food), 595% FoodPrepared(food), 596% time). 597% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:254 598axiom(initiates(foodPrepare(Agent, Food), foodPrepared(Food), Time), 599 []). 600 601 602% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:256 603% [agent,food,time] 604% Happens(FoodPrepare(agent,food),time) -> 605% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:258 606% {location}% 607% HoldsAt(At(agent,location),time) & 608% HoldsAt(At(food,location),time). 609 610 /* exists([Location], 611 if(happens(foodPrepare(Agent, Food), Time), 612 (holds_at(at(Agent, Location), Time), holds_at(at(Food, Location), Time)))). 613 */ 614 615 /* not(some(Location6, '$kolem_Fn_182'(Fn_182_Param, At_Param, Maptime))) :- 616 happens(foodPrepare(Fn_182_Param, At_Param), Maptime), 617 ( not(holds_at(at(Fn_182_Param, Location6), Maptime)) 618 ; not(holds_at(at(At_Param, Location6), Maptime)) 619 ). 620 */ 621% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:260 622axiom(not(some(Location6, '$kolem_Fn_182'(Fn_182_Param, At_Param, Maptime))), 623 624 [ not(holds_at(at(Fn_182_Param, Location6), Maptime)), 625 happens(foodPrepare(Fn_182_Param, At_Param), Maptime) 626 ]). 627axiom(not(some(Location6, '$kolem_Fn_182'(Fn_182_Param, At_Param, Maptime))), 628 629 [ not(holds_at(at(At_Param, Location6), Maptime)), 630 happens(foodPrepare(Fn_182_Param, At_Param), Maptime) 631 ]). 632 633 /* not(happens(foodPrepare(FoodPrepare_Param, At_Param12), Maptime9)) :- 634 ( not(holds_at(at(FoodPrepare_Param, Location10), 635 Maptime9)) 636 ; not(holds_at(at(At_Param12, Location10), Maptime9)) 637 ), 638 some(Location10, 639 '$kolem_Fn_182'(FoodPrepare_Param, 640 At_Param12, 641 Maptime9)). 642 */ 643axiom(not(happens(foodPrepare(FoodPrepare_Param, At_Param12), Maptime9)), 644 645 [ not(holds_at(at(FoodPrepare_Param, Location10), 646 Maptime9)), 647 some(Location10, 648 '$kolem_Fn_182'(FoodPrepare_Param, 649 At_Param12, 650 Maptime9)) 651 ]). 652axiom(not(happens(foodPrepare(FoodPrepare_Param, At_Param12), Maptime9)), 653 654 [ not(holds_at(at(At_Param12, Location10), Maptime9)), 655 some(Location10, 656 '$kolem_Fn_182'(FoodPrepare_Param, 657 At_Param12, 658 Maptime9)) 659 ]). 660 661 /* holds_at(at(At_Param15, Location13), Time14) :- 662 happens(foodPrepare(At_Param15, FoodPrepare_Ret), Time14), 663 some(Location13, 664 '$kolem_Fn_182'(At_Param15, FoodPrepare_Ret, Time14)). 665 */ 666axiom(holds_at(at(At_Param15, Location13), Time14), 667 668 [ happens(foodPrepare(At_Param15, FoodPrepare_Ret), 669 Time14), 670 some(Location13, 671 '$kolem_Fn_182'(At_Param15, FoodPrepare_Ret, Time14)) 672 ]). 673 674 /* holds_at(at(At_Param19, Location17), Time18) :- 675 happens(foodPrepare(FoodPrepare_Param20, At_Param19), 676 Time18), 677 some(Location17, 678 '$kolem_Fn_182'(FoodPrepare_Param20, 679 At_Param19, 680 Time18)). 681 */ 682axiom(holds_at(at(At_Param19, Location17), Time18), 683 684 [ happens(foodPrepare(FoodPrepare_Param20, At_Param19), 685 Time18), 686 some(Location17, 687 '$kolem_Fn_182'(FoodPrepare_Param20, 688 At_Param19, 689 Time18)) 690 ]). 691 692 693% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:262 694% [cook,agent,food,time] 695% HoldsAt(BeCook1(cook),time) & 696% HoldsAt(KnowOrder(cook,agent,food),time) -> 697% Happens(FoodPrepare(cook,food),time). 698% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:265 699axiom(happens(foodPrepare(Cook, Food), Time), 700 701 [ holds_at(beCook1(Cook), Time), 702 holds_at(knowOrder(Cook, Agent, Food), Time) 703 ]). 704 705 706% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:267 707% [cook,food,time] 708% HoldsAt(BeCook1(cook),time) -> 709% Terminates(FoodPrepare(cook,food), 710% BeCook1(cook), 711% time). 712% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:271 713axiom(terminates(foodPrepare(Cook, Food), beCook1(Cook), Time), 714 [holds_at(beCook1(Cook), Time)]). 715 716 717% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:273 718% [cook,food,time] 719% HoldsAt(BeCook1(cook),time) -> 720% Initiates(FoodPrepare(cook,food), 721% BeCook0(cook), 722% time). 723% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:277 724axiom(initiates(foodPrepare(Cook, Food), beCook0(Cook), Time), 725 [holds_at(beCook1(Cook), Time)]). 726 727 728% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:279 729%; End of file.