1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'ecnet/Dress.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%; Dress 15%; (cf Sleep) 16%; 17 18% event PutOn(agent,clothing) 19 % event(putOn(agent,clothing)). 20==> mpred_prop(putOn(agent,clothing),event). 21==> meta_argtypes(putOn(agent,clothing)). 22 23% event TakeOff(agent,clothing) 24 % event(takeOff(agent,clothing)). 25==> mpred_prop(takeOff(agent,clothing),event). 26==> meta_argtypes(takeOff(agent,clothing)). 27 28% fluent Wearing(agent,clothing) 29 % fluent(wearing(agent,clothing)). 30==> mpred_prop(wearing(agent,clothing),fluent). 31==> meta_argtypes(wearing(agent,clothing)). 32 33 34% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Dress.e:20 35% [agent,clothing,time] 36% Initiates(PutOn(agent,clothing), 37% Wearing(agent,clothing), 38% time). 39% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Dress.e:23 40axiom(initiates(putOn(Agent, Clothing), wearing(Agent, Clothing), Time), 41 []). 42 43 44% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Dress.e:25 45% [agent,clothing,time] 46% Happens(PutOn(agent,clothing),time) -> 47% !HoldsAt(Wearing(agent,clothing),time) & 48% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Dress.e:28 49% {location}% HoldsAt(At(agent,location),time) & 50% HoldsAt(At(clothing,location),time). 51 52 /* exists([Location], 53 if(happens(putOn(Agent, Clothing), Time), 54 (not(holds_at(wearing(Agent, Clothing), Time)), holds_at(at(Agent, Location), Time), holds_at(at(Clothing, Location), Time)))). 55 */ 56 57 /* not(some(Location6, '$kolem_Fn_140'(Fn_140_Param, At_Param, Maptime))) :- 58 happens(putOn(Fn_140_Param, At_Param), Maptime), 59 ( holds_at(wearing(Fn_140_Param, At_Param), Maptime) 60 ; not(holds_at(at(Fn_140_Param, Location6), Maptime)) 61 ; not(holds_at(at(At_Param, Location6), Maptime)) 62 ). 63 */ 64% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Dress.e:29 65axiom(not(some(Location6, '$kolem_Fn_140'(Fn_140_Param, At_Param, Maptime))), 66 67 [ holds_at(wearing(Fn_140_Param, At_Param), Maptime), 68 happens(putOn(Fn_140_Param, At_Param), Maptime) 69 ]). 70axiom(not(some(Location6, '$kolem_Fn_140'(Fn_140_Param, At_Param, Maptime))), 71 72 [ not(holds_at(at(Fn_140_Param, Location6), Maptime)), 73 happens(putOn(Fn_140_Param, At_Param), Maptime) 74 ]). 75axiom(not(some(Location6, '$kolem_Fn_140'(Fn_140_Param, At_Param, Maptime))), 76 77 [ not(holds_at(at(At_Param, Location6), Maptime)), 78 happens(putOn(Fn_140_Param, At_Param), Maptime) 79 ]). 80 81 /* not(happens(putOn(PutOn_Param, At_Param12), Maptime9)) :- 82 ( holds_at(wearing(PutOn_Param, At_Param12), Maptime9) 83 ; not(holds_at(at(PutOn_Param, Location10), Maptime9)) 84 ; not(holds_at(at(At_Param12, Location10), Maptime9)) 85 ), 86 some(Location10, 87 '$kolem_Fn_140'(PutOn_Param, At_Param12, Maptime9)). 88 */ 89axiom(not(happens(putOn(PutOn_Param, At_Param12), Maptime9)), 90 91 [ holds_at(wearing(PutOn_Param, At_Param12), Maptime9), 92 some(Location10, 93 '$kolem_Fn_140'(PutOn_Param, At_Param12, Maptime9)) 94 ]). 95axiom(not(happens(putOn(PutOn_Param, At_Param12), Maptime9)), 96 97 [ not(holds_at(at(PutOn_Param, Location10), Maptime9)), 98 some(Location10, 99 '$kolem_Fn_140'(PutOn_Param, At_Param12, Maptime9)) 100 ]). 101axiom(not(happens(putOn(PutOn_Param, At_Param12), Maptime9)), 102 103 [ not(holds_at(at(At_Param12, Location10), Maptime9)), 104 some(Location10, 105 '$kolem_Fn_140'(PutOn_Param, At_Param12, Maptime9)) 106 ]). 107 108 /* not(holds_at(wearing(Wearing_Param, Wearing_Ret), Time13)) :- 109 happens(putOn(Wearing_Param, Wearing_Ret), Time13), 110 some(Some_Param, 111 '$kolem_Fn_140'(Wearing_Param, Wearing_Ret, Time13)). 112 */ 113axiom(not(holds_at(wearing(Wearing_Param, Wearing_Ret), Time13)), 114 115 [ happens(putOn(Wearing_Param, Wearing_Ret), Time13), 116 some(Some_Param, 117 '$kolem_Fn_140'(Wearing_Param, Wearing_Ret, Time13)) 118 ]). 119 120 /* holds_at(at(At_Param19, Location17), Time18) :- 121 happens(putOn(At_Param19, PutOn_Ret), Time18), 122 some(Location17, 123 '$kolem_Fn_140'(At_Param19, PutOn_Ret, Time18)). 124 */ 125axiom(holds_at(at(At_Param19, Location17), Time18), 126 127 [ happens(putOn(At_Param19, PutOn_Ret), Time18), 128 some(Location17, 129 '$kolem_Fn_140'(At_Param19, PutOn_Ret, Time18)) 130 ]). 131 132 /* holds_at(at(At_Param23, Location21), Time22) :- 133 happens(putOn(PutOn_Param24, At_Param23), Time22), 134 some(Location21, 135 '$kolem_Fn_140'(PutOn_Param24, At_Param23, Time22)). 136 */ 137axiom(holds_at(at(At_Param23, Location21), Time22), 138 139 [ happens(putOn(PutOn_Param24, At_Param23), Time22), 140 some(Location21, 141 '$kolem_Fn_140'(PutOn_Param24, At_Param23, Time22)) 142 ]). 143 144 145% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Dress.e:31 146% [agent,clothing,time] 147% Terminates(TakeOff(agent,clothing), 148% Wearing(agent,clothing), 149% time). 150% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Dress.e:34 151axiom(terminates(takeOff(Agent, Clothing), wearing(Agent, Clothing), Time), 152 []). 153 154 155% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Dress.e:36 156% [agent,clothing,time] 157% Happens(TakeOff(agent,clothing),time) -> 158% HoldsAt(Wearing(agent,clothing),time). 159% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Dress.e:38 160axiom(requires(takeOff(Agent, Clothing), Time), 161 [holds_at(wearing(Agent, Clothing), Time)]). 162 163 164% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Dress.e:40 165% [agent,clothing,location,time] 166% Releases(PutOn(agent,clothing),At(clothing,location),time). 167% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Dress.e:41 168axiom(releases(putOn(Agent, Clothing), at(Clothing, Location), Time), 169 []). 170 171 172% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Dress.e:43 173% [agent,clothing,location,time] 174% HoldsAt(Wearing(agent,clothing),time) & 175% HoldsAt(At(agent,location),time) -> 176% HoldsAt(At(clothing,location),time). 177% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Dress.e:46 178axiom(holds_at(at(Clothing, Location), Time), 179 180 [ holds_at(wearing(Agent, Clothing), Time), 181 holds_at(at(Agent, Location), Time) 182 ]). 183 184 185% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Dress.e:48 186%;[agent,clothing,location1,location2,time] 187%;HoldsAt(At(agent,location1),time) & 188%;location1 != location2 -> 189%;Terminates(TakeOff(agent,clothing),At(clothing,location2),time). 190% [agent,clothing,location,time] 191% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Dress.e:54 192% HoldsAt(At(agent,location),time) -> 193% Initiates(TakeOff(agent,clothing),At(clothing,location),time). 194% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Dress.e:55 195axiom(initiates(takeOff(Agent, Clothing), at(Clothing, Location), Time), 196 [holds_at(at(Agent, Location), Time)]). 197 198 199% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Dress.e:57 200%; End of file.