1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'ecnet/IPRel.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%; IPRel: interpersonal relations 15%; 16 17% fluent FriendOf(agent,agent) 18 % fluent(friendOf(agent,agent)). 19==> mpred_prop(friendOf(agent,agent),fluent). 20==> meta_argtypes(friendOf(agent,agent)). 21 22% fluent NeutralOf(agent,agent) 23 % fluent(neutralOf(agent,agent)). 24==> mpred_prop(neutralOf(agent,agent),fluent). 25==> meta_argtypes(neutralOf(agent,agent)). 26 27% fluent EnemyOf(agent,agent) 28 % fluent(enemyOf(agent,agent)). 29==> mpred_prop(enemyOf(agent,agent),fluent). 30==> meta_argtypes(enemyOf(agent,agent)). 31 32% event BecomeFriends(agent,agent) 33 % event(becomeFriends(agent,agent)). 34==> mpred_prop(becomeFriends(agent,agent),event). 35==> meta_argtypes(becomeFriends(agent,agent)). 36 37% event BecomeNeutral(agent,agent) 38 % event(becomeNeutral(agent,agent)). 39==> mpred_prop(becomeNeutral(agent,agent),event). 40==> meta_argtypes(becomeNeutral(agent,agent)). 41 42% event BecomeEnemies(agent,agent) 43 % event(becomeEnemies(agent,agent)). 44==> mpred_prop(becomeEnemies(agent,agent),event). 45==> meta_argtypes(becomeEnemies(agent,agent)). 46 47 48% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:23 49% [agent1,agent2,time] 50% HoldsAt(FriendOf(agent1,agent2),time) -> 51% !Holds(EnemyOf(agent1,agent2),time). 52% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:25 53axiom(not(holds(enemyOf(Agent1, Agent2), Time)), 54 [holds_at(friendOf(Agent1, Agent2), Time)]). 55 56 57% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:27 58% [agent1,agent2,time] 59% HoldsAt(NeutralOf(agent1,agent2),time) -> 60% !Holds(EnemyOf(agent1,agent2),time). 61% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:29 62axiom(not(holds(enemyOf(Agent1, Agent2), Time)), 63 [holds_at(neutralOf(Agent1, Agent2), Time)]). 64 65 66% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:31 67% [agent1,agent2,time] 68% HoldsAt(FriendOf(agent1,agent2),time) -> 69% HoldsAt(FriendOf(agent2,agent1),time). 70% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:33 71axiom(holds_at(friendOf(Agent2, Agent1), Time), 72 [holds_at(friendOf(Agent1, Agent2), Time)]). 73 74 75% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:35 76% [agent1,agent2,time] 77% HoldsAt(NeutralOf(agent1,agent2),time) -> 78% HoldsAt(NeutralOf(agent2,agent1),time). 79% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:37 80axiom(holds_at(neutralOf(Agent2, Agent1), Time), 81 [holds_at(neutralOf(Agent1, Agent2), Time)]). 82 83 84% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:39 85% [agent1,agent2,time] 86% HoldsAt(EnemyOf(agent1,agent2),time) -> 87% HoldsAt(EnemyOf(agent2,agent1),time). 88% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:41 89axiom(holds_at(enemyOf(Agent2, Agent1), Time), 90 [holds_at(enemyOf(Agent1, Agent2), Time)]). 91 92 93% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:43 94% [agent1,agent2,time] 95% Initiates(BecomeFriends(agent1,agent2),FriendOf(agent1,agent2),time). 96% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:44 97axiom(initiates(becomeFriends(Agent1, Agent2), friendOf(Agent1, Agent2), Time), 98 []). 99 100 101% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:46 102% [agent1,agent2,time] 103% Initiates(BecomeFriends(agent1,agent2),FriendOf(agent2,agent1),time). 104% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:47 105axiom(initiates(becomeFriends(Agent1, Agent2), friendOf(Agent2, Agent1), Time), 106 []). 107 108 109% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:49 110% [agent1,agent2,time] 111% Terminates(BecomeFriends(agent1,agent2),NeutralOf(agent1,agent2),time). 112% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:50 113axiom(terminates(becomeFriends(Agent1, Agent2), neutralOf(Agent1, Agent2), Time), 114 []). 115 116 117% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:52 118% [agent1,agent2,time] 119% Terminates(BecomeFriends(agent1,agent2),NeutralOf(agent2,agent1),time). 120% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:53 121axiom(terminates(becomeFriends(Agent1, Agent2), neutralOf(Agent2, Agent1), Time), 122 []). 123 124 125% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:55 126% [agent1,agent2,time] 127% Terminates(BecomeFriends(agent1,agent2),EnemyOf(agent1,agent2),time). 128% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:56 129axiom(terminates(becomeFriends(Agent1, Agent2), enemyOf(Agent1, Agent2), Time), 130 []). 131 132 133% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:58 134% [agent1,agent2,time] 135% Terminates(BecomeFriends(agent1,agent2),EnemyOf(agent2,agent1),time). 136% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:59 137axiom(terminates(becomeFriends(Agent1, Agent2), enemyOf(Agent2, Agent1), Time), 138 []). 139 140 141% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:61 142% [agent1,agent2,time] 143% Initiates(BecomeEnemies(agent1,agent2),EnemyOf(agent1,agent2),time). 144% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:62 145axiom(initiates(becomeEnemies(Agent1, Agent2), enemyOf(Agent1, Agent2), Time), 146 []). 147 148 149% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:64 150% [agent1,agent2,time] 151% Initiates(BecomeEnemies(agent1,agent2),EnemyOf(agent2,agent1),time). 152% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:65 153axiom(initiates(becomeEnemies(Agent1, Agent2), enemyOf(Agent2, Agent1), Time), 154 []). 155 156 157% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:67 158% [agent1,agent2,time] 159% Terminates(BecomeEnemies(agent1,agent2),NeutralOf(agent1,agent2),time). 160% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:68 161axiom(terminates(becomeEnemies(Agent1, Agent2), neutralOf(Agent1, Agent2), Time), 162 []). 163 164 165% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:70 166% [agent1,agent2,time] 167% Terminates(BecomeEnemies(agent1,agent2),NeutralOf(agent2,agent1),time). 168% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:71 169axiom(terminates(becomeEnemies(Agent1, Agent2), neutralOf(Agent2, Agent1), Time), 170 []). 171 172 173% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:73 174% [agent1,agent2,time] 175% Terminates(BecomeEnemies(agent1,agent2),FriendOf(agent1,agent2),time). 176% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:74 177axiom(terminates(becomeEnemies(Agent1, Agent2), friendOf(Agent1, Agent2), Time), 178 []). 179 180 181% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:76 182% [agent1,agent2,time] 183% Terminates(BecomeEnemies(agent1,agent2),FriendOf(agent2,agent1),time). 184% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:77 185axiom(terminates(becomeEnemies(Agent1, Agent2), friendOf(Agent2, Agent1), Time), 186 []). 187 188 189% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:79 190% [agent1,agent2,time] 191% Initiates(BecomeNeutral(agent1,agent2),NeutralOf(agent1,agent2),time). 192% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:80 193axiom(initiates(becomeNeutral(Agent1, Agent2), neutralOf(Agent1, Agent2), Time), 194 []). 195 196 197% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:82 198% [agent1,agent2,time] 199% Initiates(BecomeNeutral(agent1,agent2),NeutralOf(agent2,agent1),time). 200% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:83 201axiom(initiates(becomeNeutral(Agent1, Agent2), neutralOf(Agent2, Agent1), Time), 202 []). 203 204 205% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:85 206% [agent1,agent2,time] 207% Terminates(BecomeNeutral(agent1,agent2),FriendOf(agent1,agent2),time). 208% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:86 209axiom(terminates(becomeNeutral(Agent1, Agent2), friendOf(Agent1, Agent2), Time), 210 []). 211 212 213% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:88 214% [agent1,agent2,time] 215% Terminates(BecomeNeutral(agent1,agent2),FriendOf(agent2,agent1),time). 216% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:89 217axiom(terminates(becomeNeutral(Agent1, Agent2), friendOf(Agent2, Agent1), Time), 218 []). 219 220 221% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:91 222% [agent1,agent2,time] 223% Terminates(BecomeNeutral(agent1,agent2),EnemyOf(agent1,agent2),time). 224% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:92 225axiom(terminates(becomeNeutral(Agent1, Agent2), enemyOf(Agent1, Agent2), Time), 226 []). 227 228 229% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:94 230% [agent1,agent2,time] 231% Terminates(BecomeNeutral(agent1,agent2),EnemyOf(agent2,agent1),time). 232% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:95 233axiom(terminates(becomeNeutral(Agent1, Agent2), enemyOf(Agent2, Agent1), Time), 234 []). 235 236 237% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:97 238% [agent1,agent2,time] 239% HoldsAt(FriendOf(agent1,agent2),time) -> 240% HoldsAt(Like(agent1,agent2),time). 241% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:99 242axiom(holds_at(like(Agent1, Agent2), Time), 243 [holds_at(friendOf(Agent1, Agent2), Time)]). 244 245 246% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:101 247% [agent1,agent2,time] 248% HoldsAt(EnemyOf(agent1,agent2),time) -> 249% HoldsAt(Dislike(agent1,agent2),time). 250% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:103 251axiom(holds_at(dislike(Agent1, Agent2), Time), 252 [holds_at(enemyOf(Agent1, Agent2), Time)]). 253 254% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:105 255% fluent AcquaintanceOf(agent,agent) 256 % fluent(acquaintanceOf(agent,agent)). 257% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:106 258==> mpred_prop(acquaintanceOf(agent,agent),fluent). 259==> meta_argtypes(acquaintanceOf(agent,agent)). 260 261 262% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:107 263% [agent,time] 264 % HoldsAt(AcquaintanceOf(agent,agent),time). 265holds_at(acquaintanceOf(Agent,Agent),Time). 266 267 268% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:109 269% [agent1,agent2,time] 270% HoldsAt(AcquaintanceOf(agent1,agent2),time) -> 271% HoldsAt(AcquaintanceOf(agent2,agent1),time). 272% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:111 273axiom(holds_at(acquaintanceOf(Agent2, Agent1), Time), 274 [holds_at(acquaintanceOf(Agent1, Agent2), Time)]). 275 276% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:113 277% event Introduce(agent,agent) 278 % event(introduce(agent,agent)). 279% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:114 280==> mpred_prop(introduce(agent,agent),event). 281==> meta_argtypes(introduce(agent,agent)). 282 283 284% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:115 285% [agent1,agent2,time] 286% Initiates(Introduce(agent1,agent2), 287% AcquaintanceOf(agent1,agent2), 288% time). 289% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:118 290axiom(initiates(introduce(Agent1, Agent2), acquaintanceOf(Agent1, Agent2), Time), 291 []). 292 293 294% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:120 295% [agent1,agent2,time] 296% Initiates(Introduce(agent1,agent2), 297% AcquaintanceOf(agent2,agent1), 298% time). 299% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:123 300axiom(initiates(introduce(Agent1, Agent2), acquaintanceOf(Agent2, Agent1), Time), 301 []). 302 303% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:125 304% event IntroduceMutual(agent,agent,agent) 305 % event(introduceMutual(agent,agent,agent)). 306% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:126 307==> mpred_prop(introduceMutual(agent,agent,agent),event). 308==> meta_argtypes(introduceMutual(agent,agent,agent)). 309 310 311% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:127 312% [agent1,agent2,agent3,time] 313% Initiates(IntroduceMutual(agent1,agent2,agent3), 314% AcquaintanceOf(agent2,agent3), 315% time). 316% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:130 317axiom(initiates(introduceMutual(Agent1, Agent2, Agent3), acquaintanceOf(Agent2, Agent3), Time), 318 []). 319 320 321% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:132 322% [agent1,agent2,agent3,time] 323% Initiates(IntroduceMutual(agent1,agent2,agent3), 324% AcquaintanceOf(agent3,agent2), 325% time). 326% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:135 327axiom(initiates(introduceMutual(Agent1, Agent2, Agent3), acquaintanceOf(Agent3, Agent2), Time), 328 []). 329 330 331% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:137 332% [agent1,agent2,agent3,time] 333% Happens(IntroduceMutual(agent1,agent2,agent3),time) -> 334% HoldsAt(AcquaintanceOf(agent1,agent2),time) & 335% HoldsAt(AcquaintanceOf(agent1,agent3),time). 336% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:140 337axiom(requires(introduceMutual(Agent1, Agent2, Agent3), Time), 338 339 [ holds_at(acquaintanceOf(Agent1, Agent2), Time), 340 holds_at(acquaintanceOf(Agent1, Agent3), Time) 341 ]). 342 343 344% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/IPRel.e:142 345%; End of file.