1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'examples/AkmanEtAl2004/ZooTest1.e').
    4
    5
    6% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:0
    7%;
    8%; Copyright (c) 2005 IBM Corporation and others.
    9%; All rights reserved. This program and the accompanying materials
   10%; are made available under the terms of the Common Public License v1.0
   11%; which accompanies this distribution, and is available at
   12%; http://www.eclipse.org/legal/cpl-v10.html
   13%;
   14%; Contributors: 
   15%; IBM - Initial implementation
   16%;
   17%; @article{Akman:2004,
   18%;   author = "Varol Akman and Selim T. Erdogan and Joohyung Lee and Vladimir Lifschitz and Hudson Turner",
   19%;   year = "2004",
   20%;   title = "Representing the zoo world and the traffic world in the language of the causal calculator",
   21%;   journal = "Artificial Intelligence",
   22%;   volume = "153",
   23%;   pages = "105--140",
   24%; }
   25%;
   26
   27% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:20
   28% option encoding 3
   29% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:21
   30:- set_ec_option(encoding, 3).   31
   32% load foundations/Root.e
   33
   34% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:23
   35% load foundations/EC.e
   36
   37% load examples/AkmanEtAl2004/ZooWorld.e
   38 %  loading(changed,'examples/AkmanEtAl2004/ZooWorld.e').
   39%;
   40%; Copyright (c) 2005 IBM Corporation and others.
   41%; All rights reserved. This program and the accompanying materials
   42%; are made available under the terms of the Common Public License v1.0
   43%; which accompanies this distribution, and is available at
   44%; http://www.eclipse.org/legal/cpl-v10.html
   45%;
   46%; Contributors:
   47%; IBM - Initial implementation
   48%;
   49%; @article{Akman:2004,
   50%;   author = "Varol Akman and Selim T. Erdogan and Joohyung Lee and Vladimir Lifschitz and Hudson Turner",
   51%;   year = "2004",
   52%;   title = "Representing the zoo world and the traffic world in the language of the causal calculator",
   53%;   journal = "Artificial Intelligence",
   54%;   volume = "153",
   55%;   pages = "105--140",
   56%; }
   57%;
   58
   59% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:25
   60% sort position: integer
   61==> subsort(position,integer).
   62
   63% sort location
   64==> sort(location).
   65
   66% sort cage: location
   67==> subsort(cage,location).
   68
   69% sort gate
   70==> sort(gate).
   71
   72% sort animal
   73==> sort(animal).
   74
   75% sort elephant: animal
   76==> subsort(elephant,animal).
   77
   78% sort horse: animal
   79==> subsort(horse,animal).
   80
   81% sort dog: animal
   82==> subsort(dog,animal).
   83
   84% sort human: animal
   85==> subsort(human,animal).
   86
   87% sort species
   88==> sort(species).
   89
   90% function Loc(position): location
   91 %  functional_predicate(loc(position,location)).
   92==> mpred_prop(loc(position,location),functional_predicate).
   93==> meta_argtypes(loc(position,location)).
   94resultIsa(loc,location).
   95
   96% function Side1(gate): position
   97 %  functional_predicate(side1(gate,position)).
   98==> mpred_prop(side1(gate,position),functional_predicate).
   99==> meta_argtypes(side1(gate,position)).
  100resultIsa(side1,position).
  101
  102% function Side2(gate): position
  103 %  functional_predicate(side2(gate,position)).
  104==> mpred_prop(side2(gate,position),functional_predicate).
  105==> meta_argtypes(side2(gate,position)).
  106resultIsa(side2,position).
  107
  108% function Species(animal): species
  109 %  functional_predicate(species(animal,species)).
  110==> mpred_prop(species(animal,species),functional_predicate).
  111==> meta_argtypes(species(animal,species)).
  112resultIsa(species,species).
  113
  114% predicate Accessible(position,position,time)
  115 %  predicate(accessible(position,position,time)).
  116==> mpred_prop(accessible(position,position,time),predicate).
  117==> meta_argtypes(accessible(position,position,time)).
  118
  119% predicate Adult(animal)
  120 %  predicate(adult(animal)).
  121==> mpred_prop(adult(animal),predicate).
  122==> meta_argtypes(adult(animal)).
  123
  124% predicate Large(animal)
  125 %  predicate(large(animal)).
  126==> mpred_prop(large(animal),predicate).
  127==> meta_argtypes(large(animal)).
  128
  129% predicate LargeSpecies(species)
  130 %  predicate(largeSpecies(species)).
  131==> mpred_prop(largeSpecies(species),predicate).
  132==> meta_argtypes(largeSpecies(species)).
  133
  134% predicate Neighbor(position,position)
  135 %  predicate(neighbor(position,position)).
  136==> mpred_prop(neighbor(position,position),predicate).
  137==> meta_argtypes(neighbor(position,position)).
  138
  139% predicate Sides(position,position,gate)
  140 %  predicate(sides(position,position,gate)).
  141==> mpred_prop(sides(position,position,gate),predicate).
  142==> meta_argtypes(sides(position,position,gate)).
  143
  144% event Close(human,gate)
  145 %  event(close(human,gate)).
  146==> mpred_prop(close(human,gate),event).
  147==> meta_argtypes(close(human,gate)).
  148
  149% event GetOff(human,animal)
  150 %  event(getOff(human,animal)).
  151==> mpred_prop(getOff(human,animal),event).
  152==> meta_argtypes(getOff(human,animal)).
  153
  154% event Mount(human,animal)
  155 %  event(mount(human,animal)).
  156==> mpred_prop(mount(human,animal),event).
  157==> meta_argtypes(mount(human,animal)).
  158
  159% event Move(animal,position)
  160 %  event(move(animal,position)).
  161==> mpred_prop(move(animal,position),event).
  162==> meta_argtypes(move(animal,position)).
  163
  164% event Open(human,gate)
  165 %  event(open(human,gate)).
  166==> mpred_prop(open(human,gate),event).
  167==> meta_argtypes(open(human,gate)).
  168
  169% event ThrowOff(animal,human)
  170 %  event(throwOff(animal,human)).
  171==> mpred_prop(throwOff(animal,human),event).
  172==> meta_argtypes(throwOff(animal,human)).
  173
  174% fluent AbnormalEncroachment(human)
  175 %  fluent(abnormalEncroachment(human)).
  176==> mpred_prop(abnormalEncroachment(human),fluent).
  177==> meta_argtypes(abnormalEncroachment(human)).
  178
  179% noninertial AbnormalEncroachment
  180==> noninertial(abnormalEncroachment).
  181
  182% fluent DoneBy(event,animal)
  183 %  fluent(doneBy(event,animal)).
  184==> mpred_prop(doneBy(event,animal),fluent).
  185==> meta_argtypes(doneBy(event,animal)).
  186
  187% noninertial DoneBy
  188==> noninertial(doneBy).
  189
  190% fluent Mounted(human,animal)
  191 %  fluent(mounted(human,animal)).
  192==> mpred_prop(mounted(human,animal),fluent).
  193==> meta_argtypes(mounted(human,animal)).
  194
  195% fluent MountFails(human)
  196 %  fluent(mountFails(human)).
  197==> mpred_prop(mountFails(human),fluent).
  198==> meta_argtypes(mountFails(human)).
  199
  200% noninertial MountFails
  201==> noninertial(mountFails).
  202
  203% fluent Moves(animal)
  204 %  fluent(moves(animal)).
  205==> mpred_prop(moves(animal),fluent).
  206==> meta_argtypes(moves(animal)).
  207
  208% noninertial Moves
  209==> noninertial(moves).
  210
  211% fluent Opened(gate)
  212 %  fluent(opened(gate)).
  213==> mpred_prop(opened(gate),fluent).
  214==> meta_argtypes(opened(gate)).
  215
  216% fluent Pos(animal,position)
  217 %  fluent(pos(animal,position)).
  218==> mpred_prop(pos(animal,position),fluent).
  219==> meta_argtypes(pos(animal,position)).
  220
  221% fluent PosDeterminingFluent(human,position)
  222 %  fluent(posDeterminingFluent(human,position)).
  223==> mpred_prop(posDeterminingFluent(human,position),fluent).
  224==> meta_argtypes(posDeterminingFluent(human,position)).
  225
  226% noninertial PosDeterminingFluent
  227==> noninertial(posDeterminingFluent).
  228
  229% fluent ThrowOffFails(animal,human)
  230 %  fluent(throwOffFails(animal,human)).
  231==> mpred_prop(throwOffFails(animal,human),fluent).
  232==> meta_argtypes(throwOffFails(animal,human)).
  233
  234% noninertial ThrowOffFails
  235==> noninertial(throwOffFails).
  236
  237% species HumanSpecies, ElephantSpecies, HorseSpecies, DogSpecies
  238==> t(species,humanSpecies).
  239==> t(species,elephantSpecies).
  240==> t(species,horseSpecies).
  241==> t(species,dogSpecies).
  242
  243% location Outside
  244==> t(location,outside).
  245
  246
  247% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:25
  248% LargeSpecies(HumanSpecies).
  249largeSpecies(humanSpecies).
  250
  251
  252% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:25
  253% LargeSpecies(ElephantSpecies).
  254largeSpecies(elephantSpecies).
  255
  256
  257% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:25
  258% LargeSpecies(HorseSpecies).
  259largeSpecies(horseSpecies).
  260
  261
  262% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:25
  263% !LargeSpecies(DogSpecies).
  264 %  not(largeSpecies(dogSpecies)).
  265axiom(not(largeSpecies(dogSpecies)),
  266    []).
  267
  268
  269% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:25
  270% [event,animal,time]
  271% HoldsAt(DoneBy(event,animal),time) <->
  272% (Happens(event,time) &
  273%  (({gate} event=Close(animal,gate)) |
  274%   ({animal1} event=GetOff(animal,animal1))|
  275%   ({animal1} event=Mount(animal,animal1))|
  276%   ({position} event=Move(animal,position))|
  277%   ({gate} event=Open(animal,gate)) |
  278%   ({human1} event=ThrowOff(animal,human1)))).
  279
  280 /*  holds_at(doneBy(Event, Animal), Time) <->
  281       happens(Event, Time),
  282       (   exists([Gate], Event=close(Animal, Gate))
  283       ;   exists([Animal1], Event=getOff(Animal, Animal1))
  284       ;   exists([Animal15],
  285                  Event=mount(Animal, Animal15))
  286       ;   exists([Position], Event=move(Animal, Position))
  287       ;   exists([Gate7], Event=open(Animal, Gate7))
  288       ;   exists([Human1], Event=throwOff(Animal, Human1))
  289       ).
  290 */
  291axiom(holds_at(doneBy(Event, Animal), Time),
  292   
  293    [ equals(Event, close(Animal, Gate)),
  294      happens(Event, Time)
  295    ]).
  296axiom(holds_at(doneBy(Event, Animal), Time),
  297   
  298    [ equals(Event, getOff(Animal, Animal1)),
  299      happens(Event, Time)
  300    ]).
  301axiom(holds_at(doneBy(Event, Animal), Time),
  302   
  303    [ equals(Event, mount(Animal, Animal15)),
  304      happens(Event, Time)
  305    ]).
  306axiom(holds_at(doneBy(Event, Animal), Time),
  307   
  308    [ equals(Event, move(Animal, Position)),
  309      happens(Event, Time)
  310    ]).
  311axiom(holds_at(doneBy(Event, Animal), Time),
  312   
  313    [ equals(Event, open(Animal, Gate7)),
  314      happens(Event, Time)
  315    ]).
  316axiom(holds_at(doneBy(Event, Animal), Time),
  317   
  318    [ equals(Event, throwOff(Animal, Human1)),
  319      happens(Event, Time)
  320    ]).
  321
  322 /*   if(holds_at(doneBy(Event, Animal), Time),
  323          (happens(Event, Time), (exists([Gate], Event=close(Animal, Gate));exists([Animal1], Event=getOff(Animal, Animal1));exists([Animal15], Event=mount(Animal, Animal15));exists([Position], Event=move(Animal, Position));exists([Gate7], Event=open(Animal, Gate7));exists([Human1], Event=throwOff(Animal, Human1))))).
  324 */
  325
  326 /*  not(holds_at(doneBy(DoneBy_Param, Close_Param), Time9)) :-
  327       (   not(happens(DoneBy_Param, Time9))
  328       ;   not(equals(DoneBy_Param,
  329                      close(Close_Param, Close_Ret))),
  330           not(equals(DoneBy_Param,
  331                      getOff(Close_Param, GetOff_Ret))),
  332           not(equals(DoneBy_Param,
  333                      mount(Close_Param, Mount_Ret))),
  334           not(equals(DoneBy_Param, move(Close_Param, Move_Ret))),
  335           not(equals(DoneBy_Param, open(Close_Param, Open_Ret))),
  336           not(equals(DoneBy_Param,
  337                      throwOff(Close_Param, ThrowOff_Ret)))
  338       ).
  339 */
  340axiom(not(holds_at(doneBy(DoneBy_Param, Close_Param), Time9)),
  341    [not(happens(DoneBy_Param, Time9))]).
  342axiom(not(holds_at(doneBy(DoneBy_Param, Close_Param), Time9)),
  343   
  344    [ not(equals(DoneBy_Param, close(Close_Param, Close_Ret))),
  345      not(equals(DoneBy_Param,
  346                 getOff(Close_Param, GetOff_Ret))),
  347      not(equals(DoneBy_Param, mount(Close_Param, Mount_Ret))),
  348      not(equals(DoneBy_Param, move(Close_Param, Move_Ret))),
  349      not(equals(DoneBy_Param, open(Close_Param, Open_Ret))),
  350      not(equals(DoneBy_Param,
  351                 throwOff(Close_Param, ThrowOff_Ret)))
  352    ]).
  353
  354 /*  happens(Happens_Param, Maptime) :-
  355       holds_at(doneBy(Happens_Param, DoneBy_Ret), Maptime).
  356 */
  357axiom(happens(Happens_Param, Maptime),
  358    [holds_at(doneBy(Happens_Param, DoneBy_Ret), Maptime)]).
  359
  360 /*  equals(Equals_Param, close(Close_Param23, Close_Ret24)) :-
  361       ( not(equals(Equals_Param,
  362                    getOff(Close_Param23, GetOff_Ret25))),
  363         not(equals(Equals_Param,
  364                    mount(Close_Param23, Mount_Ret26))),
  365         not(equals(Equals_Param,
  366                    move(Close_Param23, Move_Ret27))),
  367         not(equals(Equals_Param,
  368                    open(Close_Param23, Open_Ret28))),
  369         not(equals(Equals_Param,
  370                    throwOff(Close_Param23, ThrowOff_Ret29)))
  371       ),
  372       holds_at(doneBy(Equals_Param, Close_Param23), Time21).
  373 */
  374axiom(equals(Equals_Param, close(Close_Param23, Close_Ret24)),
  375   
  376    [ not(equals(Equals_Param,
  377                 getOff(Close_Param23, GetOff_Ret25))),
  378      not(equals(Equals_Param,
  379                 mount(Close_Param23, Mount_Ret26))),
  380      not(equals(Equals_Param,
  381                 move(Close_Param23, Move_Ret27))),
  382      not(equals(Equals_Param,
  383                 open(Close_Param23, Open_Ret28))),
  384      not(equals(Equals_Param,
  385                 throwOff(Close_Param23, ThrowOff_Ret29))),
  386      holds_at(doneBy(Equals_Param, Close_Param23), Time21)
  387    ]).
  388
  389 /*  equals(Equals_Param31, getOff(GetOff_Param, GetOff_Ret33)) :-
  390       ( not(equals(Equals_Param31,
  391                    mount(GetOff_Param, Mount_Ret34))),
  392         not(equals(Equals_Param31,
  393                    move(GetOff_Param, Move_Ret35))),
  394         not(equals(Equals_Param31,
  395                    open(GetOff_Param, Open_Ret36))),
  396         not(equals(Equals_Param31,
  397                    throwOff(GetOff_Param, ThrowOff_Ret37)))
  398       ),
  399       not(equals(Equals_Param31,
  400                  close(GetOff_Param, Close_Ret38))),
  401       holds_at(doneBy(Equals_Param31, GetOff_Param), Time30).
  402 */
  403axiom(equals(Equals_Param31, getOff(GetOff_Param, GetOff_Ret33)),
  404   
  405    [ not(equals(Equals_Param31,
  406                 mount(GetOff_Param, Mount_Ret34))),
  407      not(equals(Equals_Param31,
  408                 move(GetOff_Param, Move_Ret35))),
  409      not(equals(Equals_Param31,
  410                 open(GetOff_Param, Open_Ret36))),
  411      not(equals(Equals_Param31,
  412                 throwOff(GetOff_Param, ThrowOff_Ret37))),
  413      not(equals(Equals_Param31,
  414                 close(GetOff_Param, Close_Ret38))),
  415      holds_at(doneBy(Equals_Param31, GetOff_Param), Time30)
  416    ]).
  417
  418 /*  equals(Equals_Param40, mount(Mount_Param, Mount_Ret42)) :-
  419       ( not(equals(Equals_Param40,
  420                    move(Mount_Param, Move_Ret43))),
  421         not(equals(Equals_Param40,
  422                    open(Mount_Param, Open_Ret44))),
  423         not(equals(Equals_Param40,
  424                    throwOff(Mount_Param, ThrowOff_Ret45)))
  425       ),
  426       not(equals(Equals_Param40,
  427                  getOff(Mount_Param, GetOff_Ret46))),
  428       not(equals(Equals_Param40,
  429                  close(Mount_Param, Close_Ret47))),
  430       holds_at(doneBy(Equals_Param40, Mount_Param), Time39).
  431 */
  432axiom(equals(Equals_Param40, mount(Mount_Param, Mount_Ret42)),
  433   
  434    [ not(equals(Equals_Param40,
  435                 move(Mount_Param, Move_Ret43))),
  436      not(equals(Equals_Param40,
  437                 open(Mount_Param, Open_Ret44))),
  438      not(equals(Equals_Param40,
  439                 throwOff(Mount_Param, ThrowOff_Ret45))),
  440      not(equals(Equals_Param40,
  441                 getOff(Mount_Param, GetOff_Ret46))),
  442      not(equals(Equals_Param40,
  443                 close(Mount_Param, Close_Ret47))),
  444      holds_at(doneBy(Equals_Param40, Mount_Param), Time39)
  445    ]).
  446
  447 /*  equals(Equals_Param49, move(Move_Param, Move_Ret51)) :-
  448       ( not(equals(Equals_Param49, open(Move_Param, Open_Ret52))),
  449         not(equals(Equals_Param49,
  450                    throwOff(Move_Param, ThrowOff_Ret53)))
  451       ),
  452       not(equals(Equals_Param49, mount(Move_Param, Mount_Ret54))),
  453       not(equals(Equals_Param49,
  454                  getOff(Move_Param, GetOff_Ret55))),
  455       not(equals(Equals_Param49, close(Move_Param, Close_Ret56))),
  456       holds_at(doneBy(Equals_Param49, Move_Param), Time48).
  457 */
  458axiom(equals(Equals_Param49, move(Move_Param, Move_Ret51)),
  459   
  460    [ not(equals(Equals_Param49, open(Move_Param, Open_Ret52))),
  461      not(equals(Equals_Param49,
  462                 throwOff(Move_Param, ThrowOff_Ret53))),
  463      not(equals(Equals_Param49,
  464                 mount(Move_Param, Mount_Ret54))),
  465      not(equals(Equals_Param49,
  466                 getOff(Move_Param, GetOff_Ret55))),
  467      not(equals(Equals_Param49,
  468                 close(Move_Param, Close_Ret56))),
  469      holds_at(doneBy(Equals_Param49, Move_Param), Time48)
  470    ]).
  471
  472 /*  equals(Equals_Param58, open(Open_Param, Open_Ret60)) :-
  473       not(equals(Equals_Param58,
  474                  throwOff(Open_Param, ThrowOff_Ret61))),
  475       not(equals(Equals_Param58, move(Open_Param, Move_Ret62))),
  476       not(equals(Equals_Param58, mount(Open_Param, Mount_Ret63))),
  477       not(equals(Equals_Param58,
  478                  getOff(Open_Param, GetOff_Ret64))),
  479       not(equals(Equals_Param58, close(Open_Param, Close_Ret65))),
  480       holds_at(doneBy(Equals_Param58, Open_Param), Time57).
  481 */
  482axiom(equals(Equals_Param58, open(Open_Param, Open_Ret60)),
  483   
  484    [ not(equals(Equals_Param58,
  485                 throwOff(Open_Param, ThrowOff_Ret61))),
  486      not(equals(Equals_Param58, move(Open_Param, Move_Ret62))),
  487      not(equals(Equals_Param58,
  488                 mount(Open_Param, Mount_Ret63))),
  489      not(equals(Equals_Param58,
  490                 getOff(Open_Param, GetOff_Ret64))),
  491      not(equals(Equals_Param58,
  492                 close(Open_Param, Close_Ret65))),
  493      holds_at(doneBy(Equals_Param58, Open_Param), Time57)
  494    ]).
  495
  496 /*  equals(Equals_Param67, throwOff(ThrowOff_Param, ThrowOff_Ret69)) :-
  497       not(equals(Equals_Param67,
  498                  open(ThrowOff_Param, Open_Ret70))),
  499       not(equals(Equals_Param67,
  500                  move(ThrowOff_Param, Move_Ret71))),
  501       not(equals(Equals_Param67,
  502                  mount(ThrowOff_Param, Mount_Ret72))),
  503       not(equals(Equals_Param67,
  504                  getOff(ThrowOff_Param, GetOff_Ret73))),
  505       not(equals(Equals_Param67,
  506                  close(ThrowOff_Param, Close_Ret74))),
  507       holds_at(doneBy(Equals_Param67, ThrowOff_Param), Time66).
  508 */
  509axiom(equals(Equals_Param67, throwOff(ThrowOff_Param, ThrowOff_Ret69)),
  510   
  511    [ not(equals(Equals_Param67,
  512                 open(ThrowOff_Param, Open_Ret70))),
  513      not(equals(Equals_Param67,
  514                 move(ThrowOff_Param, Move_Ret71))),
  515      not(equals(Equals_Param67,
  516                 mount(ThrowOff_Param, Mount_Ret72))),
  517      not(equals(Equals_Param67,
  518                 getOff(ThrowOff_Param, GetOff_Ret73))),
  519      not(equals(Equals_Param67,
  520                 close(ThrowOff_Param, Close_Ret74))),
  521      holds_at(doneBy(Equals_Param67, ThrowOff_Param), Time66)
  522    ]).
  523
  524
  525% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:25
  526% [event1,event2,animal,time]
  527% HoldsAt(DoneBy(event1,animal),time) &
  528% HoldsAt(DoneBy(event2,animal),time) ->
  529% event1=event2.
  530axiom(Event1=Event2,
  531   
  532    [ holds_at(doneBy(Event1, Animal), Time),
  533      holds_at(doneBy(Event2, Animal), Time)
  534    ]).
  535
  536
  537% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:25
  538% [animal]
  539 % Large(animal) <-> (Adult(animal) & LargeSpecies(Species(animal))).
  540
  541 /*  large(Animal) <->
  542       adult(Animal),
  543       largeSpecies(species(Animal)).
  544 */
  545axiom(large(Animal),
  546    [adult(Animal), largeSpecies(species(Animal))]).
  547
  548 /*   if(large(Animal),
  549          (adult(Animal), largeSpecies(species(Animal)))).
  550 */
  551
  552 /*  not(large(Large_Ret)) :-
  553       (   not(adult(Large_Ret))
  554       ;   not(largeSpecies(species(Large_Ret)))
  555       ).
  556 */
  557axiom(not(large(Large_Ret)),
  558    [not(adult(Large_Ret))]).
  559axiom(not(large(Large_Ret)),
  560    [not(largeSpecies(species(Large_Ret)))]).
  561
  562 /*  adult(Adult_Ret) :-
  563       large(Adult_Ret).
  564 */
  565axiom(adult(Adult_Ret),
  566    [large(Adult_Ret)]).
  567
  568 /*  largeSpecies(species(Species_Ret)) :-
  569       large(Species_Ret).
  570 */
  571axiom(largeSpecies(species(Species_Ret)),
  572    [large(Species_Ret)]).
  573
  574
  575% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:25
  576% [position]
  577 
  578% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:25
  579% {position1} % position1!=% position & Neighbor(position,position1).
  580
  581 /*   exists([Position1],
  582              (Position1\=Position, neighbor(Position, Position1))).
  583 */
  584
  585 /*  not(some(Some_Param, '$kolem_Fn_35'(Neighbor_Param))) :-
  586       (   not({dif(Some_Param, Neighbor_Param)})
  587       ;   not(neighbor(Neighbor_Param, Some_Param))
  588       ).
  589 */
  590axiom(not(some(Some_Param, '$kolem_Fn_35'(Neighbor_Param))),
  591    [not({dif(Some_Param, Neighbor_Param)})]).
  592axiom(not(some(Some_Param, '$kolem_Fn_35'(Neighbor_Param))),
  593    [not(neighbor(Neighbor_Param, Some_Param))]).
  594
  595 /*  { dif(Dif_Param, Dif_Ret)
  596   } :-
  597       some(Dif_Param, '$kolem_Fn_35'(Dif_Ret)).
  598 */
  599axiom({ dif(Dif_Param, Dif_Ret)
  600},
  601    [some(Dif_Param, '$kolem_Fn_35'(Dif_Ret))]).
  602
  603 /*  neighbor(Neighbor_Param7, Some_Param8) :-
  604       some(Some_Param8, '$kolem_Fn_35'(Neighbor_Param7)).
  605 */
  606axiom(neighbor(Neighbor_Param7, Some_Param8),
  607    [some(Some_Param8, '$kolem_Fn_35'(Neighbor_Param7))]).
  608
  609
  610% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:25
  611% [position]
  612 % !Neighbor(position,position).
  613 %  not(neighbor(Position,Position)).
  614axiom(not(neighbor(Neighbor_Param, Neighbor_Param)),
  615    []).
  616
  617
  618% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:25
  619% [position1,position2]
  620% Neighbor(position1,position2) ->
  621% Neighbor(position2,position1).
  622axiom(neighbor(Position2, Position1),
  623    [neighbor(Position1, Position2)]).
  624
  625
  626% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:25
  627% [cage]
  628 % cage!=% Outside.
  629diff(Cage,outside).
  630
  631
  632% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:25
  633% [position1,position2,gate]
  634% Sides(position1,position2,gate) <->
  635% ((Side1(gate)=position1 &
  636%   Side2(gate)=position2) |
  637%  (Side2(gate)=position1 &
  638%   Side1(gate)=position2)).
  639
  640 /*  sides(Position1, Position2, Gate) <->
  641       (   side1(Gate)=Position1,
  642           side2(Gate)=Position2
  643       ;   side2(Gate)=Position1,
  644           side1(Gate)=Position2
  645       ).
  646 */
  647axiom(sides(Position1, Position2, Gate),
  648   
  649    [ equals(side1(Gate), Position1),
  650      equals(side2(Gate), Position2)
  651    ]).
  652axiom(sides(Position1, Position2, Gate),
  653   
  654    [ equals(side2(Gate), Position1),
  655      equals(side1(Gate), Position2)
  656    ]).
  657
  658 /*   if(sides(Position1, Position2, Gate),
  659          (side1(Gate)=Position1, side2(Gate)=Position2;side2(Gate)=Position1, side1(Gate)=Position2)).
  660 */
  661
  662 /*  not(sides(Sides_Param, Equals_Ret, Sides_Ret)) :-
  663       (   not(equals(side1(Sides_Ret), Sides_Param))
  664       ;   not(equals(side2(Sides_Ret), Equals_Ret))
  665       ),
  666       (   not(equals(side2(Sides_Ret), Sides_Param))
  667       ;   not(equals(side1(Sides_Ret), Equals_Ret))
  668       ).
  669 */
  670axiom(not(sides(Sides_Param, Equals_Ret, Sides_Ret)),
  671   
  672    [ not(equals(side2(Sides_Ret), Sides_Param)),
  673      not(equals(side1(Sides_Ret), Sides_Param))
  674    ]).
  675axiom(not(sides(Sides_Param, Equals_Ret, Sides_Ret)),
  676   
  677    [ not(equals(side1(Sides_Ret), Equals_Ret)),
  678      not(equals(side1(Sides_Ret), Sides_Param))
  679    ]).
  680axiom(not(sides(Sides_Param, Equals_Ret, Sides_Ret)),
  681   
  682    [ not(equals(side2(Sides_Ret), Sides_Param)),
  683      not(equals(side2(Sides_Ret), Equals_Ret))
  684    ]).
  685axiom(not(sides(Sides_Param, Equals_Ret, Sides_Ret)),
  686   
  687    [ not(equals(side1(Sides_Ret), Equals_Ret)),
  688      not(equals(side2(Sides_Ret), Equals_Ret))
  689    ]).
  690
  691 /*  equals(side1(Side1_Ret), Sides_Param6) :-
  692       (   not(equals(side2(Side1_Ret), Sides_Param6))
  693       ;   not(equals(side1(Side1_Ret), Equals_Ret8))
  694       ),
  695       sides(Sides_Param6, Equals_Ret8, Side1_Ret).
  696 */
  697axiom(equals(side1(Side1_Ret), Sides_Param6),
  698   
  699    [ not(equals(side2(Side1_Ret), Sides_Param6)),
  700      sides(Sides_Param6, Equals_Ret8, Side1_Ret)
  701    ]).
  702axiom(equals(side1(Side1_Ret), Sides_Param6),
  703   
  704    [ not(equals(side1(Side1_Ret), Equals_Ret8)),
  705      sides(Sides_Param6, Equals_Ret8, Side1_Ret)
  706    ]).
  707
  708 /*  equals(side2(Side2_Ret), Equals_Ret10) :-
  709       (   not(equals(side2(Side2_Ret), Sides_Param9))
  710       ;   not(equals(side1(Side2_Ret), Equals_Ret10))
  711       ),
  712       sides(Sides_Param9, Equals_Ret10, Side2_Ret).
  713 */
  714axiom(equals(side2(Side2_Ret), Equals_Ret10),
  715   
  716    [ not(equals(side2(Side2_Ret), Sides_Param9)),
  717      sides(Sides_Param9, Equals_Ret10, Side2_Ret)
  718    ]).
  719axiom(equals(side2(Side2_Ret), Equals_Ret10),
  720   
  721    [ not(equals(side1(Side2_Ret), Equals_Ret10)),
  722      sides(Sides_Param9, Equals_Ret10, Side2_Ret)
  723    ]).
  724
  725 /*  equals(side2(Side2_Ret13), Sides_Param12) :-
  726       (   not(equals(side1(Side2_Ret13), Sides_Param12))
  727       ;   not(equals(side2(Side2_Ret13), Equals_Ret14))
  728       ),
  729       sides(Sides_Param12, Equals_Ret14, Side2_Ret13).
  730 */
  731axiom(equals(side2(Side2_Ret13), Sides_Param12),
  732   
  733    [ not(equals(side1(Side2_Ret13), Sides_Param12)),
  734      sides(Sides_Param12, Equals_Ret14, Side2_Ret13)
  735    ]).
  736axiom(equals(side2(Side2_Ret13), Sides_Param12),
  737   
  738    [ not(equals(side2(Side2_Ret13), Equals_Ret14)),
  739      sides(Sides_Param12, Equals_Ret14, Side2_Ret13)
  740    ]).
  741
  742 /*  equals(side1(Side1_Ret17), Equals_Ret16) :-
  743       (   not(equals(side1(Side1_Ret17), Sides_Param15))
  744       ;   not(equals(side2(Side1_Ret17), Equals_Ret16))
  745       ),
  746       sides(Sides_Param15, Equals_Ret16, Side1_Ret17).
  747 */
  748axiom(equals(side1(Side1_Ret17), Equals_Ret16),
  749   
  750    [ not(equals(side1(Side1_Ret17), Sides_Param15)),
  751      sides(Sides_Param15, Equals_Ret16, Side1_Ret17)
  752    ]).
  753axiom(equals(side1(Side1_Ret17), Equals_Ret16),
  754   
  755    [ not(equals(side2(Side1_Ret17), Equals_Ret16)),
  756      sides(Sides_Param15, Equals_Ret16, Side1_Ret17)
  757    ]).
  758
  759
  760% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:25
  761% [gate]
  762 % Loc(Side1(gate))!=Loc(Side2(gate)).
  763diff(loc(side1(Gate)),loc(side2(Gate))).
  764
  765
  766% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:25
  767% [position1,position2,gate1,gate2]
  768% Sides(position1,position2,gate1) &
  769% Sides(position1,position2,gate2) ->
  770% gate1=gate2.
  771axiom(Gate1=Gate2,
  772   
  773    [ sides(Position1, Position2, Gate1),
  774      sides(Position1, Position2, Gate2)
  775    ]).
  776
  777
  778% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:25
  779% [position1,position2,gate]
  780% Sides(position1,position2,gate) ->
  781% Neighbor(position1,position2).
  782axiom(neighbor(Position1, Position2),
  783    [sides(Position1, Position2, Gate)]).
  784
  785
  786% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:25
  787% [position1,position2]
  788% Loc(position1) != Loc(position2) &
  789% Neighbor(position1,position2) ->
  790% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:25
  791% {gate}%  Sides(position1,position2,gate).
  792
  793 /*   exists([Gate],
  794             if((loc(Position1)\=loc(Position2), neighbor(Position1, Position2)),
  795                sides(Position1, Position2, Gate))).
  796 */
  797
  798 /*  sides(Sides_Param, Loc_Ret, Some_Param) :-
  799       ( { dif(loc(Sides_Param), loc(Loc_Ret))
  800         },
  801         neighbor(Sides_Param, Loc_Ret)
  802       ),
  803       some(Some_Param, '$kolem_Fn_36'(Sides_Param, Loc_Ret)).
  804 */
  805axiom(sides(Sides_Param, Loc_Ret, Some_Param),
  806   
  807    [ { dif(loc(Sides_Param), loc(Loc_Ret))
  808      },
  809      neighbor(Sides_Param, Loc_Ret),
  810      some(Some_Param, '$kolem_Fn_36'(Sides_Param, Loc_Ret))
  811    ]).
  812
  813 /*  not({dif(loc(Neighbor_Param), loc(Loc_Ret9))}) :-
  814       neighbor(Neighbor_Param, Loc_Ret9),
  815       not(sides(Neighbor_Param, Loc_Ret9, Some_Param8)),
  816       some(Some_Param8, '$kolem_Fn_36'(Neighbor_Param, Loc_Ret9)).
  817 */
  818axiom(not({dif(loc(Neighbor_Param), loc(Loc_Ret9))}),
  819   
  820    [ neighbor(Neighbor_Param, Loc_Ret9),
  821      not(sides(Neighbor_Param, Loc_Ret9, Some_Param8)),
  822      some(Some_Param8,
  823           '$kolem_Fn_36'(Neighbor_Param, Loc_Ret9))
  824    ]).
  825
  826 /*  not(neighbor(Neighbor_Param10, Neighbor_Ret)) :-
  827       { dif(loc(Neighbor_Param10), loc(Neighbor_Ret))
  828       },
  829       not(sides(Neighbor_Param10, Neighbor_Ret, Some_Param11)),
  830       some(Some_Param11,
  831            '$kolem_Fn_36'(Neighbor_Param10, Neighbor_Ret)).
  832 */
  833axiom(not(neighbor(Neighbor_Param10, Neighbor_Ret)),
  834   
  835    [ { dif(loc(Neighbor_Param10), loc(Neighbor_Ret))
  836      },
  837      not(sides(Neighbor_Param10, Neighbor_Ret, Some_Param11)),
  838      some(Some_Param11,
  839           '$kolem_Fn_36'(Neighbor_Param10, Neighbor_Ret))
  840    ]).
  841
  842 /*  not(some(Some_Param13, '$kolem_Fn_36'(Fn_36_Param, Fn_36_Ret))) :-
  843       not(sides(Fn_36_Param, Fn_36_Ret, Some_Param13)),
  844       { dif(loc(Fn_36_Param), loc(Fn_36_Ret))
  845       },
  846       neighbor(Fn_36_Param, Fn_36_Ret).
  847 */
  848axiom(not(some(Some_Param13, '$kolem_Fn_36'(Fn_36_Param, Fn_36_Ret))),
  849   
  850    [ not(sides(Fn_36_Param, Fn_36_Ret, Some_Param13)),
  851      { dif(loc(Fn_36_Param), loc(Fn_36_Ret))
  852      },
  853      neighbor(Fn_36_Param, Fn_36_Ret)
  854    ]).
  855
  856
  857% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:25
  858% [animal,position1,position2,time]
  859% HoldsAt(Pos(animal,position1),time) &
  860% HoldsAt(Pos(animal,position2),time) ->
  861% position1=position2.
  862axiom(Position1=Position2,
  863   
  864    [ holds_at(pos(Animal, Position1), Time),
  865      holds_at(pos(Animal, Position2), Time)
  866    ]).
  867
  868
  869% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:129
  870% [animal,time]
  871% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:130
  872% {position} % HoldsAt(Pos(animal,position),time).
  873
  874 /*  exists([Position],
  875          holds_at(pos(Animal,Position),Time)).
  876 */
  877
  878 /*  holds_at(pos(Pos_Param, Some_Param), Time4) :-
  879       some(Some_Param, '$kolem_Fn_37'(Pos_Param, Time4)).
  880 */
  881axiom(holds_at(pos(Pos_Param, Some_Param), Time4),
  882    [some(Some_Param, '$kolem_Fn_37'(Pos_Param, Time4))]).
  883
  884 /*  not(some(Some_Param8, '$kolem_Fn_37'(Fn_37_Param, Time7))) :-
  885       not(holds_at(pos(Fn_37_Param, Some_Param8), Time7)).
  886 */
  887axiom(not(some(Some_Param8, '$kolem_Fn_37'(Fn_37_Param, Time7))),
  888    [not(holds_at(pos(Fn_37_Param, Some_Param8), Time7))]).
  889
  890
  891% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:132
  892% [animal1,animal2,position,time]
  893% (animal1!=animal2 &
  894%  Large(animal1) &
  895%  Large(animal2) &
  896%  HoldsAt(Pos(animal1,position),time) &
  897%  HoldsAt(Pos(animal2,position),time)) ->
  898% (({human} human=animal1 & HoldsAt(Mounted(human,animal2),time)) |
  899%  ({human} human=animal2 & HoldsAt(Mounted(human,animal1),time))).
  900
  901 /*   if(({dif(Animal1, Animal2)}, large(Animal1), large(Animal2), holds_at(pos(Animal1, Position), Time), holds_at(pos(Animal2, Position), Time)),
  902          (exists([Human],  (Human=Animal1, holds_at(mounted(Human, Animal2), Time)));exists([Human5],  (Human5=Animal2, holds_at(mounted(Human5, Animal1), Time))))).
  903 */
  904
  905 /*  not({dif(Dif_Param, Pos_Param)}) :-
  906       ( large(Dif_Param),
  907         large(Pos_Param),
  908         holds_at(pos(Dif_Param, Pos_Ret), Time6),
  909         holds_at(pos(Pos_Param, Pos_Ret), Time6)
  910       ),
  911       (   not(equals(Equals_Param, Dif_Param))
  912       ;   not(holds_at(mounted(Equals_Param, Pos_Param), Time6))
  913       ),
  914       (   not(equals(Equals_Param10, Pos_Param))
  915       ;   not(holds_at(mounted(Equals_Param10, Dif_Param),
  916                        Time6))
  917       ).
  918 */
  919% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:139
  920axiom(not({dif(Dif_Param, Pos_Param)}),
  921   
  922    [ not(equals(Equals_Param10, Pos_Param)),
  923      not(equals(Equals_Param, Dif_Param)),
  924      large(Dif_Param),
  925      large(Pos_Param),
  926      holds_at(pos(Dif_Param, Pos_Ret), Time6),
  927      holds_at(pos(Pos_Param, Pos_Ret), Time6)
  928    ]).
  929axiom(not({dif(Dif_Param, Pos_Param)}),
  930   
  931    [ not(holds_at(mounted(Equals_Param10, Dif_Param), Time6)),
  932      not(equals(Equals_Param, Dif_Param)),
  933      large(Dif_Param),
  934      large(Pos_Param),
  935      holds_at(pos(Dif_Param, Pos_Ret), Time6),
  936      holds_at(pos(Pos_Param, Pos_Ret), Time6)
  937    ]).
  938axiom(not({dif(Dif_Param, Pos_Param)}),
  939   
  940    [ not(equals(Equals_Param10, Pos_Param)),
  941      not(holds_at(mounted(Equals_Param, Pos_Param), Time6)),
  942      large(Dif_Param),
  943      large(Pos_Param),
  944      holds_at(pos(Dif_Param, Pos_Ret), Time6),
  945      holds_at(pos(Pos_Param, Pos_Ret), Time6)
  946    ]).
  947axiom(not({dif(Dif_Param, Pos_Param)}),
  948   
  949    [ not(holds_at(mounted(Equals_Param10, Dif_Param), Time6)),
  950      not(holds_at(mounted(Equals_Param, Pos_Param), Time6)),
  951      large(Dif_Param),
  952      large(Pos_Param),
  953      holds_at(pos(Dif_Param, Pos_Ret), Time6),
  954      holds_at(pos(Pos_Param, Pos_Ret), Time6)
  955    ]).
  956
  957 /*  not(large(Pos_Param13)) :-
  958       ( large(Pos_Param14),
  959         holds_at(pos(Pos_Param13, Pos_Ret17), Time12),
  960         holds_at(pos(Pos_Param14, Pos_Ret17), Time12)
  961       ),
  962       { dif(Pos_Param13, Pos_Param14)
  963       },
  964       (   not(equals(Equals_Param15, Pos_Param13))
  965       ;   not(holds_at(mounted(Equals_Param15, Pos_Param14),
  966                        Time12))
  967       ),
  968       (   not(equals(Equals_Param16, Pos_Param14))
  969       ;   not(holds_at(mounted(Equals_Param16, Pos_Param13),
  970                        Time12))
  971       ).
  972 */
  973axiom(not(large(Pos_Param13)),
  974   
  975    [ not(equals(Equals_Param16, Pos_Param14)),
  976      not(equals(Equals_Param15, Pos_Param13)),
  977      large(Pos_Param14),
  978      holds_at(pos(Pos_Param13, Pos_Ret17), Time12),
  979      holds_at(pos(Pos_Param14, Pos_Ret17), Time12),
  980      { dif(Pos_Param13, Pos_Param14)
  981      }
  982    ]).
  983axiom(not(large(Pos_Param13)),
  984   
  985    [ not(holds_at(mounted(Equals_Param16, Pos_Param13),
  986                   Time12)),
  987      not(equals(Equals_Param15, Pos_Param13)),
  988      large(Pos_Param14),
  989      holds_at(pos(Pos_Param13, Pos_Ret17), Time12),
  990      holds_at(pos(Pos_Param14, Pos_Ret17), Time12),
  991      { dif(Pos_Param13, Pos_Param14)
  992      }
  993    ]).
  994axiom(not(large(Pos_Param13)),
  995   
  996    [ not(equals(Equals_Param16, Pos_Param14)),
  997      not(holds_at(mounted(Equals_Param15, Pos_Param14),
  998                   Time12)),
  999      large(Pos_Param14),
 1000      holds_at(pos(Pos_Param13, Pos_Ret17), Time12),
 1001      holds_at(pos(Pos_Param14, Pos_Ret17), Time12),
 1002      { dif(Pos_Param13, Pos_Param14)
 1003      }
 1004    ]).
 1005axiom(not(large(Pos_Param13)),
 1006   
 1007    [ not(holds_at(mounted(Equals_Param16, Pos_Param13),
 1008                   Time12)),
 1009      not(holds_at(mounted(Equals_Param15, Pos_Param14),
 1010                   Time12)),
 1011      large(Pos_Param14),
 1012      holds_at(pos(Pos_Param13, Pos_Ret17), Time12),
 1013      holds_at(pos(Pos_Param14, Pos_Ret17), Time12),
 1014      { dif(Pos_Param13, Pos_Param14)
 1015      }
 1016    ]).
 1017
 1018 /*  not(large(Pos_Param20)) :-
 1019       ( holds_at(pos(Pos_Param19, Pos_Ret23), Time18),
 1020         holds_at(pos(Pos_Param20, Pos_Ret23), Time18)
 1021       ),
 1022       large(Pos_Param19),
 1023       { dif(Pos_Param19, Pos_Param20)
 1024       },
 1025       (   not(equals(Equals_Param21, Pos_Param19))
 1026       ;   not(holds_at(mounted(Equals_Param21, Pos_Param20),
 1027                        Time18))
 1028       ),
 1029       (   not(equals(Equals_Param22, Pos_Param20))
 1030       ;   not(holds_at(mounted(Equals_Param22, Pos_Param19),
 1031                        Time18))
 1032       ).
 1033 */
 1034axiom(not(large(Pos_Param20)),
 1035   
 1036    [ not(equals(Equals_Param22, Pos_Param20)),
 1037      not(equals(Equals_Param21, Pos_Param19)),
 1038      holds_at(pos(Pos_Param19, Pos_Ret23), Time18),
 1039      holds_at(pos(Pos_Param20, Pos_Ret23), Time18),
 1040      large(Pos_Param19),
 1041      { dif(Pos_Param19, Pos_Param20)
 1042      }
 1043    ]).
 1044axiom(not(large(Pos_Param20)),
 1045   
 1046    [ not(holds_at(mounted(Equals_Param22, Pos_Param19),
 1047                   Time18)),
 1048      not(equals(Equals_Param21, Pos_Param19)),
 1049      holds_at(pos(Pos_Param19, Pos_Ret23), Time18),
 1050      holds_at(pos(Pos_Param20, Pos_Ret23), Time18),
 1051      large(Pos_Param19),
 1052      { dif(Pos_Param19, Pos_Param20)
 1053      }
 1054    ]).
 1055axiom(not(large(Pos_Param20)),
 1056   
 1057    [ not(equals(Equals_Param22, Pos_Param20)),
 1058      not(holds_at(mounted(Equals_Param21, Pos_Param20),
 1059                   Time18)),
 1060      holds_at(pos(Pos_Param19, Pos_Ret23), Time18),
 1061      holds_at(pos(Pos_Param20, Pos_Ret23), Time18),
 1062      large(Pos_Param19),
 1063      { dif(Pos_Param19, Pos_Param20)
 1064      }
 1065    ]).
 1066axiom(not(large(Pos_Param20)),
 1067   
 1068    [ not(holds_at(mounted(Equals_Param22, Pos_Param19),
 1069                   Time18)),
 1070      not(holds_at(mounted(Equals_Param21, Pos_Param20),
 1071                   Time18)),
 1072      holds_at(pos(Pos_Param19, Pos_Ret23), Time18),
 1073      holds_at(pos(Pos_Param20, Pos_Ret23), Time18),
 1074      large(Pos_Param19),
 1075      { dif(Pos_Param19, Pos_Param20)
 1076      }
 1077    ]).
 1078
 1079 /*  not(holds_at(pos(Pos_Param25, Pos_Ret29), Time24)) :-
 1080       holds_at(pos(Pos_Param26, Pos_Ret29), Time24),
 1081       large(Pos_Param26),
 1082       large(Pos_Param25),
 1083       { dif(Pos_Param25, Pos_Param26)
 1084       },
 1085       (   not(equals(Equals_Param27, Pos_Param25))
 1086       ;   not(holds_at(mounted(Equals_Param27, Pos_Param26),
 1087                        Time24))
 1088       ),
 1089       (   not(equals(Equals_Param28, Pos_Param26))
 1090       ;   not(holds_at(mounted(Equals_Param28, Pos_Param25),
 1091                        Time24))
 1092       ).
 1093 */
 1094axiom(not(holds_at(pos(Pos_Param25, Pos_Ret29), Time24)),
 1095   
 1096    [ not(equals(Equals_Param28, Pos_Param26)),
 1097      not(equals(Equals_Param27, Pos_Param25)),
 1098      holds_at(pos(Pos_Param26, Pos_Ret29), Time24),
 1099      large(Pos_Param26),
 1100      large(Pos_Param25),
 1101      dif(Pos_Param25, Pos_Param26)
 1102    ]).
 1103axiom(not(holds_at(pos(Pos_Param25, Pos_Ret29), Time24)),
 1104   
 1105    [ not(holds_at(mounted(Equals_Param28, Pos_Param25),
 1106                   Time24)),
 1107      not(equals(Equals_Param27, Pos_Param25)),
 1108      holds_at(pos(Pos_Param26, Pos_Ret29), Time24),
 1109      large(Pos_Param26),
 1110      large(Pos_Param25),
 1111      dif(Pos_Param25, Pos_Param26)
 1112    ]).
 1113axiom(not(holds_at(pos(Pos_Param25, Pos_Ret29), Time24)),
 1114   
 1115    [ not(equals(Equals_Param28, Pos_Param26)),
 1116      not(holds_at(mounted(Equals_Param27, Pos_Param26),
 1117                   Time24)),
 1118      holds_at(pos(Pos_Param26, Pos_Ret29), Time24),
 1119      large(Pos_Param26),
 1120      large(Pos_Param25),
 1121      dif(Pos_Param25, Pos_Param26)
 1122    ]).
 1123axiom(not(holds_at(pos(Pos_Param25, Pos_Ret29), Time24)),
 1124   
 1125    [ not(holds_at(mounted(Equals_Param28, Pos_Param25),
 1126                   Time24)),
 1127      not(holds_at(mounted(Equals_Param27, Pos_Param26),
 1128                   Time24)),
 1129      holds_at(pos(Pos_Param26, Pos_Ret29), Time24),
 1130      large(Pos_Param26),
 1131      large(Pos_Param25),
 1132      dif(Pos_Param25, Pos_Param26)
 1133    ]).
 1134
 1135 /*  not(holds_at(pos(Pos_Param31, Pos_Ret35), Time30)) :-
 1136       holds_at(pos(Pos_Param32, Pos_Ret35), Time30),
 1137       large(Pos_Param31),
 1138       large(Pos_Param32),
 1139       { dif(Pos_Param32, Pos_Param31)
 1140       },
 1141       (   not(equals(Equals_Param33, Pos_Param32))
 1142       ;   not(holds_at(mounted(Equals_Param33, Pos_Param31),
 1143                        Time30))
 1144       ),
 1145       (   not(equals(Equals_Param34, Pos_Param31))
 1146       ;   not(holds_at(mounted(Equals_Param34, Pos_Param32),
 1147                        Time30))
 1148       ).
 1149 */
 1150axiom(not(holds_at(pos(Pos_Param31, Pos_Ret35), Time30)),
 1151   
 1152    [ not(equals(Equals_Param34, Pos_Param31)),
 1153      not(equals(Equals_Param33, Pos_Param32)),
 1154      holds_at(pos(Pos_Param32, Pos_Ret35), Time30),
 1155      large(Pos_Param31),
 1156      large(Pos_Param32),
 1157      dif(Pos_Param32, Pos_Param31)
 1158    ]).
 1159axiom(not(holds_at(pos(Pos_Param31, Pos_Ret35), Time30)),
 1160   
 1161    [ not(holds_at(mounted(Equals_Param34, Pos_Param32),
 1162                   Time30)),
 1163      not(equals(Equals_Param33, Pos_Param32)),
 1164      holds_at(pos(Pos_Param32, Pos_Ret35), Time30),
 1165      large(Pos_Param31),
 1166      large(Pos_Param32),
 1167      dif(Pos_Param32, Pos_Param31)
 1168    ]).
 1169axiom(not(holds_at(pos(Pos_Param31, Pos_Ret35), Time30)),
 1170   
 1171    [ not(equals(Equals_Param34, Pos_Param31)),
 1172      not(holds_at(mounted(Equals_Param33, Pos_Param31),
 1173                   Time30)),
 1174      holds_at(pos(Pos_Param32, Pos_Ret35), Time30),
 1175      large(Pos_Param31),
 1176      large(Pos_Param32),
 1177      dif(Pos_Param32, Pos_Param31)
 1178    ]).
 1179axiom(not(holds_at(pos(Pos_Param31, Pos_Ret35), Time30)),
 1180   
 1181    [ not(holds_at(mounted(Equals_Param34, Pos_Param32),
 1182                   Time30)),
 1183      not(holds_at(mounted(Equals_Param33, Pos_Param31),
 1184                   Time30)),
 1185      holds_at(pos(Pos_Param32, Pos_Ret35), Time30),
 1186      large(Pos_Param31),
 1187      large(Pos_Param32),
 1188      dif(Pos_Param32, Pos_Param31)
 1189    ]).
 1190
 1191 /*  equals(Equals_Param37, Dif_Param39) :-
 1192       (   not(equals(Equals_Param38, Pos_Param40))
 1193       ;   not(holds_at(mounted(Equals_Param38, Dif_Param39),
 1194                        Time36))
 1195       ),
 1196       { dif(Dif_Param39, Pos_Param40)
 1197       },
 1198       large(Dif_Param39),
 1199       large(Pos_Param40),
 1200       holds_at(pos(Dif_Param39, Pos_Ret41), Time36),
 1201       holds_at(pos(Pos_Param40, Pos_Ret41), Time36).
 1202 */
 1203axiom(equals(Equals_Param37, Dif_Param39),
 1204   
 1205    [ not(equals(Equals_Param38, Pos_Param40)),
 1206      { dif(Dif_Param39, Pos_Param40)
 1207      },
 1208      large(Dif_Param39),
 1209      large(Pos_Param40),
 1210      holds_at(pos(Dif_Param39, Pos_Ret41), Time36),
 1211      holds_at(pos(Pos_Param40, Pos_Ret41), Time36)
 1212    ]).
 1213axiom(equals(Equals_Param37, Dif_Param39),
 1214   
 1215    [ not(holds_at(mounted(Equals_Param38, Dif_Param39),
 1216                   Time36)),
 1217      { dif(Dif_Param39, Pos_Param40)
 1218      },
 1219      large(Dif_Param39),
 1220      large(Pos_Param40),
 1221      holds_at(pos(Dif_Param39, Pos_Ret41), Time36),
 1222      holds_at(pos(Pos_Param40, Pos_Ret41), Time36)
 1223    ]).
 1224
 1225 /*  holds_at(mounted(Mounted_Param, Pos_Param46), Time42) :-
 1226       (   not(equals(Equals_Param44, Pos_Param46))
 1227       ;   not(holds_at(mounted(Equals_Param44, Dif_Param45),
 1228                        Time42))
 1229       ),
 1230       { dif(Dif_Param45, Pos_Param46)
 1231       },
 1232       large(Dif_Param45),
 1233       large(Pos_Param46),
 1234       holds_at(pos(Dif_Param45, Pos_Ret47), Time42),
 1235       holds_at(pos(Pos_Param46, Pos_Ret47), Time42).
 1236 */
 1237axiom(holds_at(mounted(Mounted_Param, Pos_Param46), Time42),
 1238   
 1239    [ not(equals(Equals_Param44, Pos_Param46)),
 1240      dif(Dif_Param45, Pos_Param46),
 1241      large(Dif_Param45),
 1242      large(Pos_Param46),
 1243      holds_at(pos(Dif_Param45, Pos_Ret47), Time42),
 1244      holds_at(pos(Pos_Param46, Pos_Ret47), Time42)
 1245    ]).
 1246axiom(holds_at(mounted(Mounted_Param, Pos_Param46), Time42),
 1247   
 1248    [ not(holds_at(mounted(Equals_Param44, Dif_Param45),
 1249                   Time42)),
 1250      dif(Dif_Param45, Pos_Param46),
 1251      large(Dif_Param45),
 1252      large(Pos_Param46),
 1253      holds_at(pos(Dif_Param45, Pos_Ret47), Time42),
 1254      holds_at(pos(Pos_Param46, Pos_Ret47), Time42)
 1255    ]).
 1256
 1257 /*  equals(Equals_Param49, Pos_Param52) :-
 1258       (   not(equals(Equals_Param50, Dif_Param51))
 1259       ;   not(holds_at(mounted(Equals_Param50, Pos_Param52),
 1260                        Time48))
 1261       ),
 1262       { dif(Dif_Param51, Pos_Param52)
 1263       },
 1264       large(Dif_Param51),
 1265       large(Pos_Param52),
 1266       holds_at(pos(Dif_Param51, Pos_Ret53), Time48),
 1267       holds_at(pos(Pos_Param52, Pos_Ret53), Time48).
 1268 */
 1269axiom(equals(Equals_Param49, Pos_Param52),
 1270   
 1271    [ not(equals(Equals_Param50, Dif_Param51)),
 1272      { dif(Dif_Param51, Pos_Param52)
 1273      },
 1274      large(Dif_Param51),
 1275      large(Pos_Param52),
 1276      holds_at(pos(Dif_Param51, Pos_Ret53), Time48),
 1277      holds_at(pos(Pos_Param52, Pos_Ret53), Time48)
 1278    ]).
 1279axiom(equals(Equals_Param49, Pos_Param52),
 1280   
 1281    [ not(holds_at(mounted(Equals_Param50, Pos_Param52),
 1282                   Time48)),
 1283      { dif(Dif_Param51, Pos_Param52)
 1284      },
 1285      large(Dif_Param51),
 1286      large(Pos_Param52),
 1287      holds_at(pos(Dif_Param51, Pos_Ret53), Time48),
 1288      holds_at(pos(Pos_Param52, Pos_Ret53), Time48)
 1289    ]).
 1290
 1291 /*  holds_at(mounted(Mounted_Param55, Dif_Param57), Time54) :-
 1292       (   not(equals(Equals_Param56, Dif_Param57))
 1293       ;   not(holds_at(mounted(Equals_Param56, Pos_Param58),
 1294                        Time54))
 1295       ),
 1296       { dif(Dif_Param57, Pos_Param58)
 1297       },
 1298       large(Dif_Param57),
 1299       large(Pos_Param58),
 1300       holds_at(pos(Dif_Param57, Pos_Ret59), Time54),
 1301       holds_at(pos(Pos_Param58, Pos_Ret59), Time54).
 1302 */
 1303axiom(holds_at(mounted(Mounted_Param55, Dif_Param57), Time54),
 1304   
 1305    [ not(equals(Equals_Param56, Dif_Param57)),
 1306      dif(Dif_Param57, Pos_Param58),
 1307      large(Dif_Param57),
 1308      large(Pos_Param58),
 1309      holds_at(pos(Dif_Param57, Pos_Ret59), Time54),
 1310      holds_at(pos(Pos_Param58, Pos_Ret59), Time54)
 1311    ]).
 1312axiom(holds_at(mounted(Mounted_Param55, Dif_Param57), Time54),
 1313   
 1314    [ not(holds_at(mounted(Equals_Param56, Pos_Param58),
 1315                   Time54)),
 1316      dif(Dif_Param57, Pos_Param58),
 1317      large(Dif_Param57),
 1318      large(Pos_Param58),
 1319      holds_at(pos(Dif_Param57, Pos_Ret59), Time54),
 1320      holds_at(pos(Pos_Param58, Pos_Ret59), Time54)
 1321    ]).
 1322
 1323
 1324% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:141
 1325% [human,position1,position2,time]
 1326% HoldsAt(PosDeterminingFluent(human,position1),time) &
 1327% HoldsAt(PosDeterminingFluent(human,position2),time) ->
 1328% position1=position2.
 1329% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:144
 1330axiom(Position1=Position2,
 1331   
 1332    [ holds_at(posDeterminingFluent(Human, Position1), Time),
 1333      holds_at(posDeterminingFluent(Human, Position2), Time)
 1334    ]).
 1335
 1336
 1337% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:146
 1338% [animal,position,time]
 1339% Initiates(Move(animal,position),Pos(animal,position),time).
 1340% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:147
 1341axiom(initiates(move(Animal, Position), pos(Animal, Position), Time),
 1342    []).
 1343
 1344
 1345% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:149
 1346% [animal,position1,position2,time]
 1347% HoldsAt(Pos(animal,position1),time) ->
 1348% Terminates(Move(animal,position2),Pos(animal,position1),time).
 1349% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:151
 1350axiom(terminates(move(Animal, Position2), pos(Animal, Position1), Time),
 1351    [holds_at(pos(Animal, Position1), Time)]).
 1352
 1353
 1354% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:153
 1355% [animal,position,time]
 1356% Happens(Move(animal,position),time) ->
 1357% !HoldsAt(Pos(animal,position),time).
 1358% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:155
 1359axiom(requires(move(Animal, Position), Time),
 1360    [not(holds_at(pos(Animal, Position), Time))]).
 1361
 1362
 1363% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:157
 1364% [human,position,time]
 1365% Happens(Move(human,position),time) ->
 1366% !{animal} HoldsAt(Mounted(human,animal),time).
 1367% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:159
 1368axiom(requires(move(Human, Position), Time),
 1369    [not(holds_at(mounted(Human, Animal), Time))]).
 1370
 1371
 1372% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:161
 1373% [human,gate,time]
 1374% Initiates(Open(human,gate),Opened(gate),time).
 1375% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:162
 1376axiom(initiates(open(Human, Gate), opened(Gate), Time),
 1377    []).
 1378
 1379
 1380% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:164
 1381% [human,gate,time]
 1382% Happens(Open(human,gate),time) ->
 1383% !HoldsAt(Opened(gate),time) &
 1384% (!{animal} HoldsAt(Mounted(human,animal),time)) &
 1385% ({position}
 1386%  (Side1(gate)=position | Side2(gate)=position) &
 1387%  HoldsAt(Pos(human,position),time)).
 1388% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:170
 1389axiom(requires(open(Human, Gate), Time),
 1390   
 1391    [ equals(side1(Gate), Position),
 1392      not(holds_at(opened(Gate), Time)),
 1393      not(holds_at(mounted(Human, Animal), Time)),
 1394      holds_at(pos(Human, Position), Time)
 1395    ]).
 1396axiom(requires(open(Human, Gate), Time),
 1397   
 1398    [ equals(side2(Gate), Position),
 1399      not(holds_at(opened(Gate), Time)),
 1400      not(holds_at(mounted(Human, Animal), Time)),
 1401      holds_at(pos(Human, Position), Time)
 1402    ]).
 1403
 1404
 1405% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:172
 1406% [human,gate,time]
 1407% Terminates(Close(human,gate),Opened(gate),time).
 1408% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:173
 1409axiom(terminates(close(Human, Gate), opened(Gate), Time),
 1410    []).
 1411
 1412
 1413% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:175
 1414% [human,gate,time]
 1415% Happens(Close(human,gate),time) ->
 1416% HoldsAt(Opened(gate),time) &
 1417% (!{animal} HoldsAt(Mounted(human,animal),time)) &
 1418% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:179
 1419% {position}% 
 1420% (Side1(gate)=position | Side2(gate)=position) &
 1421% HoldsAt(Pos(human,position),time).
 1422
 1423 /*   exists([Position],
 1424             if(happens(close(Human, Gate), Time),
 1425                 (holds_at(opened(Gate), Time), not(exists([Animal], holds_at(mounted(Human, Animal), Time))), (side1(Gate)=Position;side2(Gate)=Position), holds_at(pos(Human, Position), Time)))).
 1426 */
 1427
 1428 /*  not(some(Some_Param, '$kolem_Fn_43'(Fn_43_Param, Close_Ret, Maptime, Fn_43_Ret))) :-
 1429       happens(close(Fn_43_Param, Close_Ret), Maptime),
 1430       (   not(holds_at(opened(Close_Ret), Maptime))
 1431       ;   holds_at(mounted(Fn_43_Param, Fn_43_Ret), Maptime)
 1432       ;   not(equals(side1(Close_Ret), Some_Param)),
 1433           not(equals(side2(Close_Ret), Some_Param))
 1434       ;   not(holds_at(pos(Fn_43_Param, Some_Param), Maptime))
 1435       ).
 1436 */
 1437% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:181
 1438axiom(not(some(Some_Param, '$kolem_Fn_43'(Fn_43_Param, Close_Ret, Maptime, Fn_43_Ret))),
 1439   
 1440    [ not(holds_at(opened(Close_Ret), Maptime)),
 1441      happens(close(Fn_43_Param, Close_Ret), Maptime)
 1442    ]).
 1443axiom(not(some(Some_Param, '$kolem_Fn_43'(Fn_43_Param, Close_Ret, Maptime, Fn_43_Ret))),
 1444   
 1445    [ holds_at(mounted(Fn_43_Param, Fn_43_Ret), Maptime),
 1446      happens(close(Fn_43_Param, Close_Ret), Maptime)
 1447    ]).
 1448axiom(not(some(Some_Param, '$kolem_Fn_43'(Fn_43_Param, Close_Ret, Maptime, Fn_43_Ret))),
 1449   
 1450    [ not(equals(side1(Close_Ret), Some_Param)),
 1451      not(equals(side2(Close_Ret), Some_Param)),
 1452      happens(close(Fn_43_Param, Close_Ret), Maptime)
 1453    ]).
 1454axiom(not(some(Some_Param, '$kolem_Fn_43'(Fn_43_Param, Close_Ret, Maptime, Fn_43_Ret))),
 1455   
 1456    [ not(holds_at(pos(Fn_43_Param, Some_Param), Maptime)),
 1457      happens(close(Fn_43_Param, Close_Ret), Maptime)
 1458    ]).
 1459
 1460 /*  not(happens(close(Close_Param, Close_Ret14), Maptime11)) :-
 1461       (   not(holds_at(opened(Close_Ret14), Maptime11))
 1462       ;   holds_at(mounted(Close_Param, Mounted_Ret), Maptime11)
 1463       ;   not(equals(side1(Close_Ret14), Some_Param13)),
 1464           not(equals(side2(Close_Ret14), Some_Param13))
 1465       ;   not(holds_at(pos(Close_Param, Some_Param13),
 1466                        Maptime11))
 1467       ),
 1468       some(Some_Param13,
 1469            '$kolem_Fn_43'(Close_Param,
 1470                           Close_Ret14,
 1471                           Maptime11,
 1472                           Mounted_Ret)).
 1473 */
 1474axiom(not(happens(close(Close_Param, Close_Ret14), Maptime11)),
 1475   
 1476    [ not(holds_at(opened(Close_Ret14), Maptime11)),
 1477      some(Some_Param13,
 1478           '$kolem_Fn_43'(Close_Param,
 1479                          Close_Ret14,
 1480                          Maptime11,
 1481                          Mounted_Ret))
 1482    ]).
 1483axiom(not(happens(close(Close_Param, Close_Ret14), Maptime11)),
 1484   
 1485    [ holds_at(mounted(Close_Param, Mounted_Ret), Maptime11),
 1486      some(Some_Param13,
 1487           '$kolem_Fn_43'(Close_Param,
 1488                          Close_Ret14,
 1489                          Maptime11,
 1490                          Mounted_Ret))
 1491    ]).
 1492axiom(not(happens(close(Close_Param, Close_Ret14), Maptime11)),
 1493   
 1494    [ not(equals(side1(Close_Ret14), Some_Param13)),
 1495      not(equals(side2(Close_Ret14), Some_Param13)),
 1496      some(Some_Param13,
 1497           '$kolem_Fn_43'(Close_Param,
 1498                          Close_Ret14,
 1499                          Maptime11,
 1500                          Mounted_Ret))
 1501    ]).
 1502axiom(not(happens(close(Close_Param, Close_Ret14), Maptime11)),
 1503   
 1504    [ not(holds_at(pos(Close_Param, Some_Param13), Maptime11)),
 1505      some(Some_Param13,
 1506           '$kolem_Fn_43'(Close_Param,
 1507                          Close_Ret14,
 1508                          Maptime11,
 1509                          Mounted_Ret))
 1510    ]).
 1511
 1512 /*  holds_at(opened(Opened_Ret), Time16) :-
 1513       happens(close(Close_Param17, Opened_Ret), Time16),
 1514       some(Some_Param18,
 1515            '$kolem_Fn_43'(Close_Param17,
 1516                           Opened_Ret,
 1517                           Time16,
 1518                           Fn_43_Ret20)).
 1519 */
 1520axiom(holds_at(opened(Opened_Ret), Time16),
 1521   
 1522    [ happens(close(Close_Param17, Opened_Ret), Time16),
 1523      some(Some_Param18,
 1524           '$kolem_Fn_43'(Close_Param17,
 1525                          Opened_Ret,
 1526                          Time16,
 1527                          Fn_43_Ret20))
 1528    ]).
 1529
 1530 /*  not(holds_at(mounted(Mounted_Param, Mounted_Ret24), Time21)) :-
 1531       happens(close(Mounted_Param, Close_Ret25), Time21),
 1532       some(Some_Param23,
 1533            '$kolem_Fn_43'(Mounted_Param,
 1534                           Close_Ret25,
 1535                           Time21,
 1536                           Mounted_Ret24)).
 1537 */
 1538axiom(not(holds_at(mounted(Mounted_Param, Mounted_Ret24), Time21)),
 1539   
 1540    [ happens(close(Mounted_Param, Close_Ret25), Time21),
 1541      some(Some_Param23,
 1542           '$kolem_Fn_43'(Mounted_Param,
 1543                          Close_Ret25,
 1544                          Time21,
 1545                          Mounted_Ret24))
 1546    ]).
 1547
 1548 /*  equals(side1(Side1_Ret), Some_Param28) :-
 1549       not(equals(side2(Side1_Ret), Some_Param28)),
 1550       happens(close(Close_Param27, Side1_Ret), Maptime26),
 1551       some(Some_Param28,
 1552            '$kolem_Fn_43'(Close_Param27,
 1553                           Side1_Ret,
 1554                           Maptime26,
 1555                           Fn_43_Ret30)).
 1556 */
 1557axiom(equals(side1(Side1_Ret), Some_Param28),
 1558   
 1559    [ not(equals(side2(Side1_Ret), Some_Param28)),
 1560      happens(close(Close_Param27, Side1_Ret), Maptime26),
 1561      some(Some_Param28,
 1562           '$kolem_Fn_43'(Close_Param27,
 1563                          Side1_Ret,
 1564                          Maptime26,
 1565                          Fn_43_Ret30))
 1566    ]).
 1567
 1568 /*  equals(side2(Side2_Ret), Some_Param33) :-
 1569       not(equals(side1(Side2_Ret), Some_Param33)),
 1570       happens(close(Close_Param32, Side2_Ret), Maptime31),
 1571       some(Some_Param33,
 1572            '$kolem_Fn_43'(Close_Param32,
 1573                           Side2_Ret,
 1574                           Maptime31,
 1575                           Fn_43_Ret35)).
 1576 */
 1577axiom(equals(side2(Side2_Ret), Some_Param33),
 1578   
 1579    [ not(equals(side1(Side2_Ret), Some_Param33)),
 1580      happens(close(Close_Param32, Side2_Ret), Maptime31),
 1581      some(Some_Param33,
 1582           '$kolem_Fn_43'(Close_Param32,
 1583                          Side2_Ret,
 1584                          Maptime31,
 1585                          Fn_43_Ret35))
 1586    ]).
 1587
 1588 /*  holds_at(pos(Pos_Param, Some_Param38), Time36) :-
 1589       happens(close(Pos_Param, Close_Ret39), Time36),
 1590       some(Some_Param38,
 1591            '$kolem_Fn_43'(Pos_Param,
 1592                           Close_Ret39,
 1593                           Time36,
 1594                           Fn_43_Ret40)).
 1595 */
 1596axiom(holds_at(pos(Pos_Param, Some_Param38), Time36),
 1597   
 1598    [ happens(close(Pos_Param, Close_Ret39), Time36),
 1599      some(Some_Param38,
 1600           '$kolem_Fn_43'(Pos_Param,
 1601                          Close_Ret39,
 1602                          Time36,
 1603                          Fn_43_Ret40))
 1604    ]).
 1605
 1606
 1607% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:183
 1608% [human,animal,position,time]
 1609% HoldsAt(Mounted(human,animal),time) &
 1610% HoldsAt(Pos(animal,position),time) ->
 1611% HoldsAt(Pos(human,position),time).
 1612% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:186
 1613axiom(holds_at(pos(Human, Position), Time),
 1614   
 1615    [ holds_at(mounted(Human, Animal), Time),
 1616      holds_at(pos(Animal, Position), Time)
 1617    ]).
 1618
 1619
 1620% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:188
 1621% [animal,time]
 1622% HoldsAt(Moves(animal),time) <->
 1623% ({position}
 1624%  HoldsAt(Pos(animal,position),time) &
 1625%  !HoldsAt(Pos(animal,position),time+1)).
 1626
 1627 /*  holds_at(moves(Animal), Time) <->
 1628       exists([Position],
 1629               (holds_at(pos(Animal, Position), Time), not(holds_at(pos(Animal, Position), Time+1)))).
 1630 */
 1631% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:192
 1632axiom(holds_at(moves(Animal), t),
 1633   
 1634    [ holds_at(pos(Animal, Position), t),
 1635      not(holds_at(pos(Animal, Position), start)),
 1636      b(t, start),
 1637      ignore(t+1=start)
 1638    ]).
 1639
 1640 /*   if(holds_at(moves(Animal), t),
 1641         exists([Position],
 1642                 (holds_at(pos(Animal, Position), t), not(holds_at(pos(Animal, Position), t+1))))).
 1643 */
 1644
 1645 /*  not(holds_at(moves(Pos_Param), t)) :-
 1646       (   not(holds_at(pos(Pos_Param, Pos_Ret), t))
 1647       ;   holds_at(pos(Pos_Param, Pos_Ret), t+1)
 1648       ).
 1649 */
 1650axiom(not(holds_at(moves(Pos_Param), t)),
 1651    [not(holds_at(pos(Pos_Param, Pos_Ret), t))]).
 1652axiom(not(holds_at(moves(Pos_Param), t)),
 1653   
 1654    [ holds_at(pos(Pos_Param, Pos_Ret), start),
 1655      b(t, start),
 1656      ignore(t+1=start)
 1657    ]).
 1658
 1659 /*  holds_at(pos(Pos_Param5, Pos_Ret6), t) :-
 1660       holds_at(moves(Pos_Param5), t).
 1661 */
 1662axiom(holds_at(pos(Pos_Param5, Pos_Ret6), t),
 1663    [holds_at(moves(Pos_Param5), t)]).
 1664
 1665 /*  not(holds_at(pos(Pos_Param7, Pos_Ret8), t+1)) :-
 1666       holds_at(moves(Pos_Param7), t).
 1667 */
 1668axiom(not(holds_at(pos(Pos_Param7, Pos_Ret8), start)),
 1669    [holds_at(moves(Pos_Param7), t), b(t, start), ignore(t+1=start)]).
 1670
 1671
 1672% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:194
 1673% [human,time]
 1674% HoldsAt(MountFails(human),time) <->
 1675% ({animal}
 1676%   Happens(Mount(human,animal),time) &
 1677%   HoldsAt(Moves(animal),time)).
 1678
 1679 /*  holds_at(mountFails(Human), Time) <->
 1680       exists([Animal],
 1681               (happens(mount(Human, Animal), Time), holds_at(moves(Animal), Time))).
 1682 */
 1683% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:198
 1684axiom(holds_at(mountFails(Human), Time),
 1685   
 1686    [ happens(mount(Human, Animal), Time),
 1687      holds_at(moves(Animal), Time)
 1688    ]).
 1689
 1690 /*   if(holds_at(mountFails(Human), Time),
 1691         exists([Animal],
 1692                 (happens(mount(Human, Animal), Time), holds_at(moves(Animal), Time)))).
 1693 */
 1694
 1695 /*  not(holds_at(mountFails(Mount_Param), Time3)) :-
 1696       (   not(happens(mount(Mount_Param, Mount_Ret), Time3))
 1697       ;   not(holds_at(moves(Mount_Ret), Time3))
 1698       ).
 1699 */
 1700axiom(not(holds_at(mountFails(Mount_Param), Time3)),
 1701    [not(happens(mount(Mount_Param, Mount_Ret), Time3))]).
 1702axiom(not(holds_at(mountFails(Mount_Param), Time3)),
 1703    [not(holds_at(moves(Mount_Ret), Time3))]).
 1704
 1705 /*  happens(mount(Mount_Param7, Mount_Ret8), Maptime) :-
 1706       holds_at(mountFails(Mount_Param7), Maptime).
 1707 */
 1708axiom(happens(mount(Mount_Param7, Mount_Ret8), Maptime),
 1709    [holds_at(mountFails(Mount_Param7), Maptime)]).
 1710
 1711 /*  holds_at(moves(Moves_Ret), Time9) :-
 1712       holds_at(mountFails(MountFails_Ret), Time9).
 1713 */
 1714axiom(holds_at(moves(Moves_Ret), Time9),
 1715    [holds_at(mountFails(MountFails_Ret), Time9)]).
 1716
 1717
 1718% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:200
 1719% [human,animal,position,time]
 1720% !HoldsAt(Moves(animal),time) ->
 1721% Releases(Mount(human,animal),Pos(human,position),time).
 1722% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:202
 1723axiom(releases(mount(Human, Animal), pos(Human, Position), Time),
 1724    [not(holds_at(moves(Animal), Time))]).
 1725
 1726
 1727% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:204
 1728% [human,animal,time]
 1729% !HoldsAt(Moves(animal),time) ->
 1730% Initiates(Mount(human,animal),Mounted(human,animal),time).
 1731% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:206
 1732axiom(initiates(mount(Human, Animal), mounted(Human, Animal), Time),
 1733    [not(holds_at(moves(Animal), Time))]).
 1734
 1735
 1736% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:208
 1737% [human,animal,position,time]
 1738% HoldsAt(Pos(animal,position),time) &
 1739% HoldsAt(Moves(animal),time) ->
 1740% Initiates(Mount(human,animal),Pos(human,position),time).
 1741% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:211
 1742axiom(initiates(mount(Human, Animal), pos(Human, Position), Time),
 1743   
 1744    [ holds_at(pos(Animal, Position), Time),
 1745      holds_at(moves(Animal), Time)
 1746    ]).
 1747
 1748
 1749% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:213
 1750% [human,animal,position,time]
 1751% HoldsAt(Pos(human,position),time) &
 1752% HoldsAt(Moves(animal),time) ->
 1753% Terminates(Mount(human,animal),Pos(human,position),time).
 1754% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:216
 1755axiom(terminates(mount(Human, Animal), pos(Human, Position), Time),
 1756   
 1757    [ holds_at(pos(Human, Position), Time),
 1758      holds_at(moves(Animal), Time)
 1759    ]).
 1760
 1761
 1762% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:218
 1763% [human,animal,time]
 1764% Happens(Mount(human,animal),time) ->
 1765% Large(animal).
 1766% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:220
 1767axiom(requires(mount(Human, Animal), Time),
 1768    [large(Animal)]).
 1769
 1770
 1771% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:222
 1772% [human,animal,time]
 1773% HoldsAt(Mounted(human,animal),time) ->
 1774% Large(animal).
 1775% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:224
 1776axiom(large(Animal),
 1777    [holds_at(mounted(Human, Animal), Time)]).
 1778
 1779
 1780% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:226
 1781% [human1,human2,time]
 1782% Happens(Mount(human1,human2),time) ->
 1783% !Large(human1).
 1784% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:228
 1785axiom(requires(mount(Human1, Human2), Time),
 1786    [not(large(Human1))]).
 1787
 1788
 1789% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:230
 1790% [human1,human2,time]
 1791% HoldsAt(Mounted(human1,human2),time) ->
 1792% !Large(human1).
 1793% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:232
 1794axiom(not(large(Human1)),
 1795    [holds_at(mounted(Human1, Human2), Time)]).
 1796
 1797
 1798% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:234
 1799% [human,animal,time]
 1800% Happens(Mount(human,animal),time) ->
 1801% !{human1} human1!=human & HoldsAt(Mounted(human1,animal),time).
 1802% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:236
 1803axiom(requires(mount(Human, Animal), Time),
 1804    [not({dif(Human1, Human)})]).
 1805axiom(requires(mount(Human, Animal), Time),
 1806    [not(holds_at(mounted(Human1, Animal), Time))]).
 1807
 1808
 1809% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:238
 1810% [human1,human2,animal,time]
 1811% HoldsAt(Mounted(human1,animal),time) &
 1812% HoldsAt(Mounted(human2,animal),time) ->
 1813% human1=human2.
 1814% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:241
 1815axiom(Human1=Human2,
 1816   
 1817    [ holds_at(mounted(Human1, Animal), Time),
 1818      holds_at(mounted(Human2, Animal), Time)
 1819    ]).
 1820
 1821
 1822% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:243
 1823% [human,animal,time]
 1824% Happens(Mount(human,animal),time) ->
 1825% !{human1} human1!=human & HoldsAt(Mounted(human1,human),time).
 1826% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:245
 1827axiom(requires(mount(Human, Animal), Time),
 1828    [not({dif(Human1, Human)})]).
 1829axiom(requires(mount(Human, Animal), Time),
 1830    [not(holds_at(mounted(Human1, Human), Time))]).
 1831
 1832
 1833% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:247
 1834% [human1,human2,time]
 1835% Happens(Mount(human1,human2),time) ->
 1836% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:249
 1837% {animal}%  HoldsAt(Mounted(human2,animal),time).
 1838
 1839 /*  exists([Animal],
 1840          if(happens(mount(Human1,Human2),Time),
 1841   	  holds_at(mounted(Human2,Animal),Time))).
 1842 */
 1843
 1844 /*  holds_at(mounted(Mounted_Param, Some_Param), Time5) :-
 1845       happens(mount(Mount_Param, Mounted_Param), Time5),
 1846       some(Some_Param,
 1847            '$kolem_Fn_51'(Mount_Param, Mounted_Param, Time5)).
 1848 */
 1849axiom(holds_at(mounted(Mounted_Param, Some_Param), Time5),
 1850   
 1851    [ happens(mount(Mount_Param, Mounted_Param), Time5),
 1852      some(Some_Param,
 1853           '$kolem_Fn_51'(Mount_Param, Mounted_Param, Time5))
 1854    ]).
 1855
 1856 /*  not(happens(mount(Mount_Param10, Mounted_Param11), Maptime)) :-
 1857       not(holds_at(mounted(Mounted_Param11, Some_Param12),
 1858                    Maptime)),
 1859       some(Some_Param12,
 1860            '$kolem_Fn_51'(Mount_Param10, Mounted_Param11, Maptime)).
 1861 */
 1862axiom(not(happens(mount(Mount_Param10, Mounted_Param11), Maptime)),
 1863   
 1864    [ not(holds_at(mounted(Mounted_Param11, Some_Param12),
 1865                   Maptime)),
 1866      some(Some_Param12,
 1867           '$kolem_Fn_51'(Mount_Param10,
 1868                          Mounted_Param11,
 1869                          Maptime))
 1870    ]).
 1871
 1872 /*  not(some(Some_Param14, '$kolem_Fn_51'(Fn_51_Param, Mounted_Param16, Time13))) :-
 1873       not(holds_at(mounted(Mounted_Param16, Some_Param14),
 1874                    Time13)),
 1875       happens(mount(Fn_51_Param, Mounted_Param16), Time13).
 1876 */
 1877axiom(not(some(Some_Param14, '$kolem_Fn_51'(Fn_51_Param, Mounted_Param16, Time13))),
 1878   
 1879    [ not(holds_at(mounted(Mounted_Param16, Some_Param14),
 1880                   Time13)),
 1881      happens(mount(Fn_51_Param, Mounted_Param16), Time13)
 1882    ]).
 1883
 1884
 1885% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:251
 1886% [human1,human2,time]
 1887% HoldsAt(Mounted(human1,human2),time) ->
 1888% !{animal} HoldsAt(Mounted(human2,animal),time).
 1889% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:253
 1890axiom(not(exists([Animal], holds_at(mounted(Human2, Animal), Time))),
 1891    [holds_at(mounted(Human1, Human2), Time)]).
 1892
 1893
 1894% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:255
 1895% [human,animal,time]
 1896% Happens(Mount(human,animal),time) ->
 1897% !{animal1} HoldsAt(Mounted(human,animal1),time).
 1898% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:257
 1899axiom(requires(mount(Human, Animal), Time),
 1900    [not(holds_at(mounted(Human, Animal1), Time))]).
 1901
 1902
 1903% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:259
 1904% [human,animal,time]
 1905% !HoldsAt(Moves(animal),time) ->
 1906% Terminates(GetOff(human,animal),Mounted(human,animal),time).
 1907% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:261
 1908axiom(terminates(getOff(Human, Animal), mounted(Human, Animal), Time),
 1909    [not(holds_at(moves(Animal), Time))]).
 1910
 1911
 1912% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:263
 1913% [human,animal,position,time]
 1914% !HoldsAt(Moves(animal),time) &
 1915% HoldsAt(PosDeterminingFluent(human,position),time) ->
 1916% Initiates(GetOff(human,animal),Pos(human,position),time).
 1917% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:266
 1918axiom(initiates(getOff(Human, Animal), pos(Human, Position), Time),
 1919   
 1920    [ not(holds_at(moves(Animal), Time)),
 1921      holds_at(posDeterminingFluent(Human, Position), Time)
 1922    ]).
 1923
 1924
 1925% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:268
 1926% [human,animal,position,time]
 1927% !HoldsAt(Moves(animal),time) &
 1928% HoldsAt(Pos(human,position),time) ->
 1929% Terminates(GetOff(human,animal),Pos(human,position),time).
 1930% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:271
 1931axiom(terminates(getOff(Human, Animal), pos(Human, Position), Time),
 1932   
 1933    [ not(holds_at(moves(Animal), Time)),
 1934      holds_at(pos(Human, Position), Time)
 1935    ]).
 1936
 1937
 1938% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:273
 1939% [human,animal,position1,position2,time]
 1940% !HoldsAt(Moves(animal),time) &
 1941% HoldsAt(Pos(human,position1),time) &
 1942% position1!=position2 ->
 1943% Terminates(GetOff(human,animal),Pos(human,position2),time).
 1944% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:277
 1945axiom(terminates(getOff(Human, Animal), pos(Human, Position2), Time),
 1946   
 1947    [ not(holds_at(moves(Animal), Time)),
 1948      holds_at(pos(Human, Position1), Time),
 1949      { dif(Position1, Position2)
 1950      }
 1951    ]).
 1952
 1953
 1954% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:279
 1955% [human,animal,time]
 1956% Happens(GetOff(human,animal),time) ->
 1957% HoldsAt(Mounted(human,animal),time).
 1958% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:281
 1959axiom(requires(getOff(Human, Animal), Time),
 1960    [holds_at(mounted(Human, Animal), Time)]).
 1961
 1962
 1963% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:283
 1964% [animal1,human,time]
 1965% HoldsAt(ThrowOffFails(animal1,human),time) <->
 1966% ({position,animal2}
 1967%  animal2!=human &
 1968%  HoldsAt(PosDeterminingFluent(human,position),time) &
 1969%  Large(animal2) &
 1970%  HoldsAt(Pos(animal2,position),time+1)).
 1971
 1972 /*  holds_at(throwOffFails(Animal1, Human), Time) <->
 1973       exists([Position, Animal2],
 1974               (Animal2\=Human, holds_at(posDeterminingFluent(Human, Position), Time), large(Animal2), holds_at(pos(Animal2, Position), Time+1))).
 1975 */
 1976% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:289
 1977axiom(holds_at(throwOffFails(Animal1, Human), t),
 1978   
 1979    [ dif(Animal2, Human),
 1980      holds_at(posDeterminingFluent(Human, Position), t),
 1981      large(Animal2),
 1982      holds_at(pos(Animal2, Position), start),
 1983      b(t, start),
 1984      ignore(t+1=start)
 1985    ]).
 1986
 1987 /*   if(holds_at(throwOffFails(Animal1, Human), t),
 1988         exists([Position, Animal2],
 1989                 (Animal2\=Human, holds_at(posDeterminingFluent(Human, Position), t), large(Animal2), holds_at(pos(Animal2, Position), t+1)))).
 1990 */
 1991
 1992 /*  not(holds_at(throwOffFails(ThrowOffFails_Param, PosDeterminingFluent_Param), t)) :-
 1993       (   not({dif(Dif_Param, PosDeterminingFluent_Param)})
 1994       ;   not(holds_at(posDeterminingFluent(PosDeterminingFluent_Param,
 1995                                             PosDeterminingFluent_Ret),
 1996                        t))
 1997       ;   not(large(Dif_Param))
 1998       ;   not(holds_at(pos(Dif_Param, PosDeterminingFluent_Ret), t+1))
 1999       ).
 2000 */
 2001axiom(not(holds_at(throwOffFails(ThrowOffFails_Param, PosDeterminingFluent_Param), t)),
 2002    [not({dif(Dif_Param, PosDeterminingFluent_Param)})]).
 2003axiom(not(holds_at(throwOffFails(ThrowOffFails_Param, PosDeterminingFluent_Param), t)),
 2004   
 2005    [ not(holds_at(posDeterminingFluent(PosDeterminingFluent_Param,
 2006                                        PosDeterminingFluent_Ret),
 2007                   t))
 2008    ]).
 2009axiom(not(holds_at(throwOffFails(ThrowOffFails_Param, PosDeterminingFluent_Param), t)),
 2010    [not(large(Dif_Param))]).
 2011axiom(not(holds_at(throwOffFails(ThrowOffFails_Param, PosDeterminingFluent_Param), t)),
 2012   
 2013    [ not(holds_at(pos(Dif_Param, PosDeterminingFluent_Ret), start)),
 2014      b(t, start),
 2015      ignore(t+1=start)
 2016    ]).
 2017
 2018 /*  { dif(Dif_Param9, Dif_Ret)
 2019   } :-
 2020       holds_at(throwOffFails(ThrowOffFails_Param10, Dif_Ret), t).
 2021 */
 2022axiom({ dif(Dif_Param9, Dif_Ret)
 2023},
 2024    [holds_at(throwOffFails(ThrowOffFails_Param10, Dif_Ret), t)]).
 2025
 2026 /*  holds_at(posDeterminingFluent(PosDeterminingFluent_Param12, PosDeterminingFluent_Ret14), t) :-
 2027       holds_at(throwOffFails(ThrowOffFails_Param13,
 2028                              PosDeterminingFluent_Param12),
 2029                t).
 2030 */
 2031axiom(holds_at(posDeterminingFluent(PosDeterminingFluent_Param12, PosDeterminingFluent_Ret14), t),
 2032   
 2033    [ holds_at(throwOffFails(ThrowOffFails_Param13,
 2034                             PosDeterminingFluent_Param12),
 2035               t)
 2036    ]).
 2037
 2038 /*  large(Large_Ret) :-
 2039       holds_at(throwOffFails(ThrowOffFails_Param15,
 2040                              ThrowOffFails_Ret),
 2041                t).
 2042 */
 2043axiom(large(Large_Ret),
 2044   
 2045    [ holds_at(throwOffFails(ThrowOffFails_Param15,
 2046                             ThrowOffFails_Ret),
 2047               t)
 2048    ]).
 2049
 2050 /*  holds_at(pos(Pos_Param, Pos_Ret), t+1) :-
 2051       holds_at(throwOffFails(ThrowOffFails_Param19,
 2052                              ThrowOffFails_Ret21),
 2053                t).
 2054 */
 2055axiom(holds_at(pos(Pos_Param, Pos_Ret), start),
 2056   
 2057    [ holds_at(throwOffFails(ThrowOffFails_Param19,
 2058                             ThrowOffFails_Ret21),
 2059               t),
 2060      b(t, start),
 2061      ignore(t+1=start)
 2062    ]).
 2063
 2064
 2065% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:291
 2066% [animal,human,position,time]
 2067% HoldsAt(PosDeterminingFluent(human,position),time) &
 2068% !HoldsAt(ThrowOffFails(animal,human),time) ->
 2069% Initiates(ThrowOff(animal,human),Pos(human,position),time).
 2070% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:294
 2071axiom(initiates(throwOff(Animal, Human), pos(Human, Position), Time),
 2072   
 2073    [ holds_at(posDeterminingFluent(Human, Position), Time),
 2074      not(holds_at(throwOffFails(Animal, Human), Time))
 2075    ]).
 2076
 2077
 2078% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:296
 2079% [animal,human,position,time]
 2080% HoldsAt(Pos(human,position),time) &
 2081% !HoldsAt(ThrowOffFails(animal,human),time) ->
 2082% Terminates(ThrowOff(animal,human),Pos(human,position),time).
 2083% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:299
 2084axiom(terminates(throwOff(Animal, Human), pos(Human, Position), Time),
 2085   
 2086    [ holds_at(pos(Human, Position), Time),
 2087      not(holds_at(throwOffFails(Animal, Human), Time))
 2088    ]).
 2089
 2090
 2091% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:301
 2092% [animal,human,position1,position2,time]
 2093% !HoldsAt(ThrowOffFails(animal,human),time) &
 2094% HoldsAt(Pos(human,position1),time) &
 2095% !HoldsAt(PosDeterminingFluent(human,position2),time) &
 2096% position1!=position2 ->
 2097% Terminates(ThrowOff(animal,human),Pos(human,position2),time).
 2098% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:306
 2099axiom(terminates(throwOff(Animal, Human), pos(Human, Position2), Time),
 2100   
 2101    [ not(holds_at(throwOffFails(Animal, Human), Time)),
 2102      holds_at(pos(Human, Position1), Time),
 2103      not(holds_at(posDeterminingFluent(Human, Position2),
 2104                   Time)),
 2105      { dif(Position1, Position2)
 2106      }
 2107    ]).
 2108
 2109
 2110% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:308
 2111% [human,time]
 2112% (!{animal} Happens(ThrowOff(animal,human),time) |
 2113%            Happens(GetOff(human,animal),time)) ->
 2114% HoldsAt(PosDeterminingFluent(human,1),time).
 2115% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:311
 2116axiom(holds_at(posDeterminingFluent(Human, 1), Time),
 2117   
 2118    [ not(happens(throwOff(Animal, Human), Time)),
 2119      not(happens(getOff(Human, Animal), Time))
 2120    ]).
 2121
 2122
 2123% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:313
 2124% [human,position,animal1,animal2,time]
 2125% HoldsAt(PosDeterminingFluent(human,position),time) &
 2126% HoldsAt(ThrowOffFails(animal1,human),time) &
 2127% HoldsAt(Pos(animal2,position),time) ->
 2128% Initiates(ThrowOff(animal1,human),Mounted(human,animal2),time).
 2129% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:317
 2130axiom(initiates(throwOff(Animal1, Human), mounted(Human, Animal2), Time),
 2131   
 2132    [ holds_at(posDeterminingFluent(Human, Position), Time),
 2133      holds_at(throwOffFails(Animal1, Human), Time),
 2134      holds_at(pos(Animal2, Position), Time)
 2135    ]).
 2136
 2137
 2138% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:319
 2139% [human,animal,time]
 2140% !HoldsAt(ThrowOffFails(animal,human),time) ->
 2141% Terminates(ThrowOff(animal,human),Mounted(human,animal),time).
 2142% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:321
 2143axiom(terminates(throwOff(Animal, Human), mounted(Human, Animal), Time),
 2144    [not(holds_at(throwOffFails(Animal, Human), Time))]).
 2145
 2146
 2147% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:323
 2148% [animal,human,time]
 2149% Happens(ThrowOff(animal,human),time) ->
 2150% HoldsAt(Mounted(human,animal),time).
 2151% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:325
 2152axiom(requires(throwOff(Animal, Human), Time),
 2153    [holds_at(mounted(Human, Animal), Time)]).
 2154
 2155
 2156% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:327
 2157% [animal,human,time]
 2158% Happens(ThrowOff(animal,human),time) ->
 2159% !Happens(GetOff(human,animal),time).
 2160% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:329
 2161axiom(not(happens(getOff(Human, Animal), Time)),
 2162    [happens(throwOff(Animal, Human), Time)]).
 2163
 2164
 2165% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:331
 2166% [animal,human,time]
 2167% Happens(GetOff(human,animal),time) ->
 2168% !Happens(ThrowOff(animal,human),time).
 2169% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:333
 2170axiom(not(happens(throwOff(Animal, Human), Time)),
 2171    [happens(getOff(Human, Animal), Time)]).
 2172
 2173
 2174% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:335
 2175% [position1,position2,time]
 2176% Accessible(position1,position2,time) <->
 2177% (Neighbor(position1,position2) &
 2178%  !{gate} Sides(position1,position2,gate) &
 2179%          !HoldsAt(Opened(gate),time)).
 2180
 2181 /*  accessible(Position1, Position2, Time) <->
 2182       thereExists((neighbor(Position1, Position2), not([gate])),
 2183                    (sides(Position1, Position2, gate), not(holds_at(opened(gate), Time)))).
 2184 */
 2185% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:339
 2186axiom(accessible(Position1, Position2, Time),
 2187   
 2188    [ thereExists((neighbor(Position1, Position2), not([gate])),
 2189                   (sides(Position1, Position2, gate), not(holds_at(opened(gate), Time))))
 2190    ]).
 2191axiom(thereExists((neighbor(Position1, Position2), not([gate])),  (sides(Position1, Position2, gate), not(holds_at(opened(gate), Time)))),
 2192    [accessible(Position1, Position2, Time)]).
 2193
 2194
 2195% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:341
 2196% [animal,position1,position2,time]
 2197% (position1!=position2 &
 2198%  HoldsAt(Pos(animal,position1),time) &
 2199%  HoldsAt(Pos(animal,position2),time+1)) ->
 2200% Accessible(position1,position2,time).
 2201% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:345
 2202axiom(accessible(Position1, Position2, t),
 2203   
 2204    [ { dif(Position1, Position2)
 2205      },
 2206      holds_at(pos(Animal, Position1), t),
 2207      holds_at(pos(Animal, Position2), start),
 2208      b(t, start),
 2209      ignore(t+1=start)
 2210    ]).
 2211
 2212
 2213% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:347
 2214% [human,time]
 2215% HoldsAt(AbnormalEncroachment(human),time) <->
 2216% (HoldsAt(MountFails(human),time) |
 2217%  ({position,animal1,animal2}
 2218%    HoldsAt(PosDeterminingFluent(human,position),time) &
 2219%    !HoldsAt(ThrowOffFails(animal2,human),time) &
 2220%    Happens(ThrowOff(animal2,human),time) &
 2221%    animal1!=human &
 2222%    Large(animal1) &
 2223%    HoldsAt(Pos(animal1,position),time) &
 2224%    !HoldsAt(Pos(animal1,position),time+1))).
 2225
 2226 /*  holds_at(abnormalEncroachment(Human), Time) <->
 2227       (   holds_at(mountFails(Human), Time)
 2228       ;   exists([Position, Animal1, Animal2],
 2229                   (holds_at(posDeterminingFluent(Human, Position), Time), not(holds_at(throwOffFails(Animal2, Human), Time)), happens(throwOff(Animal2, Human), Time), Animal1\=Human, large(Animal1), holds_at(pos(Animal1, Position), Time), not(holds_at(pos(Animal1, Position), Time+1))))
 2230       ).
 2231 */
 2232% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:357
 2233axiom(holds_at(abnormalEncroachment(Human), Time),
 2234    [holds_at(mountFails(Human), Time)]).
 2235axiom(holds_at(abnormalEncroachment(Human), t),
 2236   
 2237    [ holds_at(posDeterminingFluent(Human, Position), t),
 2238      not(holds_at(throwOffFails(Animal2, Human), t)),
 2239      happens(throwOff(Animal2, Human), t),
 2240      dif(Animal1, Human),
 2241      large(Animal1),
 2242      holds_at(pos(Animal1, Position), t),
 2243      not(holds_at(pos(Animal1, Position), start)),
 2244      b(t, start),
 2245      ignore(t+1=start)
 2246    ]).
 2247
 2248 /*   if(holds_at(abnormalEncroachment(Human), t),
 2249          (holds_at(mountFails(Human), t);exists([Position, Animal1, Animal2],  (holds_at(posDeterminingFluent(Human, Position), t), not(holds_at(throwOffFails(Animal2, Human), t)), happens(throwOff(Animal2, Human), t), Animal1\=Human, large(Animal1), holds_at(pos(Animal1, Position), t), not(holds_at(pos(Animal1, Position), t+1)))))).
 2250 */
 2251
 2252 /*  not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)) :-
 2253       not(holds_at(mountFails(PosDeterminingFluent_Param), t)),
 2254       (   not(holds_at(posDeterminingFluent(PosDeterminingFluent_Param,
 2255                                             PosDeterminingFluent_Ret),
 2256                        t))
 2257       ;   holds_at(throwOffFails(ThrowOffFails_Param,
 2258                                  PosDeterminingFluent_Param),
 2259                    t)
 2260       ;   not(happens(throwOff(ThrowOffFails_Param,
 2261                                PosDeterminingFluent_Param),
 2262                       t))
 2263       ;   not({dif(Dif_Param, PosDeterminingFluent_Param)})
 2264       ;   not(large(Dif_Param))
 2265       ;   not(holds_at(pos(Dif_Param, PosDeterminingFluent_Ret), t))
 2266       ;   holds_at(pos(Dif_Param, PosDeterminingFluent_Ret), t+1)
 2267       ).
 2268 */
 2269axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
 2270   
 2271    [ not(holds_at(posDeterminingFluent(PosDeterminingFluent_Param,
 2272                                        PosDeterminingFluent_Ret),
 2273                   t)),
 2274      not(holds_at(mountFails(PosDeterminingFluent_Param), t))
 2275    ]).
 2276axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
 2277   
 2278    [ holds_at(throwOffFails(ThrowOffFails_Param,
 2279                             PosDeterminingFluent_Param),
 2280               t),
 2281      not(holds_at(mountFails(PosDeterminingFluent_Param), t))
 2282    ]).
 2283axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
 2284   
 2285    [ not(happens(throwOff(ThrowOffFails_Param,
 2286                           PosDeterminingFluent_Param),
 2287                  t)),
 2288      not(holds_at(mountFails(PosDeterminingFluent_Param), t))
 2289    ]).
 2290axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
 2291   
 2292    [ not({dif(Dif_Param, PosDeterminingFluent_Param)}),
 2293      not(holds_at(mountFails(PosDeterminingFluent_Param), t))
 2294    ]).
 2295axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
 2296   
 2297    [ not(large(Dif_Param)),
 2298      not(holds_at(mountFails(PosDeterminingFluent_Param), t))
 2299    ]).
 2300axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
 2301   
 2302    [ not(holds_at(pos(Dif_Param, PosDeterminingFluent_Ret), t)),
 2303      not(holds_at(mountFails(PosDeterminingFluent_Param), t))
 2304    ]).
 2305axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
 2306   
 2307    [ holds_at(pos(Dif_Param, PosDeterminingFluent_Ret), start),
 2308      not(holds_at(mountFails(PosDeterminingFluent_Param), t)),
 2309      b(t, start),
 2310      ignore(t+1=start)
 2311    ]).
 2312
 2313 /*  holds_at(mountFails(PosDeterminingFluent_Param9), t) :-
 2314       (   not(holds_at(posDeterminingFluent(PosDeterminingFluent_Param9,
 2315                                             PosDeterminingFluent_Ret12),
 2316                        t))
 2317       ;   holds_at(throwOffFails(ThrowOffFails_Param10,
 2318                                  PosDeterminingFluent_Param9),
 2319                    t)
 2320       ;   not(happens(throwOff(ThrowOffFails_Param10,
 2321                                PosDeterminingFluent_Param9),
 2322                       t))
 2323       ;   not({dif(Dif_Param11, PosDeterminingFluent_Param9)})
 2324       ;   not(large(Dif_Param11))
 2325       ;   not(holds_at(pos(Dif_Param11, PosDeterminingFluent_Ret12),
 2326                        t))
 2327       ;   holds_at(pos(Dif_Param11, PosDeterminingFluent_Ret12), t+1)
 2328       ),
 2329       holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t).
 2330 */
 2331axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
 2332   
 2333    [ not(holds_at(posDeterminingFluent(PosDeterminingFluent_Param9,
 2334                                        PosDeterminingFluent_Ret12),
 2335                   t)),
 2336      holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
 2337    ]).
 2338axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
 2339   
 2340    [ holds_at(throwOffFails(ThrowOffFails_Param10,
 2341                             PosDeterminingFluent_Param9),
 2342               t),
 2343      holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
 2344    ]).
 2345axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
 2346   
 2347    [ not(happens(throwOff(ThrowOffFails_Param10,
 2348                           PosDeterminingFluent_Param9),
 2349                  t)),
 2350      holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
 2351    ]).
 2352axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
 2353   
 2354    [ not({dif(Dif_Param11, PosDeterminingFluent_Param9)}),
 2355      holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
 2356    ]).
 2357axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
 2358   
 2359    [ not(large(Dif_Param11)),
 2360      holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
 2361    ]).
 2362axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
 2363   
 2364    [ not(holds_at(pos(Dif_Param11, PosDeterminingFluent_Ret12), t)),
 2365      holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
 2366    ]).
 2367axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
 2368   
 2369    [ holds_at(pos(Dif_Param11, PosDeterminingFluent_Ret12), start),
 2370      holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t),
 2371      b(t, start),
 2372      ignore(t+1=start)
 2373    ]).
 2374
 2375 /*  holds_at(posDeterminingFluent(PosDeterminingFluent_Param13, PosDeterminingFluent_Ret14), t) :-
 2376       not(holds_at(mountFails(PosDeterminingFluent_Param13), t)),
 2377       holds_at(abnormalEncroachment(PosDeterminingFluent_Param13), t).
 2378 */
 2379axiom(holds_at(posDeterminingFluent(PosDeterminingFluent_Param13, PosDeterminingFluent_Ret14), t),
 2380   
 2381    [ not(holds_at(mountFails(PosDeterminingFluent_Param13), t)),
 2382      holds_at(abnormalEncroachment(PosDeterminingFluent_Param13), t)
 2383    ]).
 2384
 2385 /*  not(holds_at(throwOffFails(ThrowOffFails_Param15, ThrowOffFails_Ret), t)) :-
 2386       not(holds_at(mountFails(ThrowOffFails_Ret), t)),
 2387       holds_at(abnormalEncroachment(ThrowOffFails_Ret), t).
 2388 */
 2389axiom(not(holds_at(throwOffFails(ThrowOffFails_Param15, ThrowOffFails_Ret), t)),
 2390   
 2391    [ not(holds_at(mountFails(ThrowOffFails_Ret), t)),
 2392      holds_at(abnormalEncroachment(ThrowOffFails_Ret), t)
 2393    ]).
 2394
 2395 /*  happens(throwOff(ThrowOff_Param, ThrowOff_Ret), t) :-
 2396       not(holds_at(mountFails(ThrowOff_Ret), t)),
 2397       holds_at(abnormalEncroachment(ThrowOff_Ret), t).
 2398 */
 2399axiom(happens(throwOff(ThrowOff_Param, ThrowOff_Ret), t),
 2400   
 2401    [ not(holds_at(mountFails(ThrowOff_Ret), t)),
 2402      holds_at(abnormalEncroachment(ThrowOff_Ret), t)
 2403    ]).
 2404
 2405 /*  { dif(Dif_Param19, Dif_Ret)
 2406   } :-
 2407       not(holds_at(mountFails(Dif_Ret), t)),
 2408       holds_at(abnormalEncroachment(Dif_Ret), t).
 2409 */
 2410axiom({ dif(Dif_Param19, Dif_Ret)
 2411},
 2412   
 2413    [ not(holds_at(mountFails(Dif_Ret), t)),
 2414      holds_at(abnormalEncroachment(Dif_Ret), t)
 2415    ]).
 2416
 2417 /*  large(Large_Ret) :-
 2418       not(holds_at(mountFails(MountFails_Ret), t)),
 2419       holds_at(abnormalEncroachment(MountFails_Ret), t).
 2420 */
 2421axiom(large(Large_Ret),
 2422   
 2423    [ not(holds_at(mountFails(MountFails_Ret), t)),
 2424      holds_at(abnormalEncroachment(MountFails_Ret), t)
 2425    ]).
 2426
 2427 /*  holds_at(pos(Pos_Param, Pos_Ret), t) :-
 2428       not(holds_at(mountFails(MountFails_Ret25), t)),
 2429       holds_at(abnormalEncroachment(MountFails_Ret25), t).
 2430 */
 2431axiom(holds_at(pos(Pos_Param, Pos_Ret), t),
 2432   
 2433    [ not(holds_at(mountFails(MountFails_Ret25), t)),
 2434      holds_at(abnormalEncroachment(MountFails_Ret25), t)
 2435    ]).
 2436
 2437 /*  not(holds_at(pos(Pos_Param26, Pos_Ret27), t+1)) :-
 2438       not(holds_at(mountFails(MountFails_Ret28), t)),
 2439       holds_at(abnormalEncroachment(MountFails_Ret28), t).
 2440 */
 2441axiom(not(holds_at(pos(Pos_Param26, Pos_Ret27), start)),
 2442   
 2443    [ not(holds_at(mountFails(MountFails_Ret28), t)),
 2444      holds_at(abnormalEncroachment(MountFails_Ret28), t),
 2445      b(t, start),
 2446      ignore(t+1=start)
 2447    ]).
 2448
 2449
 2450% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:359
 2451% [animal1,animal2,position,time]
 2452% HoldsAt(Pos(animal1,position),time) &
 2453% !HoldsAt(Pos(animal1,position),time+1) &
 2454% !HoldsAt(Pos(animal2,position),time) &
 2455% HoldsAt(Pos(animal2,position),time+1) ->
 2456% (!Large(animal1) |
 2457%  !Large(animal2) |
 2458%  ({human} human=animal2 & HoldsAt(AbnormalEncroachment(human),time))).
 2459
 2460 /*   if((holds_at(pos(Animal1, Position), Time), not(holds_at(pos(Animal1, Position), Time+1)), not(holds_at(pos(Animal2, Position), Time)), holds_at(pos(Animal2, Position), Time+1)),
 2461          (not(large(Animal1));not(large(Animal2));exists([Human],  (Human=Animal2, holds_at(abnormalEncroachment(Human), Time))))).
 2462 */
 2463
 2464 /*  not(holds_at(pos(Pos_Param, Pos_Ret), Time5)) :-
 2465       ( not(holds_at(pos(Pos_Param, Pos_Ret), Time5+1)),
 2466         not(holds_at(pos(Pos_Param7, Pos_Ret), Time5)),
 2467         holds_at(pos(Pos_Param7, Pos_Ret), Time5+1)
 2468       ),
 2469       large(Pos_Param),
 2470       large(Pos_Param7),
 2471       (   not(equals(Equals_Param, Pos_Param7))
 2472       ;   not(holds_at(abnormalEncroachment(Equals_Param), Time5))
 2473       ).
 2474 */
 2475% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:366
 2476axiom(not(holds_at(pos(Pos_Param, Pos_Ret), t)),
 2477   
 2478    [ not(equals(Equals_Param, Pos_Param7)),
 2479      not(holds_at(pos(Pos_Param, Pos_Ret), start)),
 2480      not(holds_at(pos(Pos_Param7, Pos_Ret), t)),
 2481      holds_at(pos(Pos_Param7, Pos_Ret), start),
 2482      large(Pos_Param),
 2483      large(Pos_Param7),
 2484      b(t, start),
 2485      ignore(t+1=start)
 2486    ]).
 2487axiom(not(holds_at(pos(Pos_Param, Pos_Ret), t)),
 2488   
 2489    [ not(holds_at(abnormalEncroachment(Equals_Param), t)),
 2490      not(holds_at(pos(Pos_Param, Pos_Ret), start)),
 2491      not(holds_at(pos(Pos_Param7, Pos_Ret), t)),
 2492      holds_at(pos(Pos_Param7, Pos_Ret), start),
 2493      large(Pos_Param),
 2494      large(Pos_Param7),
 2495      b(t, start),
 2496      ignore(t+1=start)
 2497    ]).
 2498
 2499 /*  holds_at(pos(Pos_Param11, Pos_Ret14), Time10+1) :-
 2500       ( not(holds_at(pos(Pos_Param12, Pos_Ret14), Time10)),
 2501         holds_at(pos(Pos_Param12, Pos_Ret14), Time10+1)
 2502       ),
 2503       holds_at(pos(Pos_Param11, Pos_Ret14), Time10),
 2504       large(Pos_Param11),
 2505       large(Pos_Param12),
 2506       (   not(equals(Equals_Param13, Pos_Param12))
 2507       ;   not(holds_at(abnormalEncroachment(Equals_Param13), Time10))
 2508       ).
 2509 */
 2510axiom(holds_at(pos(Pos_Param11, Pos_Ret14), start),
 2511   
 2512    [ not(equals(Equals_Param13, Pos_Param12)),
 2513      not(holds_at(pos(Pos_Param12, Pos_Ret14), t)),
 2514      holds_at(pos(Pos_Param12, Pos_Ret14), start),
 2515      holds_at(pos(Pos_Param11, Pos_Ret14), t),
 2516      large(Pos_Param11),
 2517      large(Pos_Param12),
 2518      b(t, start),
 2519      ignore(t+1=start)
 2520    ]).
 2521axiom(holds_at(pos(Pos_Param11, Pos_Ret14), start),
 2522   
 2523    [ not(holds_at(abnormalEncroachment(Equals_Param13), t)),
 2524      not(holds_at(pos(Pos_Param12, Pos_Ret14), t)),
 2525      holds_at(pos(Pos_Param12, Pos_Ret14), start),
 2526      holds_at(pos(Pos_Param11, Pos_Ret14), t),
 2527      large(Pos_Param11),
 2528      large(Pos_Param12),
 2529      b(t, start),
 2530      ignore(t+1=start)
 2531    ]).
 2532
 2533 /*  holds_at(pos(Pos_Param16, Pos_Ret19), Time15) :-
 2534       holds_at(pos(Pos_Param16, Pos_Ret19), Time15+1),
 2535       not(holds_at(pos(Pos_Param17, Pos_Ret19), Time15+1)),
 2536       holds_at(pos(Pos_Param17, Pos_Ret19), Time15),
 2537       large(Pos_Param17),
 2538       large(Pos_Param16),
 2539       (   not(equals(Equals_Param18, Pos_Param16))
 2540       ;   not(holds_at(abnormalEncroachment(Equals_Param18), Time15))
 2541       ).
 2542 */
 2543axiom(holds_at(pos(Pos_Param16, Pos_Ret19), t),
 2544   
 2545    [ not(equals(Equals_Param18, Pos_Param16)),
 2546      holds_at(pos(Pos_Param16, Pos_Ret19), start),
 2547      not(holds_at(pos(Pos_Param17, Pos_Ret19), start)),
 2548      holds_at(pos(Pos_Param17, Pos_Ret19), t),
 2549      large(Pos_Param17),
 2550      large(Pos_Param16),
 2551      b(t, start),
 2552      ignore(t+1=start)
 2553    ]).
 2554axiom(holds_at(pos(Pos_Param16, Pos_Ret19), t),
 2555   
 2556    [ not(holds_at(abnormalEncroachment(Equals_Param18), t)),
 2557      holds_at(pos(Pos_Param16, Pos_Ret19), start),
 2558      not(holds_at(pos(Pos_Param17, Pos_Ret19), start)),
 2559      holds_at(pos(Pos_Param17, Pos_Ret19), t),
 2560      large(Pos_Param17),
 2561      large(Pos_Param16),
 2562      b(t, start),
 2563      ignore(t+1=start)
 2564    ]).
 2565
 2566 /*  not(holds_at(pos(Pos_Param21, Pos_Ret24), Time20+1)) :-
 2567       not(holds_at(pos(Pos_Param21, Pos_Ret24), Time20)),
 2568       not(holds_at(pos(Pos_Param22, Pos_Ret24), Time20+1)),
 2569       holds_at(pos(Pos_Param22, Pos_Ret24), Time20),
 2570       large(Pos_Param22),
 2571       large(Pos_Param21),
 2572       (   not(equals(Equals_Param23, Pos_Param21))
 2573       ;   not(holds_at(abnormalEncroachment(Equals_Param23), Time20))
 2574       ).
 2575 */
 2576axiom(not(holds_at(pos(Pos_Param21, Pos_Ret24), start)),
 2577   
 2578    [ not(equals(Equals_Param23, Pos_Param21)),
 2579      not(holds_at(pos(Pos_Param21, Pos_Ret24), t)),
 2580      not(holds_at(pos(Pos_Param22, Pos_Ret24), start)),
 2581      holds_at(pos(Pos_Param22, Pos_Ret24), t),
 2582      large(Pos_Param22),
 2583      large(Pos_Param21),
 2584      b(t, start),
 2585      ignore(t+1=start)
 2586    ]).
 2587axiom(not(holds_at(pos(Pos_Param21, Pos_Ret24), start)),
 2588   
 2589    [ not(holds_at(abnormalEncroachment(Equals_Param23), t)),
 2590      not(holds_at(pos(Pos_Param21, Pos_Ret24), t)),
 2591      not(holds_at(pos(Pos_Param22, Pos_Ret24), start)),
 2592      holds_at(pos(Pos_Param22, Pos_Ret24), t),
 2593      large(Pos_Param22),
 2594      large(Pos_Param21),
 2595      b(t, start),
 2596      ignore(t+1=start)
 2597    ]).
 2598
 2599 /*  not(large(Pos_Param27)) :-
 2600       ( large(Pos_Param28),
 2601         (   not(equals(Equals_Param26, Pos_Param28))
 2602         ;   not(holds_at(abnormalEncroachment(Equals_Param26),
 2603                          Time25))
 2604         )
 2605       ),
 2606       holds_at(pos(Pos_Param27, Pos_Ret29), Time25),
 2607       not(holds_at(pos(Pos_Param27, Pos_Ret29), Time25+1)),
 2608       not(holds_at(pos(Pos_Param28, Pos_Ret29), Time25)),
 2609       holds_at(pos(Pos_Param28, Pos_Ret29), Time25+1).
 2610 */
 2611axiom(not(large(Pos_Param27)),
 2612   
 2613    [ not(equals(Equals_Param26, Pos_Param28)),
 2614      large(Pos_Param28),
 2615      holds_at(pos(Pos_Param27, Pos_Ret29), t),
 2616      not(holds_at(pos(Pos_Param27, Pos_Ret29), start)),
 2617      not(holds_at(pos(Pos_Param28, Pos_Ret29), t)),
 2618      holds_at(pos(Pos_Param28, Pos_Ret29), start),
 2619      b(t, start),
 2620      ignore(t+1=start)
 2621    ]).
 2622axiom(not(large(Pos_Param27)),
 2623   
 2624    [ not(holds_at(abnormalEncroachment(Equals_Param26), t)),
 2625      large(Pos_Param28),
 2626      holds_at(pos(Pos_Param27, Pos_Ret29), t),
 2627      not(holds_at(pos(Pos_Param27, Pos_Ret29), start)),
 2628      not(holds_at(pos(Pos_Param28, Pos_Ret29), t)),
 2629      holds_at(pos(Pos_Param28, Pos_Ret29), start),
 2630      b(t, start),
 2631      ignore(t+1=start)
 2632    ]).
 2633
 2634 /*  not(large(Pos_Param33)) :-
 2635       (   not(equals(Equals_Param31, Pos_Param33))
 2636       ;   not(holds_at(abnormalEncroachment(Equals_Param31), Time30))
 2637       ),
 2638       large(Pos_Param32),
 2639       holds_at(pos(Pos_Param32, Pos_Ret34), Time30),
 2640       not(holds_at(pos(Pos_Param32, Pos_Ret34), Time30+1)),
 2641       not(holds_at(pos(Pos_Param33, Pos_Ret34), Time30)),
 2642       holds_at(pos(Pos_Param33, Pos_Ret34), Time30+1).
 2643 */
 2644axiom(not(large(Pos_Param33)),
 2645   
 2646    [ not(equals(Equals_Param31, Pos_Param33)),
 2647      large(Pos_Param32),
 2648      holds_at(pos(Pos_Param32, Pos_Ret34), t),
 2649      not(holds_at(pos(Pos_Param32, Pos_Ret34), start)),
 2650      not(holds_at(pos(Pos_Param33, Pos_Ret34), t)),
 2651      holds_at(pos(Pos_Param33, Pos_Ret34), start),
 2652      b(t, start),
 2653      ignore(t+1=start)
 2654    ]).
 2655axiom(not(large(Pos_Param33)),
 2656   
 2657    [ not(holds_at(abnormalEncroachment(Equals_Param31), t)),
 2658      large(Pos_Param32),
 2659      holds_at(pos(Pos_Param32, Pos_Ret34), t),
 2660      not(holds_at(pos(Pos_Param32, Pos_Ret34), start)),
 2661      not(holds_at(pos(Pos_Param33, Pos_Ret34), t)),
 2662      holds_at(pos(Pos_Param33, Pos_Ret34), start),
 2663      b(t, start),
 2664      ignore(t+1=start)
 2665    ]).
 2666
 2667 /*  equals(Equals_Param36, Pos_Param38) :-
 2668       large(Pos_Param38),
 2669       large(Pos_Param37),
 2670       holds_at(pos(Pos_Param37, Pos_Ret39), Time35),
 2671       not(holds_at(pos(Pos_Param37, Pos_Ret39), Time35+1)),
 2672       not(holds_at(pos(Pos_Param38, Pos_Ret39), Time35)),
 2673       holds_at(pos(Pos_Param38, Pos_Ret39), Time35+1).
 2674 */
 2675axiom(equals(Equals_Param36, Pos_Param38),
 2676   
 2677    [ large(Pos_Param38),
 2678      large(Pos_Param37),
 2679      holds_at(pos(Pos_Param37, Pos_Ret39), t),
 2680      not(holds_at(pos(Pos_Param37, Pos_Ret39), start)),
 2681      not(holds_at(pos(Pos_Param38, Pos_Ret39), t)),
 2682      holds_at(pos(Pos_Param38, Pos_Ret39), start),
 2683      b(t, start),
 2684      ignore(t+1=start)
 2685    ]).
 2686
 2687 /*  holds_at(abnormalEncroachment(AbnormalEncroachment_Ret), Time40) :-
 2688       large(Pos_Param42),
 2689       large(Pos_Param41),
 2690       holds_at(pos(Pos_Param41, Pos_Ret44), Time40),
 2691       not(holds_at(pos(Pos_Param41, Pos_Ret44), Time40+1)),
 2692       not(holds_at(pos(Pos_Param42, Pos_Ret44), Time40)),
 2693       holds_at(pos(Pos_Param42, Pos_Ret44), Time40+1).
 2694 */
 2695axiom(holds_at(abnormalEncroachment(AbnormalEncroachment_Ret), t),
 2696   
 2697    [ large(Pos_Param42),
 2698      large(Pos_Param41),
 2699      holds_at(pos(Pos_Param41, Pos_Ret44), t),
 2700      not(holds_at(pos(Pos_Param41, Pos_Ret44), start)),
 2701      not(holds_at(pos(Pos_Param42, Pos_Ret44), t)),
 2702      holds_at(pos(Pos_Param42, Pos_Ret44), start),
 2703      b(t, start),
 2704      ignore(t+1=start)
 2705    ]).
 2706
 2707
 2708% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:368
 2709% [animal1,animal2,position1,position2,time]
 2710% animal1!=% animal2 &
 2711% Large(animal1) & Large(animal2) &
 2712% HoldsAt(Pos(animal1,position1),time) &
 2713% HoldsAt(Pos(animal1,position2),time+1) &
 2714% HoldsAt(Pos(animal2,position1),time) &
 2715% HoldsAt(Pos(animal2,position2),time+1) ->
 2716% !{gate} Sides(position1,position2,gate).
 2717% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:375
 2718axiom(not(exists([Gate], sides(Position1, Position2, Gate))),
 2719   
 2720    [ { dif(Animal1, Animal2)
 2721      },
 2722      large(Animal1),
 2723      large(Animal2),
 2724      holds_at(pos(Animal1, Position1), t),
 2725      holds_at(pos(Animal1, Position2), start),
 2726      holds_at(pos(Animal2, Position1), t),
 2727      holds_at(pos(Animal2, Position2), start),
 2728      b(t, start),
 2729      ignore(t+1=start)
 2730    ]).
 2731
 2732
 2733% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:377
 2734% [animal1,animal2,position1,position2,time]
 2735% animal1!=% animal2 &
 2736% Large(animal1) & Large(animal2) &
 2737% HoldsAt(Pos(animal1,position1),time) &
 2738% HoldsAt(Pos(animal1,position2),time+1) &
 2739% HoldsAt(Pos(animal2,position2),time) &
 2740% HoldsAt(Pos(animal2,position1),time+1) ->
 2741% !{gate} Sides(position1,position2,gate).
 2742% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:384
 2743axiom(not(exists([Gate], sides(Position1, Position2, Gate))),
 2744   
 2745    [ { dif(Animal1, Animal2)
 2746      },
 2747      large(Animal1),
 2748      large(Animal2),
 2749      holds_at(pos(Animal1, Position1), t),
 2750      holds_at(pos(Animal1, Position2), start),
 2751      holds_at(pos(Animal2, Position2), t),
 2752      holds_at(pos(Animal2, Position1), start),
 2753      b(t, start),
 2754      ignore(t+1=start)
 2755    ]).
 2756
 2757
 2758% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:386
 2759% [gate,position1,position2,time]
 2760% HoldsAt(Opened(gate),time) &
 2761% !HoldsAt(Opened(gate),time+1) &
 2762% Sides(position1,position2,gate) ->
 2763% !{animal}
 2764% HoldsAt(Pos(animal,position1),time) &
 2765% HoldsAt(Pos(animal,position2),time+1).
 2766% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:392
 2767axiom(not(exists([Animal],  (holds_at(pos(Animal, Position1), t), holds_at(pos(Animal, Position2), t+1)))),
 2768   
 2769    [ holds_at(opened(Gate), t),
 2770      not(holds_at(opened(Gate), start)),
 2771      sides(Position1, Position2, Gate),
 2772      b(t, start),
 2773      ignore(t+1=start)
 2774    ]).
 2775
 2776% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:394
 2777% gate GateAO
 2778% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:395
 2779==> t(gate,gateAO).
 2780
 2781% cage CageA
 2782% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:396
 2783==> t(cage,cageA).
 2784
 2785
 2786% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:397
 2787% Loc(1)=CageA.
 2788loc(1,cageA).
 2789
 2790
 2791% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:398
 2792% Loc(2)=CageA.
 2793loc(2,cageA).
 2794
 2795
 2796% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:399
 2797% Loc(3)=CageA.
 2798loc(3,cageA).
 2799
 2800
 2801% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:400
 2802% Loc(4)=CageA.
 2803loc(4,cageA).
 2804
 2805
 2806% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:401
 2807% Loc(5)=Outside.
 2808loc(5,outside).
 2809
 2810
 2811% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:402
 2812% Loc(6)=Outside.
 2813loc(6,outside).
 2814
 2815
 2816% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:403
 2817% Loc(7)=Outside.
 2818loc(7,outside).
 2819
 2820
 2821% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:404
 2822% Loc(8)=Outside.
 2823loc(8,outside).
 2824
 2825
 2826% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:406
 2827% [position1,position2]
 2828% Neighbor(position1,position2) <->
 2829% ((position1=1 & position2=2) |
 2830%  (position1=1 & position2=3) |
 2831%  (position1=1 & position2=4) |
 2832%  (position1=2 & position2=3) |
 2833%  (position1=2 & position2=4) |
 2834%  (position1=3 & position2=4) |
 2835%  (position1=5 & position2=6) |
 2836%  (position1=5 & position2=7) |
 2837%  (position1=5 & position2=8) |
 2838%  (position1=6 & position2=7) |
 2839%  (position1=6 & position2=8) |
 2840%  (position1=7 & position2=8) |
 2841%  (position2=1 & position1=2) |
 2842%  (position2=1 & position1=3) |
 2843%  (position2=1 & position1=4) |
 2844%  (position2=2 & position1=3) |
 2845%  (position2=2 & position1=4) |
 2846%  (position2=3 & position1=4) |
 2847%  (position2=5 & position1=6) |
 2848%  (position2=5 & position1=7) |
 2849%  (position2=5 & position1=8) |
 2850%  (position2=6 & position1=7) |
 2851%  (position2=6 & position1=8) |
 2852%  (position2=7 & position1=8) |
 2853%  (position1=4 & position2=7) |
 2854%  (position2=4 & position1=7)).
 2855
 2856 /*  neighbor(Position1, Position2) <->
 2857       (   Position1=1,
 2858           Position2=2
 2859       ;   Position1=1,
 2860           Position2=3
 2861       ;   Position1=1,
 2862           Position2=4
 2863       ;   Position1=2,
 2864           Position2=3
 2865       ;   Position1=2,
 2866           Position2=4
 2867       ;   Position1=3,
 2868           Position2=4
 2869       ;   Position1=5,
 2870           Position2=6
 2871       ;   Position1=5,
 2872           Position2=7
 2873       ;   Position1=5,
 2874           Position2=8
 2875       ;   Position1=6,
 2876           Position2=7
 2877       ;   Position1=6,
 2878           Position2=8
 2879       ;   Position1=7,
 2880           Position2=8
 2881       ;   Position2=1,
 2882           Position1=2
 2883       ;   Position2=1,
 2884           Position1=3
 2885       ;   Position2=1,
 2886           Position1=4
 2887       ;   Position2=2,
 2888           Position1=3
 2889       ;   Position2=2,
 2890           Position1=4
 2891       ;   Position2=3,
 2892           Position1=4
 2893       ;   Position2=5,
 2894           Position1=6
 2895       ;   Position2=5,
 2896           Position1=7
 2897       ;   Position2=5,
 2898           Position1=8
 2899       ;   Position2=6,
 2900           Position1=7
 2901       ;   Position2=6,
 2902           Position1=8
 2903       ;   Position2=7,
 2904           Position1=8
 2905       ;   Position1=4,
 2906           Position2=7
 2907       ;   Position2=4,
 2908           Position1=7
 2909       ).
 2910 */
 2911% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:433
 2912axiom(neighbor(Position1, Position2),
 2913    [equals(Position1, 1), equals(Position2, 2)]).
 2914axiom(neighbor(Position1, Position2),
 2915    [equals(Position1, 1), equals(Position2, 3)]).
 2916axiom(neighbor(Position1, Position2),
 2917    [equals(Position1, 1), equals(Position2, 4)]).
 2918axiom(neighbor(Position1, Position2),
 2919    [equals(Position1, 2), equals(Position2, 3)]).
 2920axiom(neighbor(Position1, Position2),
 2921    [equals(Position1, 2), equals(Position2, 4)]).
 2922axiom(neighbor(Position1, Position2),
 2923    [equals(Position1, 3), equals(Position2, 4)]).
 2924axiom(neighbor(Position1, Position2),
 2925    [equals(Position1, 5), equals(Position2, 6)]).
 2926axiom(neighbor(Position1, Position2),
 2927    [equals(Position1, 5), equals(Position2, 7)]).
 2928axiom(neighbor(Position1, Position2),
 2929    [equals(Position1, 5), equals(Position2, 8)]).
 2930axiom(neighbor(Position1, Position2),
 2931    [equals(Position1, 6), equals(Position2, 7)]).
 2932axiom(neighbor(Position1, Position2),
 2933    [equals(Position1, 6), equals(Position2, 8)]).
 2934axiom(neighbor(Position1, Position2),
 2935    [equals(Position1, 7), equals(Position2, 8)]).
 2936axiom(neighbor(Position1, Position2),
 2937    [equals(Position2, 1), equals(Position1, 2)]).
 2938axiom(neighbor(Position1, Position2),
 2939    [equals(Position2, 1), equals(Position1, 3)]).
 2940axiom(neighbor(Position1, Position2),
 2941    [equals(Position2, 1), equals(Position1, 4)]).
 2942axiom(neighbor(Position1, Position2),
 2943    [equals(Position2, 2), equals(Position1, 3)]).
 2944axiom(neighbor(Position1, Position2),
 2945    [equals(Position2, 2), equals(Position1, 4)]).
 2946axiom(neighbor(Position1, Position2),
 2947    [equals(Position2, 3), equals(Position1, 4)]).
 2948axiom(neighbor(Position1, Position2),
 2949    [equals(Position2, 5), equals(Position1, 6)]).
 2950axiom(neighbor(Position1, Position2),
 2951    [equals(Position2, 5), equals(Position1, 7)]).
 2952axiom(neighbor(Position1, Position2),
 2953    [equals(Position2, 5), equals(Position1, 8)]).
 2954axiom(neighbor(Position1, Position2),
 2955    [equals(Position2, 6), equals(Position1, 7)]).
 2956axiom(neighbor(Position1, Position2),
 2957    [equals(Position2, 6), equals(Position1, 8)]).
 2958axiom(neighbor(Position1, Position2),
 2959    [equals(Position2, 7), equals(Position1, 8)]).
 2960axiom(neighbor(Position1, Position2),
 2961    [equals(Position1, 4), equals(Position2, 7)]).
 2962axiom(neighbor(Position1, Position2),
 2963    [equals(Position2, 4), equals(Position1, 7)]).
 2964
 2965 /*   if(neighbor(Position1, Position2),
 2966          (Position1=1, Position2=2;Position1=1, Position2=3;Position1=1, Position2=4;Position1=2, Position2=3;Position1=2, Position2=4;Position1=3, Position2=4;Position1=5, Position2=6;Position1=5, Position2=7;Position1=5, Position2=8;Position1=6, Position2=7;Position1=6, Position2=8;Position1=7, Position2=8;Position2=1, Position1=2;Position2=1, Position1=3;Position2=1, Position1=4;Position2=2, Position1=3;Position2=2, Position1=4;Position2=3, Position1=4;Position2=5, Position1=6;Position2=5, Position1=7;Position2=5, Position1=8;Position2=6, Position1=7;Position2=6, Position1=8;Position2=7, Position1=8;Position1=4, Position2=7;Position2=4, Position1=7)).
 2967 */
 2968todo_later(if(neighbor(Position1, Position2),  (Position1=1, Position2=2;Position1=1, Position2=3;Position1=1, Position2=4;Position1=2, Position2=3;Position1=2, Position2=4;Position1=3, Position2=4;Position1=5, Position2=6;Position1=5, Position2=7;Position1=5, Position2=8;Position1=6, Position2=7;Position1=6, Position2=8;Position1=7, Position2=8;Position2=1, Position1=2;Position2=1, Position1=3;Position2=1, Position1=4;Position2=2, Position1=3;Position2=2, Position1=4;Position2=3, Position1=4;Position2=5, Position1=6;Position2=5, Position1=7;Position2=5, Position1=8;Position2=6, Position1=7;Position2=6, Position1=8;Position2=7, Position1=8;Position1=4, Position2=7;Position2=4, Position1=7)), [(not(neighbor(Neighbor_Param, Equals_Param)):-(not(equals(Neighbor_Param, 1));not(equals(Equals_Param, 2))), (not(equals(Neighbor_Param, 1));not(equals(Equals_Param, 3))), (not(equals(Neighbor_Param, 1));not(equals(Equals_Param, 4))), (not(equals(Neighbor_Param, 2));not(equals(Equals_Param, 3))), (not(equals(Neighbor_Param, 2));not(equals(Equals_Param, 4))), (not(equals(Neighbor_Param, 3));not(equals(Equals_Param, 4))), (not(equals(Neighbor_Param, 5));not(equals(Equals_Param, 6))), (not(equals(Neighbor_Param, 5));not(equals(Equals_Param, 7))), (not(equals(Neighbor_Param, 5));not(equals(Equals_Param, 8))), (not(equals(Neighbor_Param, 6));not(equals(Equals_Param, 7))), (not(equals(Neighbor_Param, 6));not(equals(Equals_Param, 8))), (not(equals(Neighbor_Param, 7));not(equals(Equals_Param, 8))), (not(equals(Equals_Param, 1));not(equals(Neighbor_Param, 2))), (not(equals(Equals_Param, 1));not(equals(Neighbor_Param, 3))), (not(equals(Equals_Param, 1));not(equals(Neighbor_Param, 4))), (not(equals(Equals_Param, 2));not(equals(Neighbor_Param, 3))), (not(equals(Equals_Param, 2));not(equals(Neighbor_Param, 4))), (not(equals(Equals_Param, 3));not(equals(Neighbor_Param, 4))), (not(equals(Equals_Param, 5));not(equals(Neighbor_Param, 6))), (not(equals(Equals_Param, 5));not(equals(Neighbor_Param, 7))), (not(equals(Equals_Param, 5));not(equals(Neighbor_Param, 8))), (not(equals(Equals_Param, 6));not(equals(Neighbor_Param, 7))), (not(equals(Equals_Param, 6));not(equals(Neighbor_Param, 8))), (not(equals(Equals_Param, 7));not(equals(Neighbor_Param, 8))), (not(equals(Neighbor_Param, 4));not(equals(Equals_Param, 7))), (not(equals(Equals_Param, 4));not(equals(Neighbor_Param, 7)))),  (equals(Equals_Param4, 1):-((not(equals(Equals_Param4, 1));not(equals(Equals_Param5, 3))), (not(equals(Equals_Param4, 1));not(equals(Equals_Param5, 4))), (not(equals(Equals_Param4, 2));not(equals(Equals_Param5, 3))), (not(equals(Equals_Param4, 2));not(equals(Equals_Param5, 4))), (not(equals(Equals_Param4, 3));not(equals(Equals_Param5, 4))), (not(equals(Equals_Param4, 5));not(equals(Equals_Param5, 6))), (not(equals(Equals_Param4, 5));not(equals(Equals_Param5, 7))), (not(equals(Equals_Param4, 5));not(equals(Equals_Param5, 8))), (not(equals(Equals_Param4, 6));not(equals(Equals_Param5, 7))), (not(equals(Equals_Param4, 6));not(equals(Equals_Param5, 8))), (not(equals(Equals_Param4, 7));not(equals(Equals_Param5, 8))), (not(equals(Equals_Param5, 1));not(equals(Equals_Param4, 2))), (not(equals(Equals_Param5, 1));not(equals(Equals_Param4, 3))), (not(equals(Equals_Param5, 1));not(equals(Equals_Param4, 4))), (not(equals(Equals_Param5, 2));not(equals(Equals_Param4, 3))), (not(equals(Equals_Param5, 2));not(equals(Equals_Param4, 4))), (not(equals(Equals_Param5, 3));not(equals(Equals_Param4, 4))), (not(equals(Equals_Param5, 5));not(equals(Equals_Param4, 6))), (not(equals(Equals_Param5, 5));not(equals(Equals_Param4, 7))), (not(equals(Equals_Param5, 5));not(equals(Equals_Param4, 8))), (not(equals(Equals_Param5, 6));not(equals(Equals_Param4, 7))), (not(equals(Equals_Param5, 6));not(equals(Equals_Param4, 8))), (not(equals(Equals_Param5, 7));not(equals(Equals_Param4, 8))), (not(equals(Equals_Param4, 4));not(equals(Equals_Param5, 7))), (not(equals(Equals_Param5, 4));not(equals(Equals_Param4, 7)))), neighbor(Equals_Param4, Equals_Param5)),  (equals(Equals_Param6, 2):-((not(equals(Equals_Param7, 1));not(equals(Equals_Param6, 3))), (not(equals(Equals_Param7, 1));not(equals(Equals_Param6, 4))), (not(equals(Equals_Param7, 2));not(equals(Equals_Param6, 3))), (not(equals(Equals_Param7, 2));not(equals(Equals_Param6, 4))), (not(equals(Equals_Param7, 3));not(equals(Equals_Param6, 4))), (not(equals(Equals_Param7, 5));not(equals(Equals_Param6, 6))), (not(equals(Equals_Param7, 5));not(equals(Equals_Param6, 7))), (not(equals(Equals_Param7, 5));not(equals(Equals_Param6, 8))), (not(equals(Equals_Param7, 6));not(equals(Equals_Param6, 7))), (not(equals(Equals_Param7, 6));not(equals(Equals_Param6, 8))), (not(equals(Equals_Param7, 7));not(equals(Equals_Param6, 8))), (not(equals(Equals_Param6, 1));not(equals(Equals_Param7, 2))), (not(equals(Equals_Param6, 1));not(equals(Equals_Param7, 3))), (not(equals(Equals_Param6, 1));not(equals(Equals_Param7, 4))), (not(equals(Equals_Param6, 2));not(equals(Equals_Param7, 3))), (not(equals(Equals_Param6, 2));not(equals(Equals_Param7, 4))), (not(equals(Equals_Param6, 3));not(equals(Equals_Param7, 4))), (not(equals(Equals_Param6, 5));not(equals(Equals_Param7, 6))), (not(equals(Equals_Param6, 5));not(equals(Equals_Param7, 7))), (not(equals(Equals_Param6, 5));not(equals(Equals_Param7, 8))), (not(equals(Equals_Param6, 6));not(equals(Equals_Param7, 7))), (not(equals(Equals_Param6, 6));not(equals(Equals_Param7, 8))), (not(equals(Equals_Param6, 7));not(equals(Equals_Param7, 8))), (not(equals(Equals_Param7, 4));not(equals(Equals_Param6, 7))), (not(equals(Equals_Param6, 4));not(equals(Equals_Param7, 7)))), neighbor(Equals_Param7, Equals_Param6)),  (equals(Equals_Param8, 1):-((not(equals(Equals_Param8, 1));not(equals(Equals_Param9, 4))), (not(equals(Equals_Param8, 2));not(equals(Equals_Param9, 3))), (not(equals(Equals_Param8, 2));not(equals(Equals_Param9, 4))), (not(equals(Equals_Param8, 3));not(equals(Equals_Param9, 4))), (not(equals(Equals_Param8, 5));not(equals(Equals_Param9, 6))), (not(equals(Equals_Param8, 5));not(equals(Equals_Param9, 7))), (not(equals(Equals_Param8, 5));not(equals(Equals_Param9, 8))), (not(equals(Equals_Param8, 6));not(equals(Equals_Param9, 7))), (not(equals(Equals_Param8, 6));not(equals(Equals_Param9, 8))), (not(equals(Equals_Param8, 7));not(equals(Equals_Param9, 8))), (not(equals(Equals_Param9, 1));not(equals(Equals_Param8, 2))), (not(equals(Equals_Param9, 1));not(equals(Equals_Param8, 3))), (not(equals(Equals_Param9, 1));not(equals(Equals_Param8, 4))), (not(equals(Equals_Param9, 2));not(equals(Equals_Param8, 3))), (not(equals(Equals_Param9, 2));not(equals(Equals_Param8, 4))), (not(equals(Equals_Param9, 3));not(equals(Equals_Param8, 4))), (not(equals(Equals_Param9, 5));not(equals(Equals_Param8, 6))), (not(equals(Equals_Param9, 5));not(equals(Equals_Param8, 7))), (not(equals(Equals_Param9, 5));not(equals(Equals_Param8, 8))), (not(equals(Equals_Param9, 6));not(equals(Equals_Param8, 7))), (not(equals(Equals_Param9, 6));not(equals(Equals_Param8, 8))), (not(equals(Equals_Param9, 7));not(equals(Equals_Param8, 8))), (not(equals(Equals_Param8, 4));not(equals(Equals_Param9, 7))), (not(equals(Equals_Param9, 4));not(equals(Equals_Param8, 7)))), (not(equals(Equals_Param8, 1));not(equals(Equals_Param9, 2))), neighbor(Equals_Param8, Equals_Param9)),  (equals(Equals_Param10, 3):-((not(equals(Equals_Param11, 1));not(equals(Equals_Param10, 4))), (not(equals(Equals_Param11, 2));not(equals(Equals_Param10, 3))), (not(equals(Equals_Param11, 2));not(equals(Equals_Param10, 4))), (not(equals(Equals_Param11, 3));not(equals(Equals_Param10, 4))), (not(equals(Equals_Param11, 5));not(equals(Equals_Param10, 6))), (not(equals(Equals_Param11, 5));not(equals(Equals_Param10, 7))), (not(equals(Equals_Param11, 5));not(equals(Equals_Param10, 8))), (not(equals(Equals_Param11, 6));not(equals(Equals_Param10, 7))), (not(equals(Equals_Param11, 6));not(equals(Equals_Param10, 8))), (not(equals(Equals_Param11, 7));not(equals(Equals_Param10, 8))), (not(equals(Equals_Param10, 1));not(equals(Equals_Param11, 2))), (not(equals(Equals_Param10, 1));not(equals(Equals_Param11, 3))), (not(equals(Equals_Param10, 1));not(equals(Equals_Param11, 4))), (not(equals(Equals_Param10, 2));not(equals(Equals_Param11, 3))), (not(equals(Equals_Param10, 2));not(equals(Equals_Param11, 4))), (not(equals(Equals_Param10, 3));not(equals(Equals_Param11, 4))), (not(equals(Equals_Param10, 5));not(equals(Equals_Param11, 6))), (not(equals(Equals_Param10, 5));not(equals(Equals_Param11, 7))), (not(equals(Equals_Param10, 5));not(equals(Equals_Param11, 8))), (not(equals(Equals_Param10, 6));not(equals(Equals_Param11, 7))), (not(equals(Equals_Param10, 6));not(equals(Equals_Param11, 8))), (not(equals(Equals_Param10, 7));not(equals(Equals_Param11, 8))), (not(equals(Equals_Param11, 4));not(equals(Equals_Param10, 7))), (not(equals(Equals_Param10, 4));not(equals(Equals_Param11, 7)))), (not(equals(Equals_Param11, 1));not(equals(Equals_Param10, 2))), neighbor(Equals_Param11, Equals_Param10)),  (equals(Equals_Param12, 1):-((not(equals(Equals_Param12, 2));not(equals(Equals_Param13, 3))), (not(equals(Equals_Param12, 2));not(equals(Equals_Param13, 4))), (not(equals(Equals_Param12, 3));not(equals(Equals_Param13, 4))), (not(equals(Equals_Param12, 5));not(equals(Equals_Param13, 6))), (not(equals(Equals_Param12, 5));not(equals(Equals_Param13, 7))), (not(equals(Equals_Param12, 5));not(equals(Equals_Param13, 8))), (not(equals(Equals_Param12, 6));not(equals(Equals_Param13, 7))), (not(equals(Equals_Param12, 6));not(equals(Equals_Param13, 8))), (not(equals(Equals_Param12, 7));not(equals(Equals_Param13, 8))), (not(equals(Equals_Param13, 1));not(equals(Equals_Param12, 2))), (not(equals(Equals_Param13, 1));not(equals(Equals_Param12, 3))), (not(equals(Equals_Param13, 1));not(equals(Equals_Param12, 4))), (not(equals(Equals_Param13, 2));not(equals(Equals_Param12, 3))), (not(equals(Equals_Param13, 2));not(equals(Equals_Param12, 4))), (not(equals(Equals_Param13, 3));not(equals(Equals_Param12, 4))), (not(equals(Equals_Param13, 5));not(equals(Equals_Param12, 6))), (not(equals(Equals_Param13, 5));not(equals(Equals_Param12, 7))), (not(equals(Equals_Param13, 5));not(equals(Equals_Param12, 8))), (not(equals(Equals_Param13, 6));not(equals(Equals_Param12, 7))), (not(equals(Equals_Param13, 6));not(equals(Equals_Param12, 8))), (not(equals(Equals_Param13, 7));not(equals(Equals_Param12, 8))), (not(equals(Equals_Param12, 4));not(equals(Equals_Param13, 7))), (not(equals(Equals_Param13, 4));not(equals(Equals_Param12, 7)))), (not(equals(Equals_Param12, 1));not(equals(Equals_Param13, 3))), (not(equals(Equals_Param12, 1));not(equals(Equals_Param13, 2))), neighbor(Equals_Param12, Equals_Param13)),  (equals(Equals_Param14, 4):-((not(equals(Equals_Param15, 2));not(equals(Equals_Param14, 3))), (not(equals(Equals_Param15, 2));not(equals(Equals_Param14, 4))), (not(equals(Equals_Param15, 3));not(equals(Equals_Param14, 4))), (not(equals(Equals_Param15, 5));not(equals(Equals_Param14, 6))), (not(equals(Equals_Param15, 5));not(equals(Equals_Param14, 7))), (not(equals(Equals_Param15, 5));not(equals(Equals_Param14, 8))), (not(equals(Equals_Param15, 6));not(equals(Equals_Param14, 7))), (not(equals(Equals_Param15, 6));not(equals(Equals_Param14, 8))), (not(equals(Equals_Param15, 7));not(equals(Equals_Param14, 8))), (not(equals(Equals_Param14, 1));not(equals(Equals_Param15, 2))), (not(equals(Equals_Param14, 1));not(equals(Equals_Param15, 3))), (not(equals(Equals_Param14, 1));not(equals(Equals_Param15, 4))), (not(equals(Equals_Param14, 2));not(equals(Equals_Param15, 3))), (not(equals(Equals_Param14, 2));not(equals(Equals_Param15, 4))), (not(equals(Equals_Param14, 3));not(equals(Equals_Param15, 4))), (not(equals(Equals_Param14, 5));not(equals(Equals_Param15, 6))), (not(equals(Equals_Param14, 5));not(equals(Equals_Param15, 7))), (not(equals(Equals_Param14, 5));not(equals(Equals_Param15, 8))), (not(equals(Equals_Param14, 6));not(equals(Equals_Param15, 7))), (not(equals(Equals_Param14, 6));not(equals(Equals_Param15, 8))), (not(equals(Equals_Param14, 7));not(equals(Equals_Param15, 8))), (not(equals(Equals_Param15, 4));not(equals(Equals_Param14, 7))), (not(equals(Equals_Param14, 4));not(equals(Equals_Param15, 7)))), (not(equals(Equals_Param15, 1));not(equals(Equals_Param14, 3))), (not(equals(Equals_Param15, 1));not(equals(Equals_Param14, 2))), neighbor(Equals_Param15, Equals_Param14)),  (equals(Equals_Param16, 2):-((not(equals(Equals_Param16, 2));not(equals(Equals_Param17, 4))), (not(equals(Equals_Param16, 3));not(equals(Equals_Param17, 4))), (not(equals(Equals_Param16, 5));not(equals(Equals_Param17, 6))), (not(equals(Equals_Param16, 5));not(equals(Equals_Param17, 7))), (not(equals(Equals_Param16, 5));not(equals(Equals_Param17, 8))), (not(equals(Equals_Param16, 6));not(equals(Equals_Param17, 7))), (not(equals(Equals_Param16, 6));not(equals(Equals_Param17, 8))), (not(equals(Equals_Param16, 7));not(equals(Equals_Param17, 8))), (not(equals(Equals_Param17, 1));not(equals(Equals_Param16, 2))), (not(equals(Equals_Param17, 1));not(equals(Equals_Param16, 3))), (not(equals(Equals_Param17, 1));not(equals(Equals_Param16, 4))), (not(equals(Equals_Param17, 2));not(equals(Equals_Param16, 3))), (not(equals(Equals_Param17, 2));not(equals(Equals_Param16, 4))), (not(equals(Equals_Param17, 3));not(equals(Equals_Param16, 4))), (not(equals(Equals_Param17, 5));not(equals(Equals_Param16, 6))), (not(equals(Equals_Param17, 5));not(equals(Equals_Param16, 7))), (not(equals(Equals_Param17, 5));not(equals(Equals_Param16, 8))), (not(equals(Equals_Param17, 6));not(equals(Equals_Param16, 7))), (not(equals(Equals_Param17, 6));not(equals(Equals_Param16, 8))), (not(equals(Equals_Param17, 7));not(equals(Equals_Param16, 8))), (not(equals(Equals_Param16, 4));not(equals(Equals_Param17, 7))), (not(equals(Equals_Param17, 4));not(equals(Equals_Param16, 7)))), (not(equals(Equals_Param16, 1));not(equals(Equals_Param17, 4))), (not(equals(Equals_Param16, 1));not(equals(Equals_Param17, 3))), (not(equals(Equals_Param16, 1));not(equals(Equals_Param17, 2))), neighbor(Equals_Param16, Equals_Param17)),  (equals(Equals_Param18, 3):-((not(equals(Equals_Param19, 2));not(equals(Equals_Param18, 4))), (not(equals(Equals_Param19, 3));not(equals(Equals_Param18, 4))), (not(equals(Equals_Param19, 5));not(equals(Equals_Param18, 6))), (not(equals(Equals_Param19, 5));not(equals(Equals_Param18, 7))), (not(equals(Equals_Param19, 5));not(equals(Equals_Param18, 8))), (not(equals(Equals_Param19, 6));not(equals(Equals_Param18, 7))), (not(equals(Equals_Param19, 6));not(equals(Equals_Param18, 8))), (not(equals(Equals_Param19, 7));not(equals(Equals_Param18, 8))), (not(equals(Equals_Param18, 1));not(equals(Equals_Param19, 2))), (not(equals(Equals_Param18, 1));not(equals(Equals_Param19, 3))), (not(equals(Equals_Param18, 1));not(equals(Equals_Param19, 4))), (not(equals(Equals_Param18, 2));not(equals(Equals_Param19, 3))), (not(equals(Equals_Param18, 2));not(equals(Equals_Param19, 4))), (not(equals(Equals_Param18, 3));not(equals(Equals_Param19, 4))), (not(equals(Equals_Param18, 5));not(equals(Equals_Param19, 6))), (not(equals(Equals_Param18, 5));not(equals(Equals_Param19, 7))), (not(equals(Equals_Param18, 5));not(equals(Equals_Param19, 8))), (not(equals(Equals_Param18, 6));not(equals(Equals_Param19, 7))), (not(equals(Equals_Param18, 6));not(equals(Equals_Param19, 8))), (not(equals(Equals_Param18, 7));not(equals(Equals_Param19, 8))), (not(equals(Equals_Param19, 4));not(equals(Equals_Param18, 7))), (not(equals(Equals_Param18, 4));not(equals(Equals_Param19, 7)))), (not(equals(Equals_Param19, 1));not(equals(Equals_Param18, 4))), (not(equals(Equals_Param19, 1));not(equals(Equals_Param18, 3))), (not(equals(Equals_Param19, 1));not(equals(Equals_Param18, 2))), neighbor(Equals_Param19, Equals_Param18)),  (equals(Equals_Param20, 2):-((not(equals(Equals_Param20, 3));not(equals(Equals_Param21, 4))), (not(equals(Equals_Param20, 5));not(equals(Equals_Param21, 6))), (not(equals(Equals_Param20, 5));not(equals(Equals_Param21, 7))), (not(equals(Equals_Param20, 5));not(equals(Equals_Param21, 8))), (not(equals(Equals_Param20, 6));not(equals(Equals_Param21, 7))), (not(equals(Equals_Param20, 6));not(equals(Equals_Param21, 8))), (not(equals(Equals_Param20, 7));not(equals(Equals_Param21, 8))), (not(equals(Equals_Param21, 1));not(equals(Equals_Param20, 2))), (not(equals(Equals_Param21, 1));not(equals(Equals_Param20, 3))), (not(equals(Equals_Param21, 1));not(equals(Equals_Param20, 4))), (not(equals(Equals_Param21, 2));not(equals(Equals_Param20, 3))), (not(equals(Equals_Param21, 2));not(equals(Equals_Param20, 4))), (not(equals(Equals_Param21, 3));not(equals(Equals_Param20, 4))), (not(equals(Equals_Param21, 5));not(equals(Equals_Param20, 6))), (not(equals(Equals_Param21, 5));not(equals(Equals_Param20, 7))), (not(equals(Equals_Param21, 5));not(equals(Equals_Param20, 8))), (not(equals(Equals_Param21, 6));not(equals(Equals_Param20, 7))), (not(equals(Equals_Param21, 6));not(equals(Equals_Param20, 8))), (not(equals(Equals_Param21, 7));not(equals(Equals_Param20, 8))), (not(equals(Equals_Param20, 4));not(equals(Equals_Param21, 7))), (not(equals(Equals_Param21, 4));not(equals(Equals_Param20, 7)))), (not(equals(Equals_Param20, 2));not(equals(Equals_Param21, 3))), (not(equals(Equals_Param20, 1));not(equals(Equals_Param21, 4))), (not(equals(Equals_Param20, 1));not(equals(Equals_Param21, 3))), (not(equals(Equals_Param20, 1));not(equals(Equals_Param21, 2))), neighbor(Equals_Param20, Equals_Param21)),  (equals(Equals_Param22, 4):-((not(equals(Equals_Param23, 3));not(equals(Equals_Param22, 4))), (not(equals(Equals_Param23, 5));not(equals(Equals_Param22, 6))), (not(equals(Equals_Param23, 5));not(equals(Equals_Param22, 7))), (not(equals(Equals_Param23, 5));not(equals(Equals_Param22, 8))), (not(equals(Equals_Param23, 6));not(equals(Equals_Param22, 7))), (not(equals(Equals_Param23, 6));not(equals(Equals_Param22, 8))), (not(equals(Equals_Param23, 7));not(equals(Equals_Param22, 8))), (not(equals(Equals_Param22, 1));not(equals(Equals_Param23, 2))), (not(equals(Equals_Param22, 1));not(equals(Equals_Param23, 3))), (not(equals(Equals_Param22, 1));not(equals(Equals_Param23, 4))), (not(equals(Equals_Param22, 2));not(equals(Equals_Param23, 3))), (not(equals(Equals_Param22, 2));not(equals(Equals_Param23, 4))), (not(equals(Equals_Param22, 3));not(equals(Equals_Param23, 4))), (not(equals(Equals_Param22, 5));not(equals(Equals_Param23, 6))), (not(equals(Equals_Param22, 5));not(equals(Equals_Param23, 7))), (not(equals(Equals_Param22, 5));not(equals(Equals_Param23, 8))), (not(equals(Equals_Param22, 6));not(equals(Equals_Param23, 7))), (not(equals(Equals_Param22, 6));not(equals(Equals_Param23, 8))), (not(equals(Equals_Param22, 7));not(equals(Equals_Param23, 8))), (not(equals(Equals_Param23, 4));not(equals(Equals_Param22, 7))), (not(equals(Equals_Param22, 4));not(equals(Equals_Param23, 7)))), (not(equals(Equals_Param23, 2));not(equals(Equals_Param22, 3))), (not(equals(Equals_Param23, 1));not(equals(Equals_Param22, 4))), (not(equals(Equals_Param23, 1));not(equals(Equals_Param22, 3))), (not(equals(Equals_Param23, 1));not(equals(Equals_Param22, 2))), neighbor(Equals_Param23, Equals_Param22)),  (equals(Equals_Param24, 3):-((not(equals(Equals_Param24, 5));not(equals(Equals_Param25, 6))), (not(equals(Equals_Param24, 5));not(equals(Equals_Param25, 7))), (not(equals(Equals_Param24, 5));not(equals(Equals_Param25, 8))), (not(equals(Equals_Param24, 6));not(equals(Equals_Param25, 7))), (not(equals(Equals_Param24, 6));not(equals(Equals_Param25, 8))), (not(equals(Equals_Param24, 7));not(equals(Equals_Param25, 8))), (not(equals(Equals_Param25, 1));not(equals(Equals_Param24, 2))), (not(equals(Equals_Param25, 1));not(equals(Equals_Param24, 3))), (not(equals(Equals_Param25, 1));not(equals(Equals_Param24, 4))), (not(equals(Equals_Param25, 2));not(equals(Equals_Param24, 3))), (not(equals(Equals_Param25, 2));not(equals(Equals_Param24, 4))), (not(equals(Equals_Param25, 3));not(equals(Equals_Param24, 4))), (not(equals(Equals_Param25, 5));not(equals(Equals_Param24, 6))), (not(equals(Equals_Param25, 5));not(equals(Equals_Param24, 7))), (not(equals(Equals_Param25, 5));not(equals(Equals_Param24, 8))), (not(equals(Equals_Param25, 6));not(equals(Equals_Param24, 7))), (not(equals(Equals_Param25, 6));not(equals(Equals_Param24, 8))), (not(equals(Equals_Param25, 7));not(equals(Equals_Param24, 8))), (not(equals(Equals_Param24, 4));not(equals(Equals_Param25, 7))), (not(equals(Equals_Param25, 4));not(equals(Equals_Param24, 7)))), (not(equals(Equals_Param24, 2));not(equals(Equals_Param25, 4))), (not(equals(Equals_Param24, 2));not(equals(Equals_Param25, 3))), (not(equals(Equals_Param24, 1));not(equals(Equals_Param25, 4))), (not(equals(Equals_Param24, 1));not(equals(Equals_Param25, 3))), (not(equals(Equals_Param24, 1));not(equals(Equals_Param25, 2))), neighbor(Equals_Param24, Equals_Param25)),  (equals(Equals_Param26, 4):-((not(equals(Equals_Param27, 5));not(equals(Equals_Param26, 6))), (not(equals(Equals_Param27, 5));not(equals(Equals_Param26, 7))), (not(equals(Equals_Param27, 5));not(equals(Equals_Param26, 8))), (not(equals(Equals_Param27, 6));not(equals(Equals_Param26, 7))), (not(equals(Equals_Param27, 6));not(equals(Equals_Param26, 8))), (not(equals(Equals_Param27, 7));not(equals(Equals_Param26, 8))), (not(equals(Equals_Param26, 1));not(equals(Equals_Param27, 2))), (not(equals(Equals_Param26, 1));not(equals(Equals_Param27, 3))), (not(equals(Equals_Param26, 1));not(equals(Equals_Param27, 4))), (not(equals(Equals_Param26, 2));not(equals(Equals_Param27, 3))), (not(equals(Equals_Param26, 2));not(equals(Equals_Param27, 4))), (not(equals(Equals_Param26, 3));not(equals(Equals_Param27, 4))), (not(equals(Equals_Param26, 5));not(equals(Equals_Param27, 6))), (not(equals(Equals_Param26, 5));not(equals(Equals_Param27, 7))), (not(equals(Equals_Param26, 5));not(equals(Equals_Param27, 8))), (not(equals(Equals_Param26, 6));not(equals(Equals_Param27, 7))), (not(equals(Equals_Param26, 6));not(equals(Equals_Param27, 8))), (not(equals(Equals_Param26, 7));not(equals(Equals_Param27, 8))), (not(equals(Equals_Param27, 4));not(equals(Equals_Param26, 7))), (not(equals(Equals_Param26, 4));not(equals(Equals_Param27, 7)))), (not(equals(Equals_Param27, 2));not(equals(Equals_Param26, 4))), (not(equals(Equals_Param27, 2));not(equals(Equals_Param26, 3))), (not(equals(Equals_Param27, 1));not(equals(Equals_Param26, 4))), (not(equals(Equals_Param27, 1));not(equals(Equals_Param26, 3))), (not(equals(Equals_Param27, 1));not(equals(Equals_Param26, 2))), neighbor(Equals_Param27, Equals_Param26)),  (equals(Equals_Param28, 5):-((not(equals(Equals_Param28, 5));not(equals(Equals_Param29, 7))), (not(equals(Equals_Param28, 5));not(equals(Equals_Param29, 8))), (not(equals(Equals_Param28, 6));not(equals(Equals_Param29, 7))), (not(equals(Equals_Param28, 6));not(equals(Equals_Param29, 8))), (not(equals(Equals_Param28, 7));not(equals(Equals_Param29, 8))), (not(equals(Equals_Param29, 1));not(equals(Equals_Param28, 2))), (not(equals(Equals_Param29, 1));not(equals(Equals_Param28, 3))), (not(equals(Equals_Param29, 1));not(equals(Equals_Param28, 4))), (not(equals(Equals_Param29, 2));not(equals(Equals_Param28, 3))), (not(equals(Equals_Param29, 2));not(equals(Equals_Param28, 4))), (not(equals(Equals_Param29, 3));not(equals(Equals_Param28, 4))), (not(equals(Equals_Param29, 5));not(equals(Equals_Param28, 6))), (not(equals(Equals_Param29, 5));not(equals(Equals_Param28, 7))), (not(equals(Equals_Param29, 5));not(equals(Equals_Param28, 8))), (not(equals(Equals_Param29, 6));not(equals(Equals_Param28, 7))), (not(equals(Equals_Param29, 6));not(equals(Equals_Param28, 8))), (not(equals(Equals_Param29, 7));not(equals(Equals_Param28, 8))), (not(equals(Equals_Param28, 4));not(equals(Equals_Param29, 7))), (not(equals(Equals_Param29, 4));not(equals(Equals_Param28, 7)))), (not(equals(Equals_Param28, 3));not(equals(Equals_Param29, 4))), (not(equals(Equals_Param28, 2));not(equals(Equals_Param29, 4))), (not(equals(Equals_Param28, 2));not(equals(Equals_Param29, 3))), (not(equals(Equals_Param28, 1));not(equals(Equals_Param29, 4))), (not(equals(Equals_Param28, 1));not(equals(Equals_Param29, 3))), (not(equals(Equals_Param28, 1));not(equals(Equals_Param29, 2))), neighbor(Equals_Param28, Equals_Param29)),  (equals(Equals_Param30, 6):-((not(equals(Equals_Param31, 5));not(equals(Equals_Param30, 7))), (not(equals(Equals_Param31, 5));not(equals(Equals_Param30, 8))), (not(equals(Equals_Param31, 6));not(equals(Equals_Param30, 7))), (not(equals(Equals_Param31, 6));not(equals(Equals_Param30, 8))), (not(equals(Equals_Param31, 7));not(equals(Equals_Param30, 8))), (not(equals(Equals_Param30, 1));not(equals(Equals_Param31, 2))), (not(equals(Equals_Param30, 1));not(equals(Equals_Param31, 3))), (not(equals(Equals_Param30, 1));not(equals(Equals_Param31, 4))), (not(equals(Equals_Param30, 2));not(equals(Equals_Param31, 3))), (not(equals(Equals_Param30, 2));not(equals(Equals_Param31, 4))), (not(equals(Equals_Param30, 3));not(equals(Equals_Param31, 4))), (not(equals(Equals_Param30, 5));not(equals(Equals_Param31, 6))), (not(equals(Equals_Param30, 5));not(equals(Equals_Param31, 7))), (not(equals(Equals_Param30, 5));not(equals(Equals_Param31, 8))), (not(equals(Equals_Param30, 6));not(equals(Equals_Param31, 7))), (not(equals(Equals_Param30, 6));not(equals(Equals_Param31, 8))), (not(equals(Equals_Param30, 7));not(equals(Equals_Param31, 8))), (not(equals(Equals_Param31, 4));not(equals(Equals_Param30, 7))), (not(equals(Equals_Param30, 4));not(equals(Equals_Param31, 7)))), (not(equals(Equals_Param31, 3));not(equals(Equals_Param30, 4))), (not(equals(Equals_Param31, 2));not(equals(Equals_Param30, 4))), (not(equals(Equals_Param31, 2));not(equals(Equals_Param30, 3))), (not(equals(Equals_Param31, 1));not(equals(Equals_Param30, 4))), (not(equals(Equals_Param31, 1));not(equals(Equals_Param30, 3))), (not(equals(Equals_Param31, 1));not(equals(Equals_Param30, 2))), neighbor(Equals_Param31, Equals_Param30)),  (equals(Equals_Param32, 5):-((not(equals(Equals_Param32, 5));not(equals(Equals_Param33, 8))), (not(equals(Equals_Param32, 6));not(equals(Equals_Param33, 7))), (not(equals(Equals_Param32, 6));not(equals(Equals_Param33, 8))), (not(equals(Equals_Param32, 7));not(equals(Equals_Param33, 8))), (not(equals(Equals_Param33, 1));not(equals(Equals_Param32, 2))), (not(equals(Equals_Param33, 1));not(equals(Equals_Param32, 3))), (not(equals(Equals_Param33, 1));not(equals(Equals_Param32, 4))), (not(equals(Equals_Param33, 2));not(equals(Equals_Param32, 3))), (not(equals(Equals_Param33, 2));not(equals(Equals_Param32, 4))), (not(equals(Equals_Param33, 3));not(equals(Equals_Param32, 4))), (not(equals(Equals_Param33, 5));not(equals(Equals_Param32, 6))), (not(equals(Equals_Param33, 5));not(equals(Equals_Param32, 7))), (not(equals(Equals_Param33, 5));not(equals(Equals_Param32, 8))), (not(equals(Equals_Param33, 6));not(equals(Equals_Param32, 7))), (not(equals(Equals_Param33, 6));not(equals(Equals_Param32, 8))), (not(equals(Equals_Param33, 7));not(equals(Equals_Param32, 8))), (not(equals(Equals_Param32, 4));not(equals(Equals_Param33, 7))), (not(equals(Equals_Param33, 4));not(equals(Equals_Param32, 7)))), (not(equals(Equals_Param32, 5));not(equals(Equals_Param33, 6))), (not(equals(Equals_Param32, 3));not(equals(Equals_Param33, 4))), (not(equals(Equals_Param32, 2));not(equals(Equals_Param33, 4))), (not(equals(Equals_Param32, 2));not(equals(Equals_Param33, 3))), (not(equals(Equals_Param32, 1));not(equals(Equals_Param33, 4))), (not(equals(Equals_Param32, 1));not(equals(Equals_Param33, 3))), (not(equals(Equals_Param32, 1));not(equals(Equals_Param33, 2))), neighbor(Equals_Param32, Equals_Param33)),  (equals(Equals_Param34, 7):-((not(equals(Equals_Param35, 5));not(equals(Equals_Param34, 8))), (not(equals(Equals_Param35, 6));not(equals(Equals_Param34, 7))), (not(equals(Equals_Param35, 6));not(equals(Equals_Param34, 8))), (not(equals(Equals_Param35, 7));not(equals(Equals_Param34, 8))), (not(equals(Equals_Param34, 1));not(equals(Equals_Param35, 2))), (not(equals(Equals_Param34, 1));not(equals(Equals_Param35, 3))), (not(equals(Equals_Param34, 1));not(equals(Equals_Param35, 4))), (not(equals(Equals_Param34, 2));not(equals(Equals_Param35, 3))), (not(equals(Equals_Param34, 2));not(equals(Equals_Param35, 4))), (not(equals(Equals_Param34, 3));not(equals(Equals_Param35, 4))), (not(equals(Equals_Param34, 5));not(equals(Equals_Param35, 6))), (not(equals(Equals_Param34, 5));not(equals(Equals_Param35, 7))), (not(equals(Equals_Param34, 5));not(equals(Equals_Param35, 8))), (not(equals(Equals_Param34, 6));not(equals(Equals_Param35, 7))), (not(equals(Equals_Param34, 6));not(equals(Equals_Param35, 8))), (not(equals(Equals_Param34, 7));not(equals(Equals_Param35, 8))), (not(equals(Equals_Param35, 4));not(equals(Equals_Param34, 7))), (not(equals(Equals_Param34, 4));not(equals(Equals_Param35, 7)))), (not(equals(Equals_Param35, 5));not(equals(Equals_Param34, 6))), (not(equals(Equals_Param35, 3));not(equals(Equals_Param34, 4))), (not(equals(Equals_Param35, 2));not(equals(Equals_Param34, 4))), (not(equals(Equals_Param35, 2));not(equals(Equals_Param34, 3))), (not(equals(Equals_Param35, 1));not(equals(Equals_Param34, 4))), (not(equals(Equals_Param35, 1));not(equals(Equals_Param34, 3))), (not(equals(Equals_Param35, 1));not(equals(Equals_Param34, 2))), neighbor(Equals_Param35, Equals_Param34)),  (equals(Equals_Param36, 5):-((not(equals(Equals_Param36, 6));not(equals(Equals_Param37, 7))), (not(equals(Equals_Param36, 6));not(equals(Equals_Param37, 8))), (not(equals(Equals_Param36, 7));not(equals(Equals_Param37, 8))), (not(equals(Equals_Param37, 1));not(equals(Equals_Param36, 2))), (not(equals(Equals_Param37, 1));not(equals(Equals_Param36, 3))), (not(equals(Equals_Param37, 1));not(equals(Equals_Param36, 4))), (not(equals(Equals_Param37, 2));not(equals(Equals_Param36, 3))), (not(equals(Equals_Param37, 2));not(equals(Equals_Param36, 4))), (not(equals(Equals_Param37, 3));not(equals(Equals_Param36, 4))), (not(equals(Equals_Param37, 5));not(equals(Equals_Param36, 6))), (not(equals(Equals_Param37, 5));not(equals(Equals_Param36, 7))), (not(equals(Equals_Param37, 5));not(equals(Equals_Param36, 8))), (not(equals(Equals_Param37, 6));not(equals(Equals_Param36, 7))), (not(equals(Equals_Param37, 6));not(equals(Equals_Param36, 8))), (not(equals(Equals_Param37, 7));not(equals(Equals_Param36, 8))), (not(equals(Equals_Param36, 4));not(equals(Equals_Param37, 7))), (not(equals(Equals_Param37, 4));not(equals(Equals_Param36, 7)))), (not(equals(Equals_Param36, 5));not(equals(Equals_Param37, 7))), (not(equals(Equals_Param36, 5));not(equals(Equals_Param37, 6))), (not(equals(Equals_Param36, 3));not(equals(Equals_Param37, 4))), (not(equals(Equals_Param36, 2));not(equals(Equals_Param37, 4))), (not(equals(Equals_Param36, 2));not(equals(Equals_Param37, 3))), (not(equals(Equals_Param36, 1));not(equals(Equals_Param37, 4))), (not(equals(Equals_Param36, 1));not(equals(Equals_Param37, 3))), (not(equals(Equals_Param36, 1));not(equals(Equals_Param37, 2))), neighbor(Equals_Param36, Equals_Param37)),  (equals(Equals_Param38, 8):-((not(equals(Equals_Param39, 6));not(equals(Equals_Param38, 7))), (not(equals(Equals_Param39, 6));not(equals(Equals_Param38, 8))), (not(equals(Equals_Param39, 7));not(equals(Equals_Param38, 8))), (not(equals(Equals_Param38, 1));not(equals(Equals_Param39, 2))), (not(equals(Equals_Param38, 1));not(equals(Equals_Param39, 3))), (not(equals(Equals_Param38, 1));not(equals(Equals_Param39, 4))), (not(equals(Equals_Param38, 2));not(equals(Equals_Param39, 3))), (not(equals(Equals_Param38, 2));not(equals(Equals_Param39, 4))), (not(equals(Equals_Param38, 3));not(equals(Equals_Param39, 4))), (not(equals(Equals_Param38, 5));not(equals(Equals_Param39, 6))), (not(equals(Equals_Param38, 5));not(equals(Equals_Param39, 7))), (not(equals(Equals_Param38, 5));not(equals(Equals_Param39, 8))), (not(equals(Equals_Param38, 6));not(equals(Equals_Param39, 7))), (not(equals(Equals_Param38, 6));not(equals(Equals_Param39, 8))), (not(equals(Equals_Param38, 7));not(equals(Equals_Param39, 8))), (not(equals(Equals_Param39, 4));not(equals(Equals_Param38, 7))), (not(equals(Equals_Param38, 4));not(equals(Equals_Param39, 7)))), (not(equals(Equals_Param39, 5));not(equals(Equals_Param38, 7))), (not(equals(Equals_Param39, 5));not(equals(Equals_Param38, 6))), (not(equals(Equals_Param39, 3));not(equals(Equals_Param38, 4))), (not(equals(Equals_Param39, 2));not(equals(Equals_Param38, 4))), (not(equals(Equals_Param39, 2));not(equals(Equals_Param38, 3))), (not(equals(Equals_Param39, 1));not(equals(Equals_Param38, 4))), (not(equals(Equals_Param39, 1));not(equals(Equals_Param38, 3))), (not(equals(Equals_Param39, 1));not(equals(Equals_Param38, 2))), neighbor(Equals_Param39, Equals_Param38)),  (equals(Equals_Param40, 6):-((not(equals(Equals_Param40, 6));not(equals(Equals_Param41, 8))), (not(equals(Equals_Param40, 7));not(equals(Equals_Param41, 8))), (not(equals(Equals_Param41, 1));not(equals(Equals_Param40, 2))), (not(equals(Equals_Param41, 1));not(equals(Equals_Param40, 3))), (not(equals(Equals_Param41, 1));not(equals(Equals_Param40, 4))), (not(equals(Equals_Param41, 2));not(equals(Equals_Param40, 3))), (not(equals(Equals_Param41, 2));not(equals(Equals_Param40, 4))), (not(equals(Equals_Param41, 3));not(equals(Equals_Param40, 4))), (not(equals(Equals_Param41, 5));not(equals(Equals_Param40, 6))), (not(equals(Equals_Param41, 5));not(equals(Equals_Param40, 7))), (not(equals(Equals_Param41, 5));not(equals(Equals_Param40, 8))), (not(equals(Equals_Param41, 6));not(equals(Equals_Param40, 7))), (not(equals(Equals_Param41, 6));not(equals(Equals_Param40, 8))), (not(equals(Equals_Param41, 7));not(equals(Equals_Param40, 8))), (not(equals(Equals_Param40, 4));not(equals(Equals_Param41, 7))), (not(equals(Equals_Param41, 4));not(equals(Equals_Param40, 7)))), (not(equals(Equals_Param40, 5));not(equals(Equals_Param41, 8))), (not(equals(Equals_Param40, 5));not(equals(Equals_Param41, 7))), (not(equals(Equals_Param40, 5));not(equals(Equals_Param41, 6))), (not(equals(Equals_Param40, 3));not(equals(Equals_Param41, 4))), (not(equals(Equals_Param40, 2));not(equals(Equals_Param41, 4))), (not(equals(Equals_Param40, 2));not(equals(Equals_Param41, 3))), (not(equals(Equals_Param40, 1));not(equals(Equals_Param41, 4))), (not(equals(Equals_Param40, 1));not(equals(Equals_Param41, 3))), (not(equals(Equals_Param40, 1));not(equals(Equals_Param41, 2))), neighbor(Equals_Param40, Equals_Param41)),  (equals(Equals_Param42, 7):-((not(equals(Equals_Param43, 6));not(equals(Equals_Param42, 8))), (not(equals(Equals_Param43, 7));not(equals(Equals_Param42, 8))), (not(equals(Equals_Param42, 1));not(equals(Equals_Param43, 2))), (not(equals(Equals_Param42, 1));not(equals(Equals_Param43, 3))), (not(equals(Equals_Param42, 1));not(equals(Equals_Param43, 4))), (not(equals(Equals_Param42, 2));not(equals(Equals_Param43, 3))), (not(equals(Equals_Param42, 2));not(equals(Equals_Param43, 4))), (not(equals(Equals_Param42, 3));not(equals(Equals_Param43, 4))), (not(equals(Equals_Param42, 5));not(equals(Equals_Param43, 6))), (not(equals(Equals_Param42, 5));not(equals(Equals_Param43, 7))), (not(equals(Equals_Param42, 5));not(equals(Equals_Param43, 8))), (not(equals(Equals_Param42, 6));not(equals(Equals_Param43, 7))), (not(equals(Equals_Param42, 6));not(equals(Equals_Param43, 8))), (not(equals(Equals_Param42, 7));not(equals(Equals_Param43, 8))), (not(equals(Equals_Param43, 4));not(equals(Equals_Param42, 7))), (not(equals(Equals_Param42, 4));not(equals(Equals_Param43, 7)))), (not(equals(Equals_Param43, 5));not(equals(Equals_Param42, 8))), (not(equals(Equals_Param43, 5));not(equals(Equals_Param42, 7))), (not(equals(Equals_Param43, 5));not(equals(Equals_Param42, 6))), (not(equals(Equals_Param43, 3));not(equals(Equals_Param42, 4))), (not(equals(Equals_Param43, 2));not(equals(Equals_Param42, 4))), (not(equals(Equals_Param43, 2));not(equals(Equals_Param42, 3))), (not(equals(Equals_Param43, 1));not(equals(Equals_Param42, 4))), (not(equals(Equals_Param43, 1));not(equals(Equals_Param42, 3))), (not(equals(Equals_Param43, 1));not(equals(Equals_Param42, 2))), neighbor(Equals_Param43, Equals_Param42)),  (equals(Equals_Param44, 6):-((not(equals(Equals_Param44, 7));not(equals(Equals_Param45, 8))), (not(equals(Equals_Param45, 1));not(equals(Equals_Param44, 2))), (not(equals(Equals_Param45, 1));not(equals(Equals_Param44, 3))), (not(equals(Equals_Param45, 1));not(equals(Equals_Param44, 4))), (not(equals(Equals_Param45, 2));not(equals(Equals_Param44, 3))), (not(equals(Equals_Param45, 2));not(equals(Equals_Param44, 4))), (not(equals(Equals_Param45, 3));not(equals(Equals_Param44, 4))), (not(equals(Equals_Param45, 5));not(equals(Equals_Param44, 6))), (not(equals(Equals_Param45, 5));not(equals(Equals_Param44, 7))), (not(equals(Equals_Param45, 5));not(equals(Equals_Param44, 8))), (not(equals(Equals_Param45, 6));not(equals(Equals_Param44, 7))), (not(equals(Equals_Param45, 6));not(equals(Equals_Param44, 8))), (not(equals(Equals_Param45, 7));not(equals(Equals_Param44, 8))), (not(equals(Equals_Param44, 4));not(equals(Equals_Param45, 7))), (not(equals(Equals_Param45, 4));not(equals(Equals_Param44, 7)))), (not(equals(Equals_Param44, 6));not(equals(Equals_Param45, 7))), (not(equals(Equals_Param44, 5));not(equals(Equals_Param45, 8))), (not(equals(Equals_Param44, 5));not(equals(Equals_Param45, 7))), (not(equals(Equals_Param44, 5));not(equals(Equals_Param45, 6))), (not(equals(Equals_Param44, 3));not(equals(Equals_Param45, 4))), (not(equals(Equals_Param44, 2));not(equals(Equals_Param45, 4))), (not(equals(Equals_Param44, 2));not(equals(Equals_Param45, 3))), (not(equals(Equals_Param44, 1));not(equals(Equals_Param45, 4))), (not(equals(Equals_Param44, 1));not(equals(Equals_Param45, 3))), (not(equals(Equals_Param44, 1));not(equals(Equals_Param45, 2))), neighbor(Equals_Param44, Equals_Param45)),  (equals(Equals_Param46, 8):-((not(equals(Equals_Param47, 7));not(equals(Equals_Param46, 8))), (not(equals(Equals_Param46, 1));not(equals(Equals_Param47, 2))), (not(equals(Equals_Param46, 1));not(equals(Equals_Param47, 3))), (not(equals(Equals_Param46, 1));not(equals(Equals_Param47, 4))), (not(equals(Equals_Param46, 2));not(equals(Equals_Param47, 3))), (not(equals(Equals_Param46, 2));not(equals(Equals_Param47, 4))), (not(equals(Equals_Param46, 3));not(equals(Equals_Param47, 4))), (not(equals(Equals_Param46, 5));not(equals(Equals_Param47, 6))), (not(equals(Equals_Param46, 5));not(equals(Equals_Param47, 7))), (not(equals(Equals_Param46, 5));not(equals(Equals_Param47, 8))), (not(equals(Equals_Param46, 6));not(equals(Equals_Param47, 7))), (not(equals(Equals_Param46, 6));not(equals(Equals_Param47, 8))), (not(equals(Equals_Param46, 7));not(equals(Equals_Param47, 8))), (not(equals(Equals_Param47, 4));not(equals(Equals_Param46, 7))), (not(equals(Equals_Param46, 4));not(equals(Equals_Param47, 7)))), (not(equals(Equals_Param47, 6));not(equals(Equals_Param46, 7))), (not(equals(Equals_Param47, 5));not(equals(Equals_Param46, 8))), (not(equals(Equals_Param47, 5));not(equals(Equals_Param46, 7))), (not(equals(Equals_Param47, 5));not(equals(Equals_Param46, 6))), (not(equals(Equals_Param47, 3));not(equals(Equals_Param46, 4))), (not(equals(Equals_Param47, 2));not(equals(Equals_Param46, 4))), (not(equals(Equals_Param47, 2));not(equals(Equals_Param46, 3))), (not(equals(Equals_Param47, 1));not(equals(Equals_Param46, 4))), (not(equals(Equals_Param47, 1));not(equals(Equals_Param46, 3))), (not(equals(Equals_Param47, 1));not(equals(Equals_Param46, 2))), neighbor(Equals_Param47, Equals_Param46)),  (equals(Equals_Param48, 7):-((not(equals(Equals_Param49, 1));not(equals(Equals_Param48, 2))), (not(equals(Equals_Param49, 1));not(equals(Equals_Param48, 3))), (not(equals(Equals_Param49, 1));not(equals(Equals_Param48, 4))), (not(equals(Equals_Param49, 2));not(equals(Equals_Param48, 3))), (not(equals(Equals_Param49, 2));not(equals(Equals_Param48, 4))), (not(equals(Equals_Param49, 3));not(equals(Equals_Param48, 4))), (not(equals(Equals_Param49, 5));not(equals(Equals_Param48, 6))), (not(equals(Equals_Param49, 5));not(equals(Equals_Param48, 7))), (not(equals(Equals_Param49, 5));not(equals(Equals_Param48, 8))), (not(equals(Equals_Param49, 6));not(equals(Equals_Param48, 7))), (not(equals(Equals_Param49, 6));not(equals(Equals_Param48, 8))), (not(equals(Equals_Param49, 7));not(equals(Equals_Param48, 8))), (not(equals(Equals_Param48, 4));not(equals(Equals_Param49, 7))), (not(equals(Equals_Param49, 4));not(equals(Equals_Param48, 7)))), (not(equals(Equals_Param48, 6));not(equals(Equals_Param49, 8))), (not(equals(Equals_Param48, 6));not(equals(Equals_Param49, 7))), (not(equals(Equals_Param48, 5));not(equals(Equals_Param49, 8))), (not(equals(Equals_Param48, 5));not(equals(Equals_Param49, 7))), (not(equals(Equals_Param48, 5));not(equals(Equals_Param49, 6))), (not(equals(Equals_Param48, 3));not(equals(Equals_Param49, 4))), (not(equals(Equals_Param48, 2));not(equals(Equals_Param49, 4))), (not(equals(Equals_Param48, 2));not(equals(Equals_Param49, 3))), (not(equals(Equals_Param48, 1));not(equals(Equals_Param49, 4))), (not(equals(Equals_Param48, 1));not(equals(Equals_Param49, 3))), (not(equals(Equals_Param48, 1));not(equals(Equals_Param49, 2))), neighbor(Equals_Param48, Equals_Param49)),  (equals(Equals_Param50, 8):-((not(equals(Equals_Param50, 1));not(equals(Equals_Param51, 2))), (not(equals(Equals_Param50, 1));not(equals(Equals_Param51, 3))), (not(equals(Equals_Param50, 1));not(equals(Equals_Param51, 4))), (not(equals(Equals_Param50, 2));not(equals(Equals_Param51, 3))), (not(equals(Equals_Param50, 2));not(equals(Equals_Param51, 4))), (not(equals(Equals_Param50, 3));not(equals(Equals_Param51, 4))), (not(equals(Equals_Param50, 5));not(equals(Equals_Param51, 6))), (not(equals(Equals_Param50, 5));not(equals(Equals_Param51, 7))), (not(equals(Equals_Param50, 5));not(equals(Equals_Param51, 8))), (not(equals(Equals_Param50, 6));not(equals(Equals_Param51, 7))), (not(equals(Equals_Param50, 6));not(equals(Equals_Param51, 8))), (not(equals(Equals_Param50, 7));not(equals(Equals_Param51, 8))), (not(equals(Equals_Param51, 4));not(equals(Equals_Param50, 7))), (not(equals(Equals_Param50, 4));not(equals(Equals_Param51, 7)))), (not(equals(Equals_Param51, 6));not(equals(Equals_Param50, 8))), (not(equals(Equals_Param51, 6));not(equals(Equals_Param50, 7))), (not(equals(Equals_Param51, 5));not(equals(Equals_Param50, 8))), (not(equals(Equals_Param51, 5));not(equals(Equals_Param50, 7))), (not(equals(Equals_Param51, 5));not(equals(Equals_Param50, 6))), (not(equals(Equals_Param51, 3));not(equals(Equals_Param50, 4))), (not(equals(Equals_Param51, 2));not(equals(Equals_Param50, 4))), (not(equals(Equals_Param51, 2));not(equals(Equals_Param50, 3))), (not(equals(Equals_Param51, 1));not(equals(Equals_Param50, 4))), (not(equals(Equals_Param51, 1));not(equals(Equals_Param50, 3))), (not(equals(Equals_Param51, 1));not(equals(Equals_Param50, 2))), neighbor(Equals_Param51, Equals_Param50)),  (equals(Equals_Param52, 1):-((not(equals(Equals_Param52, 1));not(equals(Equals_Param53, 3))), (not(equals(Equals_Param52, 1));not(equals(Equals_Param53, 4))), (not(equals(Equals_Param52, 2));not(equals(Equals_Param53, 3))), (not(equals(Equals_Param52, 2));not(equals(Equals_Param53, 4))), (not(equals(Equals_Param52, 3));not(equals(Equals_Param53, 4))), (not(equals(Equals_Param52, 5));not(equals(Equals_Param53, 6))), (not(equals(Equals_Param52, 5));not(equals(Equals_Param53, 7))), (not(equals(Equals_Param52, 5));not(equals(Equals_Param53, 8))), (not(equals(Equals_Param52, 6));not(equals(Equals_Param53, 7))), (not(equals(Equals_Param52, 6));not(equals(Equals_Param53, 8))), (not(equals(Equals_Param52, 7));not(equals(Equals_Param53, 8))), (not(equals(Equals_Param53, 4));not(equals(Equals_Param52, 7))), (not(equals(Equals_Param52, 4));not(equals(Equals_Param53, 7)))), (not(equals(Equals_Param53, 7));not(equals(Equals_Param52, 8))), (not(equals(Equals_Param53, 6));not(equals(Equals_Param52, 8))), (not(equals(Equals_Param53, 6));not(equals(Equals_Param52, 7))), (not(equals(Equals_Param53, 5));not(equals(Equals_Param52, 8))), (not(equals(Equals_Param53, 5));not(equals(Equals_Param52, 7))), (not(equals(Equals_Param53, 5));not(equals(Equals_Param52, 6))), (not(equals(Equals_Param53, 3));not(equals(Equals_Param52, 4))), (not(equals(Equals_Param53, 2));not(equals(Equals_Param52, 4))), (not(equals(Equals_Param53, 2));not(equals(Equals_Param52, 3))), (not(equals(Equals_Param53, 1));not(equals(Equals_Param52, 4))), (not(equals(Equals_Param53, 1));not(equals(Equals_Param52, 3))), (not(equals(Equals_Param53, 1));not(equals(Equals_Param52, 2))), neighbor(Equals_Param53, Equals_Param52)),  (equals(Equals_Param54, 2):-((not(equals(Equals_Param55, 1));not(equals(Equals_Param54, 3))), (not(equals(Equals_Param55, 1));not(equals(Equals_Param54, 4))), (not(equals(Equals_Param55, 2));not(equals(Equals_Param54, 3))), (not(equals(Equals_Param55, 2));not(equals(Equals_Param54, 4))), (not(equals(Equals_Param55, 3));not(equals(Equals_Param54, 4))), (not(equals(Equals_Param55, 5));not(equals(Equals_Param54, 6))), (not(equals(Equals_Param55, 5));not(equals(Equals_Param54, 7))), (not(equals(Equals_Param55, 5));not(equals(Equals_Param54, 8))), (not(equals(Equals_Param55, 6));not(equals(Equals_Param54, 7))), (not(equals(Equals_Param55, 6));not(equals(Equals_Param54, 8))), (not(equals(Equals_Param55, 7));not(equals(Equals_Param54, 8))), (not(equals(Equals_Param54, 4));not(equals(Equals_Param55, 7))), (not(equals(Equals_Param55, 4));not(equals(Equals_Param54, 7)))), (not(equals(Equals_Param54, 7));not(equals(Equals_Param55, 8))), (not(equals(Equals_Param54, 6));not(equals(Equals_Param55, 8))), (not(equals(Equals_Param54, 6));not(equals(Equals_Param55, 7))), (not(equals(Equals_Param54, 5));not(equals(Equals_Param55, 8))), (not(equals(Equals_Param54, 5));not(equals(Equals_Param55, 7))), (not(equals(Equals_Param54, 5));not(equals(Equals_Param55, 6))), (not(equals(Equals_Param54, 3));not(equals(Equals_Param55, 4))), (not(equals(Equals_Param54, 2));not(equals(Equals_Param55, 4))), (not(equals(Equals_Param54, 2));not(equals(Equals_Param55, 3))), (not(equals(Equals_Param54, 1));not(equals(Equals_Param55, 4))), (not(equals(Equals_Param54, 1));not(equals(Equals_Param55, 3))), (not(equals(Equals_Param54, 1));not(equals(Equals_Param55, 2))), neighbor(Equals_Param54, Equals_Param55)),  (equals(Equals_Param56, 1):-((not(equals(Equals_Param56, 1));not(equals(Equals_Param57, 4))), (not(equals(Equals_Param56, 2));not(equals(Equals_Param57, 3))), (not(equals(Equals_Param56, 2));not(equals(Equals_Param57, 4))), (not(equals(Equals_Param56, 3));not(equals(Equals_Param57, 4))), (not(equals(Equals_Param56, 5));not(equals(Equals_Param57, 6))), (not(equals(Equals_Param56, 5));not(equals(Equals_Param57, 7))), (not(equals(Equals_Param56, 5));not(equals(Equals_Param57, 8))), (not(equals(Equals_Param56, 6));not(equals(Equals_Param57, 7))), (not(equals(Equals_Param56, 6));not(equals(Equals_Param57, 8))), (not(equals(Equals_Param56, 7));not(equals(Equals_Param57, 8))), (not(equals(Equals_Param57, 4));not(equals(Equals_Param56, 7))), (not(equals(Equals_Param56, 4));not(equals(Equals_Param57, 7)))), (not(equals(Equals_Param56, 1));not(equals(Equals_Param57, 2))), (not(equals(Equals_Param57, 7));not(equals(Equals_Param56, 8))), (not(equals(Equals_Param57, 6));not(equals(Equals_Param56, 8))), (not(equals(Equals_Param57, 6));not(equals(Equals_Param56, 7))), (not(equals(Equals_Param57, 5));not(equals(Equals_Param56, 8))), (not(equals(Equals_Param57, 5));not(equals(Equals_Param56, 7))), (not(equals(Equals_Param57, 5));not(equals(Equals_Param56, 6))), (not(equals(Equals_Param57, 3));not(equals(Equals_Param56, 4))), (not(equals(Equals_Param57, 2));not(equals(Equals_Param56, 4))), (not(equals(Equals_Param57, 2));not(equals(Equals_Param56, 3))), (not(equals(Equals_Param57, 1));not(equals(Equals_Param56, 4))), (not(equals(Equals_Param57, 1));not(equals(Equals_Param56, 3))), (not(equals(Equals_Param57, 1));not(equals(Equals_Param56, 2))), neighbor(Equals_Param57, Equals_Param56)),  (equals(Equals_Param58, 3):-((not(equals(Equals_Param59, 1));not(equals(Equals_Param58, 4))), (not(equals(Equals_Param59, 2));not(equals(Equals_Param58, 3))), (not(equals(Equals_Param59, 2));not(equals(Equals_Param58, 4))), (not(equals(Equals_Param59, 3));not(equals(Equals_Param58, 4))), (not(equals(Equals_Param59, 5));not(equals(Equals_Param58, 6))), (not(equals(Equals_Param59, 5));not(equals(Equals_Param58, 7))), (not(equals(Equals_Param59, 5));not(equals(Equals_Param58, 8))), (not(equals(Equals_Param59, 6));not(equals(Equals_Param58, 7))), (not(equals(Equals_Param59, 6));not(equals(Equals_Param58, 8))), (not(equals(Equals_Param59, 7));not(equals(Equals_Param58, 8))), (not(equals(Equals_Param58, 4));not(equals(Equals_Param59, 7))), (not(equals(Equals_Param59, 4));not(equals(Equals_Param58, 7)))), (not(equals(Equals_Param59, 1));not(equals(Equals_Param58, 2))), (not(equals(Equals_Param58, 7));not(equals(Equals_Param59, 8))), (not(equals(Equals_Param58, 6));not(equals(Equals_Param59, 8))), (not(equals(Equals_Param58, 6));not(equals(Equals_Param59, 7))), (not(equals(Equals_Param58, 5));not(equals(Equals_Param59, 8))), (not(equals(Equals_Param58, 5));not(equals(Equals_Param59, 7))), (not(equals(Equals_Param58, 5));not(equals(Equals_Param59, 6))), (not(equals(Equals_Param58, 3));not(equals(Equals_Param59, 4))), (not(equals(Equals_Param58, 2));not(equals(Equals_Param59, 4))), (not(equals(Equals_Param58, 2));not(equals(Equals_Param59, 3))), (not(equals(Equals_Param58, 1));not(equals(Equals_Param59, 4))), (not(equals(Equals_Param58, 1));not(equals(Equals_Param59, 3))), (not(equals(Equals_Param58, 1));not(equals(Equals_Param59, 2))), neighbor(Equals_Param58, Equals_Param59)),  (equals(Equals_Param60, 1):-((not(equals(Equals_Param60, 2));not(equals(Equals_Param61, 3))), (not(equals(Equals_Param60, 2));not(equals(Equals_Param61, 4))), (not(equals(Equals_Param60, 3));not(equals(Equals_Param61, 4))), (not(equals(Equals_Param60, 5));not(equals(Equals_Param61, 6))), (not(equals(Equals_Param60, 5));not(equals(Equals_Param61, 7))), (not(equals(Equals_Param60, 5));not(equals(Equals_Param61, 8))), (not(equals(Equals_Param60, 6));not(equals(Equals_Param61, 7))), (not(equals(Equals_Param60, 6));not(equals(Equals_Param61, 8))), (not(equals(Equals_Param60, 7));not(equals(Equals_Param61, 8))), (not(equals(Equals_Param61, 4));not(equals(Equals_Param60, 7))), (not(equals(Equals_Param60, 4));not(equals(Equals_Param61, 7)))), (not(equals(Equals_Param60, 1));not(equals(Equals_Param61, 3))), (not(equals(Equals_Param60, 1));not(equals(Equals_Param61, 2))), (not(equals(Equals_Param61, 7));not(equals(Equals_Param60, 8))), (not(equals(Equals_Param61, 6));not(equals(Equals_Param60, 8))), (not(equals(Equals_Param61, 6));not(equals(Equals_Param60, 7))), (not(equals(Equals_Param61, 5));not(equals(Equals_Param60, 8))), (not(equals(Equals_Param61, 5));not(equals(Equals_Param60, 7))), (not(equals(Equals_Param61, 5));not(equals(Equals_Param60, 6))), (not(equals(Equals_Param61, 3));not(equals(Equals_Param60, 4))), (not(equals(Equals_Param61, 2));not(equals(Equals_Param60, 4))), (not(equals(Equals_Param61, 2));not(equals(Equals_Param60, 3))), (not(equals(Equals_Param61, 1));not(equals(Equals_Param60, 4))), (not(equals(Equals_Param61, 1));not(equals(Equals_Param60, 3))), (not(equals(Equals_Param61, 1));not(equals(Equals_Param60, 2))), neighbor(Equals_Param61, Equals_Param60)),  (equals(Equals_Param62, 4):-((not(equals(Equals_Param63, 2));not(equals(Equals_Param62, 3))), (not(equals(Equals_Param63, 2));not(equals(Equals_Param62, 4))), (not(equals(Equals_Param63, 3));not(equals(Equals_Param62, 4))), (not(equals(Equals_Param63, 5));not(equals(Equals_Param62, 6))), (not(equals(Equals_Param63, 5));not(equals(Equals_Param62, 7))), (not(equals(Equals_Param63, 5));not(equals(Equals_Param62, 8))), (not(equals(Equals_Param63, 6));not(equals(Equals_Param62, 7))), (not(equals(Equals_Param63, 6));not(equals(Equals_Param62, 8))), (not(equals(Equals_Param63, 7));not(equals(Equals_Param62, 8))), (not(equals(Equals_Param62, 4));not(equals(Equals_Param63, 7))), (not(equals(Equals_Param63, 4));not(equals(Equals_Param62, 7)))), (not(equals(Equals_Param63, 1));not(equals(Equals_Param62, 3))), (not(equals(Equals_Param63, 1));not(equals(Equals_Param62, 2))), (not(equals(Equals_Param62, 7));not(equals(Equals_Param63, 8))), (not(equals(Equals_Param62, 6));not(equals(Equals_Param63, 8))), (not(equals(Equals_Param62, 6));not(equals(Equals_Param63, 7))), (not(equals(Equals_Param62, 5));not(equals(Equals_Param63, 8))), (not(equals(Equals_Param62, 5));not(equals(Equals_Param63, 7))), (not(equals(Equals_Param62, 5));not(equals(Equals_Param63, 6))), (not(equals(Equals_Param62, 3));not(equals(Equals_Param63, 4))), (not(equals(Equals_Param62, 2));not(equals(Equals_Param63, 4))), (not(equals(Equals_Param62, 2));not(equals(Equals_Param63, 3))), (not(equals(Equals_Param62, 1));not(equals(Equals_Param63, 4))), (not(equals(Equals_Param62, 1));not(equals(Equals_Param63, 3))), (not(equals(Equals_Param62, 1));not(equals(Equals_Param63, 2))), neighbor(Equals_Param62, Equals_Param63)),  (equals(Equals_Param64, 2):-((not(equals(Equals_Param64, 2));not(equals(Equals_Param65, 4))), (not(equals(Equals_Param64, 3));not(equals(Equals_Param65, 4))), (not(equals(Equals_Param64, 5));not(equals(Equals_Param65, 6))), (not(equals(Equals_Param64, 5));not(equals(Equals_Param65, 7))), (not(equals(Equals_Param64, 5));not(equals(Equals_Param65, 8))), (not(equals(Equals_Param64, 6));not(equals(Equals_Param65, 7))), (not(equals(Equals_Param64, 6));not(equals(Equals_Param65, 8))), (not(equals(Equals_Param64, 7));not(equals(Equals_Param65, 8))), (not(equals(Equals_Param65, 4));not(equals(Equals_Param64, 7))), (not(equals(Equals_Param64, 4));not(equals(Equals_Param65, 7)))), (not(equals(Equals_Param64, 1));not(equals(Equals_Param65, 4))), (not(equals(Equals_Param64, 1));not(equals(Equals_Param65, 3))), (not(equals(Equals_Param64, 1));not(equals(Equals_Param65, 2))), (not(equals(Equals_Param65, 7));not(equals(Equals_Param64, 8))), (not(equals(Equals_Param65, 6));not(equals(Equals_Param64, 8))), (not(equals(Equals_Param65, 6));not(equals(Equals_Param64, 7))), (not(equals(Equals_Param65, 5));not(equals(Equals_Param64, 8))), (not(equals(Equals_Param65, 5));not(equals(Equals_Param64, 7))), (not(equals(Equals_Param65, 5));not(equals(Equals_Param64, 6))), (not(equals(Equals_Param65, 3));not(equals(Equals_Param64, 4))), (not(equals(Equals_Param65, 2));not(equals(Equals_Param64, 4))), (not(equals(Equals_Param65, 2));not(equals(Equals_Param64, 3))), (not(equals(Equals_Param65, 1));not(equals(Equals_Param64, 4))), (not(equals(Equals_Param65, 1));not(equals(Equals_Param64, 3))), (not(equals(Equals_Param65, 1));not(equals(Equals_Param64, 2))), neighbor(Equals_Param65, Equals_Param64)),  (equals(Equals_Param66, 3):-((not(equals(Equals_Param67, 2));not(equals(Equals_Param66, 4))), (not(equals(Equals_Param67, 3));not(equals(Equals_Param66, 4))), (not(equals(Equals_Param67, 5));not(equals(Equals_Param66, 6))), (not(equals(Equals_Param67, 5));not(equals(Equals_Param66, 7))), (not(equals(Equals_Param67, 5));not(equals(Equals_Param66, 8))), (not(equals(Equals_Param67, 6));not(equals(Equals_Param66, 7))), (not(equals(Equals_Param67, 6));not(equals(Equals_Param66, 8))), (not(equals(Equals_Param67, 7));not(equals(Equals_Param66, 8))), (not(equals(Equals_Param66, 4));not(equals(Equals_Param67, 7))), (not(equals(Equals_Param67, 4));not(equals(Equals_Param66, 7)))), (not(equals(Equals_Param67, 1));not(equals(Equals_Param66, 4))), (not(equals(Equals_Param67, 1));not(equals(Equals_Param66, 3))), (not(equals(Equals_Param67, 1));not(equals(Equals_Param66, 2))), (not(equals(Equals_Param66, 7));not(equals(Equals_Param67, 8))), (not(equals(Equals_Param66, 6));not(equals(Equals_Param67, 8))), (not(equals(Equals_Param66, 6));not(equals(Equals_Param67, 7))), (not(equals(Equals_Param66, 5));not(equals(Equals_Param67, 8))), (not(equals(Equals_Param66, 5));not(equals(Equals_Param67, 7))), (not(equals(Equals_Param66, 5));not(equals(Equals_Param67, 6))), (not(equals(Equals_Param66, 3));not(equals(Equals_Param67, 4))), (not(equals(Equals_Param66, 2));not(equals(Equals_Param67, 4))), (not(equals(Equals_Param66, 2));not(equals(Equals_Param67, 3))), (not(equals(Equals_Param66, 1));not(equals(Equals_Param67, 4))), (not(equals(Equals_Param66, 1));not(equals(Equals_Param67, 3))), (not(equals(Equals_Param66, 1));not(equals(Equals_Param67, 2))), neighbor(Equals_Param66, Equals_Param67)),  (equals(Equals_Param68, 2):-((not(equals(Equals_Param68, 3));not(equals(Equals_Param69, 4))), (not(equals(Equals_Param68, 5));not(equals(Equals_Param69, 6))), (not(equals(Equals_Param68, 5));not(equals(Equals_Param69, 7))), (not(equals(Equals_Param68, 5));not(equals(Equals_Param69, 8))), (not(equals(Equals_Param68, 6));not(equals(Equals_Param69, 7))), (not(equals(Equals_Param68, 6));not(equals(Equals_Param69, 8))), (not(equals(Equals_Param68, 7));not(equals(Equals_Param69, 8))), (not(equals(Equals_Param69, 4));not(equals(Equals_Param68, 7))), (not(equals(Equals_Param68, 4));not(equals(Equals_Param69, 7)))), (not(equals(Equals_Param68, 2));not(equals(Equals_Param69, 3))), (not(equals(Equals_Param68, 1));not(equals(Equals_Param69, 4))), (not(equals(Equals_Param68, 1));not(equals(Equals_Param69, 3))), (not(equals(Equals_Param68, 1));not(equals(Equals_Param69, 2))), (not(equals(Equals_Param69, 7));not(equals(Equals_Param68, 8))), (not(equals(Equals_Param69, 6));not(equals(Equals_Param68, 8))), (not(equals(Equals_Param69, 6));not(equals(Equals_Param68, 7))), (not(equals(Equals_Param69, 5));not(equals(Equals_Param68, 8))), (not(equals(Equals_Param69, 5));not(equals(Equals_Param68, 7))), (not(equals(Equals_Param69, 5));not(equals(Equals_Param68, 6))), (not(equals(Equals_Param69, 3));not(equals(Equals_Param68, 4))), (not(equals(Equals_Param69, 2));not(equals(Equals_Param68, 4))), (not(equals(Equals_Param69, 2));not(equals(Equals_Param68, 3))), (not(equals(Equals_Param69, 1));not(equals(Equals_Param68, 4))), (not(equals(Equals_Param69, 1));not(equals(Equals_Param68, 3))), (not(equals(Equals_Param69, 1));not(equals(Equals_Param68, 2))), neighbor(Equals_Param69, Equals_Param68)),  (equals(Equals_Param70, 4):-((not(equals(Equals_Param71, 3));not(equals(Equals_Param70, 4))), (not(equals(Equals_Param71, 5));not(equals(Equals_Param70, 6))), (not(equals(Equals_Param71, 5));not(equals(Equals_Param70, 7))), (not(equals(Equals_Param71, 5));not(equals(Equals_Param70, 8))), (not(equals(Equals_Param71, 6));not(equals(Equals_Param70, 7))), (not(equals(Equals_Param71, 6));not(equals(Equals_Param70, 8))), (not(equals(Equals_Param71, 7));not(equals(Equals_Param70, 8))), (not(equals(Equals_Param70, 4));not(equals(Equals_Param71, 7))), (not(equals(Equals_Param71, 4));not(equals(Equals_Param70, 7)))), (not(equals(Equals_Param71, 2));not(equals(Equals_Param70, 3))), (not(equals(Equals_Param71, 1));not(equals(Equals_Param70, 4))), (not(equals(Equals_Param71, 1));not(equals(Equals_Param70, 3))), (not(equals(Equals_Param71, 1));not(equals(Equals_Param70, 2))), (not(equals(Equals_Param70, 7));not(equals(Equals_Param71, 8))), (not(equals(Equals_Param70, 6));not(equals(Equals_Param71, 8))), (not(equals(Equals_Param70, 6));not(equals(Equals_Param71, 7))), (not(equals(Equals_Param70, 5));not(equals(Equals_Param71, 8))), (not(equals(Equals_Param70, 5));not(equals(Equals_Param71, 7))), (not(equals(Equals_Param70, 5));not(equals(Equals_Param71, 6))), (not(equals(Equals_Param70, 3));not(equals(Equals_Param71, 4))), (not(equals(Equals_Param70, 2));not(equals(Equals_Param71, 4))), (not(equals(Equals_Param70, 2));not(equals(Equals_Param71, 3))), (not(equals(Equals_Param70, 1));not(equals(Equals_Param71, 4))), (not(equals(Equals_Param70, 1));not(equals(Equals_Param71, 3))), (not(equals(Equals_Param70, 1));not(equals(Equals_Param71, 2))), neighbor(Equals_Param70, Equals_Param71)),  (equals(Equals_Param72, 3):-((not(equals(Equals_Param72, 5));not(equals(Equals_Param73, 6))), (not(equals(Equals_Param72, 5));not(equals(Equals_Param73, 7))), (not(equals(Equals_Param72, 5));not(equals(Equals_Param73, 8))), (not(equals(Equals_Param72, 6));not(equals(Equals_Param73, 7))), (not(equals(Equals_Param72, 6));not(equals(Equals_Param73, 8))), (not(equals(Equals_Param72, 7));not(equals(Equals_Param73, 8))), (not(equals(Equals_Param73, 4));not(equals(Equals_Param72, 7))), (not(equals(Equals_Param72, 4));not(equals(Equals_Param73, 7)))), (not(equals(Equals_Param72, 2));not(equals(Equals_Param73, 4))), (not(equals(Equals_Param72, 2));not(equals(Equals_Param73, 3))), (not(equals(Equals_Param72, 1));not(equals(Equals_Param73, 4))), (not(equals(Equals_Param72, 1));not(equals(Equals_Param73, 3))), (not(equals(Equals_Param72, 1));not(equals(Equals_Param73, 2))), (not(equals(Equals_Param73, 7));not(equals(Equals_Param72, 8))), (not(equals(Equals_Param73, 6));not(equals(Equals_Param72, 8))), (not(equals(Equals_Param73, 6));not(equals(Equals_Param72, 7))), (not(equals(Equals_Param73, 5));not(equals(Equals_Param72, 8))), (not(equals(Equals_Param73, 5));not(equals(Equals_Param72, 7))), (not(equals(Equals_Param73, 5));not(equals(Equals_Param72, 6))), (not(equals(Equals_Param73, 3));not(equals(Equals_Param72, 4))), (not(equals(Equals_Param73, 2));not(equals(Equals_Param72, 4))), (not(equals(Equals_Param73, 2));not(equals(Equals_Param72, 3))), (not(equals(Equals_Param73, 1));not(equals(Equals_Param72, 4))), (not(equals(Equals_Param73, 1));not(equals(Equals_Param72, 3))), (not(equals(Equals_Param73, 1));not(equals(Equals_Param72, 2))), neighbor(Equals_Param73, Equals_Param72)),  (equals(Equals_Param74, 4):-((not(equals(Equals_Param75, 5));not(equals(Equals_Param74, 6))), (not(equals(Equals_Param75, 5));not(equals(Equals_Param74, 7))), (not(equals(Equals_Param75, 5));not(equals(Equals_Param74, 8))), (not(equals(Equals_Param75, 6));not(equals(Equals_Param74, 7))), (not(equals(Equals_Param75, 6));not(equals(Equals_Param74, 8))), (not(equals(Equals_Param75, 7));not(equals(Equals_Param74, 8))), (not(equals(Equals_Param74, 4));not(equals(Equals_Param75, 7))), (not(equals(Equals_Param75, 4));not(equals(Equals_Param74, 7)))), (not(equals(Equals_Param75, 2));not(equals(Equals_Param74, 4))), (not(equals(Equals_Param75, 2));not(equals(Equals_Param74, 3))), (not(equals(Equals_Param75, 1));not(equals(Equals_Param74, 4))), (not(equals(Equals_Param75, 1));not(equals(Equals_Param74, 3))), (not(equals(Equals_Param75, 1));not(equals(Equals_Param74, 2))), (not(equals(Equals_Param74, 7));not(equals(Equals_Param75, 8))), (not(equals(Equals_Param74, 6));not(equals(Equals_Param75, 8))), (not(equals(Equals_Param74, 6));not(equals(Equals_Param75, 7))), (not(equals(Equals_Param74, 5));not(equals(Equals_Param75, 8))), (not(equals(Equals_Param74, 5));not(equals(Equals_Param75, 7))), (not(equals(Equals_Param74, 5));not(equals(Equals_Param75, 6))), (not(equals(Equals_Param74, 3));not(equals(Equals_Param75, 4))), (not(equals(Equals_Param74, 2));not(equals(Equals_Param75, 4))), (not(equals(Equals_Param74, 2));not(equals(Equals_Param75, 3))), (not(equals(Equals_Param74, 1));not(equals(Equals_Param75, 4))), (not(equals(Equals_Param74, 1));not(equals(Equals_Param75, 3))), (not(equals(Equals_Param74, 1));not(equals(Equals_Param75, 2))), neighbor(Equals_Param74, Equals_Param75)),  (equals(Equals_Param76, 5):-((not(equals(Equals_Param76, 5));not(equals(Equals_Param77, 7))), (not(equals(Equals_Param76, 5));not(equals(Equals_Param77, 8))), (not(equals(Equals_Param76, 6));not(equals(Equals_Param77, 7))), (not(equals(Equals_Param76, 6));not(equals(Equals_Param77, 8))), (not(equals(Equals_Param76, 7));not(equals(Equals_Param77, 8))), (not(equals(Equals_Param77, 4));not(equals(Equals_Param76, 7))), (not(equals(Equals_Param76, 4));not(equals(Equals_Param77, 7)))), (not(equals(Equals_Param76, 3));not(equals(Equals_Param77, 4))), (not(equals(Equals_Param76, 2));not(equals(Equals_Param77, 4))), (not(equals(Equals_Param76, 2));not(equals(Equals_Param77, 3))), (not(equals(Equals_Param76, 1));not(equals(Equals_Param77, 4))), (not(equals(Equals_Param76, 1));not(equals(Equals_Param77, 3))), (not(equals(Equals_Param76, 1));not(equals(Equals_Param77, 2))), (not(equals(Equals_Param77, 7));not(equals(Equals_Param76, 8))), (not(equals(Equals_Param77, 6));not(equals(Equals_Param76, 8))), (not(equals(Equals_Param77, 6));not(equals(Equals_Param76, 7))), (not(equals(Equals_Param77, 5));not(equals(Equals_Param76, 8))), (not(equals(Equals_Param77, 5));not(equals(Equals_Param76, 7))), (not(equals(Equals_Param77, 5));not(equals(Equals_Param76, 6))), (not(equals(Equals_Param77, 3));not(equals(Equals_Param76, 4))), (not(equals(Equals_Param77, 2));not(equals(Equals_Param76, 4))), (not(equals(Equals_Param77, 2));not(equals(Equals_Param76, 3))), (not(equals(Equals_Param77, 1));not(equals(Equals_Param76, 4))), (not(equals(Equals_Param77, 1));not(equals(Equals_Param76, 3))), (not(equals(Equals_Param77, 1));not(equals(Equals_Param76, 2))), neighbor(Equals_Param77, Equals_Param76)),  (equals(Equals_Param78, 6):-((not(equals(Equals_Param79, 5));not(equals(Equals_Param78, 7))), (not(equals(Equals_Param79, 5));not(equals(Equals_Param78, 8))), (not(equals(Equals_Param79, 6));not(equals(Equals_Param78, 7))), (not(equals(Equals_Param79, 6));not(equals(Equals_Param78, 8))), (not(equals(Equals_Param79, 7));not(equals(Equals_Param78, 8))), (not(equals(Equals_Param78, 4));not(equals(Equals_Param79, 7))), (not(equals(Equals_Param79, 4));not(equals(Equals_Param78, 7)))), (not(equals(Equals_Param79, 3));not(equals(Equals_Param78, 4))), (not(equals(Equals_Param79, 2));not(equals(Equals_Param78, 4))), (not(equals(Equals_Param79, 2));not(equals(Equals_Param78, 3))), (not(equals(Equals_Param79, 1));not(equals(Equals_Param78, 4))), (not(equals(Equals_Param79, 1));not(equals(Equals_Param78, 3))), (not(equals(Equals_Param79, 1));not(equals(Equals_Param78, 2))), (not(equals(Equals_Param78, 7));not(equals(Equals_Param79, 8))), (not(equals(Equals_Param78, 6));not(equals(Equals_Param79, 8))), (not(equals(Equals_Param78, 6));not(equals(Equals_Param79, 7))), (not(equals(Equals_Param78, 5));not(equals(Equals_Param79, 8))), (not(equals(Equals_Param78, 5));not(equals(Equals_Param79, 7))), (not(equals(Equals_Param78, 5));not(equals(Equals_Param79, 6))), (not(equals(Equals_Param78, 3));not(equals(Equals_Param79, 4))), (not(equals(Equals_Param78, 2));not(equals(Equals_Param79, 4))), (not(equals(Equals_Param78, 2));not(equals(Equals_Param79, 3))), (not(equals(Equals_Param78, 1));not(equals(Equals_Param79, 4))), (not(equals(Equals_Param78, 1));not(equals(Equals_Param79, 3))), (not(equals(Equals_Param78, 1));not(equals(Equals_Param79, 2))), neighbor(Equals_Param78, Equals_Param79)),  (equals(Equals_Param80, 5):-((not(equals(Equals_Param80, 5));not(equals(Equals_Param81, 8))), (not(equals(Equals_Param80, 6));not(equals(Equals_Param81, 7))), (not(equals(Equals_Param80, 6));not(equals(Equals_Param81, 8))), (not(equals(Equals_Param80, 7));not(equals(Equals_Param81, 8))), (not(equals(Equals_Param81, 4));not(equals(Equals_Param80, 7))), (not(equals(Equals_Param80, 4));not(equals(Equals_Param81, 7)))), (not(equals(Equals_Param80, 5));not(equals(Equals_Param81, 6))), (not(equals(Equals_Param80, 3));not(equals(Equals_Param81, 4))), (not(equals(Equals_Param80, 2));not(equals(Equals_Param81, 4))), (not(equals(Equals_Param80, 2));not(equals(Equals_Param81, 3))), (not(equals(Equals_Param80, 1));not(equals(Equals_Param81, 4))), (not(equals(Equals_Param80, 1));not(equals(Equals_Param81, 3))), (not(equals(Equals_Param80, 1));not(equals(Equals_Param81, 2))), (not(equals(Equals_Param81, 7));not(equals(Equals_Param80, 8))), (not(equals(Equals_Param81, 6));not(equals(Equals_Param80, 8))), (not(equals(Equals_Param81, 6));not(equals(Equals_Param80, 7))), (not(equals(Equals_Param81, 5));not(equals(Equals_Param80, 8))), (not(equals(Equals_Param81, 5));not(equals(Equals_Param80, 7))), (not(equals(Equals_Param81, 5));not(equals(Equals_Param80, 6))), (not(equals(Equals_Param81, 3));not(equals(Equals_Param80, 4))), (not(equals(Equals_Param81, 2));not(equals(Equals_Param80, 4))), (not(equals(Equals_Param81, 2));not(equals(Equals_Param80, 3))), (not(equals(Equals_Param81, 1));not(equals(Equals_Param80, 4))), (not(equals(Equals_Param81, 1));not(equals(Equals_Param80, 3))), (not(equals(Equals_Param81, 1));not(equals(Equals_Param80, 2))), neighbor(Equals_Param81, Equals_Param80)),  (equals(Equals_Param82, 7):-((not(equals(Equals_Param83, 5));not(equals(Equals_Param82, 8))), (not(equals(Equals_Param83, 6));not(equals(Equals_Param82, 7))), (not(equals(Equals_Param83, 6));not(equals(Equals_Param82, 8))), (not(equals(Equals_Param83, 7));not(equals(Equals_Param82, 8))), (not(equals(Equals_Param82, 4));not(equals(Equals_Param83, 7))), (not(equals(Equals_Param83, 4));not(equals(Equals_Param82, 7)))), (not(equals(Equals_Param83, 5));not(equals(Equals_Param82, 6))), (not(equals(Equals_Param83, 3));not(equals(Equals_Param82, 4))), (not(equals(Equals_Param83, 2));not(equals(Equals_Param82, 4))), (not(equals(Equals_Param83, 2));not(equals(Equals_Param82, 3))), (not(equals(Equals_Param83, 1));not(equals(Equals_Param82, 4))), (not(equals(Equals_Param83, 1));not(equals(Equals_Param82, 3))), (not(equals(Equals_Param83, 1));not(equals(Equals_Param82, 2))), (not(equals(Equals_Param82, 7));not(equals(Equals_Param83, 8))), (not(equals(Equals_Param82, 6));not(equals(Equals_Param83, 8))), (not(equals(Equals_Param82, 6));not(equals(Equals_Param83, 7))), (not(equals(Equals_Param82, 5));not(equals(Equals_Param83, 8))), (not(equals(Equals_Param82, 5));not(equals(Equals_Param83, 7))), (not(equals(Equals_Param82, 5));not(equals(Equals_Param83, 6))), (not(equals(Equals_Param82, 3));not(equals(Equals_Param83, 4))), (not(equals(Equals_Param82, 2));not(equals(Equals_Param83, 4))), (not(equals(Equals_Param82, 2));not(equals(Equals_Param83, 3))), (not(equals(Equals_Param82, 1));not(equals(Equals_Param83, 4))), (not(equals(Equals_Param82, 1));not(equals(Equals_Param83, 3))), (not(equals(Equals_Param82, 1));not(equals(Equals_Param83, 2))), neighbor(Equals_Param82, Equals_Param83)),  (equals(Equals_Param84, 5):-((not(equals(Equals_Param84, 6));not(equals(Equals_Param85, 7))), (not(equals(Equals_Param84, 6));not(equals(Equals_Param85, 8))), (not(equals(Equals_Param84, 7));not(equals(Equals_Param85, 8))), (not(equals(Equals_Param85, 4));not(equals(Equals_Param84, 7))), (not(equals(Equals_Param84, 4));not(equals(Equals_Param85, 7)))), (not(equals(Equals_Param84, 5));not(equals(Equals_Param85, 7))), (not(equals(Equals_Param84, 5));not(equals(Equals_Param85, 6))), (not(equals(Equals_Param84, 3));not(equals(Equals_Param85, 4))), (not(equals(Equals_Param84, 2));not(equals(Equals_Param85, 4))), (not(equals(Equals_Param84, 2));not(equals(Equals_Param85, 3))), (not(equals(Equals_Param84, 1));not(equals(Equals_Param85, 4))), (not(equals(Equals_Param84, 1));not(equals(Equals_Param85, 3))), (not(equals(Equals_Param84, 1));not(equals(Equals_Param85, 2))), (not(equals(Equals_Param85, 7));not(equals(Equals_Param84, 8))), (not(equals(Equals_Param85, 6));not(equals(Equals_Param84, 8))), (not(equals(Equals_Param85, 6));not(equals(Equals_Param84, 7))), (not(equals(Equals_Param85, 5));not(equals(Equals_Param84, 8))), (not(equals(Equals_Param85, 5));not(equals(Equals_Param84, 7))), (not(equals(Equals_Param85, 5));not(equals(Equals_Param84, 6))), (not(equals(Equals_Param85, 3));not(equals(Equals_Param84, 4))), (not(equals(Equals_Param85, 2));not(equals(Equals_Param84, 4))), (not(equals(Equals_Param85, 2));not(equals(Equals_Param84, 3))), (not(equals(Equals_Param85, 1));not(equals(Equals_Param84, 4))), (not(equals(Equals_Param85, 1));not(equals(Equals_Param84, 3))), (not(equals(Equals_Param85, 1));not(equals(Equals_Param84, 2))), neighbor(Equals_Param85, Equals_Param84)),  (equals(Equals_Param86, 8):-((not(equals(Equals_Param87, 6));not(equals(Equals_Param86, 7))), (not(equals(Equals_Param87, 6));not(equals(Equals_Param86, 8))), (not(equals(Equals_Param87, 7));not(equals(Equals_Param86, 8))), (not(equals(Equals_Param86, 4));not(equals(Equals_Param87, 7))), (not(equals(Equals_Param87, 4));not(equals(Equals_Param86, 7)))), (not(equals(Equals_Param87, 5));not(equals(Equals_Param86, 7))), (not(equals(Equals_Param87, 5));not(equals(Equals_Param86, 6))), (not(equals(Equals_Param87, 3));not(equals(Equals_Param86, 4))), (not(equals(Equals_Param87, 2));not(equals(Equals_Param86, 4))), (not(equals(Equals_Param87, 2));not(equals(Equals_Param86, 3))), (not(equals(Equals_Param87, 1));not(equals(Equals_Param86, 4))), (not(equals(Equals_Param87, 1));not(equals(Equals_Param86, 3))), (not(equals(Equals_Param87, 1));not(equals(Equals_Param86, 2))), (not(equals(Equals_Param86, 7));not(equals(Equals_Param87, 8))), (not(equals(Equals_Param86, 6));not(equals(Equals_Param87, 8))), (not(equals(Equals_Param86, 6));not(equals(Equals_Param87, 7))), (not(equals(Equals_Param86, 5));not(equals(Equals_Param87, 8))), (not(equals(Equals_Param86, 5));not(equals(Equals_Param87, 7))), (not(equals(Equals_Param86, 5));not(equals(Equals_Param87, 6))), (not(equals(Equals_Param86, 3));not(equals(Equals_Param87, 4))), (not(equals(Equals_Param86, 2));not(equals(Equals_Param87, 4))), (not(equals(Equals_Param86, 2));not(equals(Equals_Param87, 3))), (not(equals(Equals_Param86, 1));not(equals(Equals_Param87, 4))), (not(equals(Equals_Param86, 1));not(equals(Equals_Param87, 3))), (not(equals(Equals_Param86, 1));not(equals(Equals_Param87, 2))), neighbor(Equals_Param86, Equals_Param87)),  (equals(Equals_Param88, 6):-((not(equals(Equals_Param88, 6));not(equals(Equals_Param89, 8))), (not(equals(Equals_Param88, 7));not(equals(Equals_Param89, 8))), (not(equals(Equals_Param89, 4));not(equals(Equals_Param88, 7))), (not(equals(Equals_Param88, 4));not(equals(Equals_Param89, 7)))), (not(equals(Equals_Param88, 5));not(equals(Equals_Param89, 8))), (not(equals(Equals_Param88, 5));not(equals(Equals_Param89, 7))), (not(equals(Equals_Param88, 5));not(equals(Equals_Param89, 6))), (not(equals(Equals_Param88, 3));not(equals(Equals_Param89, 4))), (not(equals(Equals_Param88, 2));not(equals(Equals_Param89, 4))), (not(equals(Equals_Param88, 2));not(equals(Equals_Param89, 3))), (not(equals(Equals_Param88, 1));not(equals(Equals_Param89, 4))), (not(equals(Equals_Param88, 1));not(equals(Equals_Param89, 3))), (not(equals(Equals_Param88, 1));not(equals(Equals_Param89, 2))), (not(equals(Equals_Param89, 7));not(equals(Equals_Param88, 8))), (not(equals(Equals_Param89, 6));not(equals(Equals_Param88, 8))), (not(equals(Equals_Param89, 6));not(equals(Equals_Param88, 7))), (not(equals(Equals_Param89, 5));not(equals(Equals_Param88, 8))), (not(equals(Equals_Param89, 5));not(equals(Equals_Param88, 7))), (not(equals(Equals_Param89, 5));not(equals(Equals_Param88, 6))), (not(equals(Equals_Param89, 3));not(equals(Equals_Param88, 4))), (not(equals(Equals_Param89, 2));not(equals(Equals_Param88, 4))), (not(equals(Equals_Param89, 2));not(equals(Equals_Param88, 3))), (not(equals(Equals_Param89, 1));not(equals(Equals_Param88, 4))), (not(equals(Equals_Param89, 1));not(equals(Equals_Param88, 3))), (not(equals(Equals_Param89, 1));not(equals(Equals_Param88, 2))), neighbor(Equals_Param89, Equals_Param88)),  (equals(Equals_Param90, 7):-((not(equals(Equals_Param91, 6));not(equals(Equals_Param90, 8))), (not(equals(Equals_Param91, 7));not(equals(Equals_Param90, 8))), (not(equals(Equals_Param90, 4));not(equals(Equals_Param91, 7))), (not(equals(Equals_Param91, 4));not(equals(Equals_Param90, 7)))), (not(equals(Equals_Param91, 5));not(equals(Equals_Param90, 8))), (not(equals(Equals_Param91, 5));not(equals(Equals_Param90, 7))), (not(equals(Equals_Param91, 5));not(equals(Equals_Param90, 6))), (not(equals(Equals_Param91, 3));not(equals(Equals_Param90, 4))), (not(equals(Equals_Param91, 2));not(equals(Equals_Param90, 4))), (not(equals(Equals_Param91, 2));not(equals(Equals_Param90, 3))), (not(equals(Equals_Param91, 1));not(equals(Equals_Param90, 4))), (not(equals(Equals_Param91, 1));not(equals(Equals_Param90, 3))), (not(equals(Equals_Param91, 1));not(equals(Equals_Param90, 2))), (not(equals(Equals_Param90, 7));not(equals(Equals_Param91, 8))), (not(equals(Equals_Param90, 6));not(equals(Equals_Param91, 8))), (not(equals(Equals_Param90, 6));not(equals(Equals_Param91, 7))), (not(equals(Equals_Param90, 5));not(equals(Equals_Param91, 8))), (not(equals(Equals_Param90, 5));not(equals(Equals_Param91, 7))), (not(equals(Equals_Param90, 5));not(equals(Equals_Param91, 6))), (not(equals(Equals_Param90, 3));not(equals(Equals_Param91, 4))), (not(equals(Equals_Param90, 2));not(equals(Equals_Param91, 4))), (not(equals(Equals_Param90, 2));not(equals(Equals_Param91, 3))), (not(equals(Equals_Param90, 1));not(equals(Equals_Param91, 4))), (not(equals(Equals_Param90, 1));not(equals(Equals_Param91, 3))), (not(equals(Equals_Param90, 1));not(equals(Equals_Param91, 2))), neighbor(Equals_Param90, Equals_Param91)),  (equals(Equals_Param92, 6):-((not(equals(Equals_Param92, 7));not(equals(Equals_Param93, 8))), (not(equals(Equals_Param93, 4));not(equals(Equals_Param92, 7))), (not(equals(Equals_Param92, 4));not(equals(Equals_Param93, 7)))), (not(equals(Equals_Param92, 6));not(equals(Equals_Param93, 7))), (not(equals(Equals_Param92, 5));not(equals(Equals_Param93, 8))), (not(equals(Equals_Param92, 5));not(equals(Equals_Param93, 7))), (not(equals(Equals_Param92, 5));not(equals(Equals_Param93, 6))), (not(equals(Equals_Param92, 3));not(equals(Equals_Param93, 4))), (not(equals(Equals_Param92, 2));not(equals(Equals_Param93, 4))), (not(equals(Equals_Param92, 2));not(equals(Equals_Param93, 3))), (not(equals(Equals_Param92, 1));not(equals(Equals_Param93, 4))), (not(equals(Equals_Param92, 1));not(equals(Equals_Param93, 3))), (not(equals(Equals_Param92, 1));not(equals(Equals_Param93, 2))), (not(equals(Equals_Param93, 7));not(equals(Equals_Param92, 8))), (not(equals(Equals_Param93, 6));not(equals(Equals_Param92, 8))), (not(equals(Equals_Param93, 6));not(equals(Equals_Param92, 7))), (not(equals(Equals_Param93, 5));not(equals(Equals_Param92, 8))), (not(equals(Equals_Param93, 5));not(equals(Equals_Param92, 7))), (not(equals(Equals_Param93, 5));not(equals(Equals_Param92, 6))), (not(equals(Equals_Param93, 3));not(equals(Equals_Param92, 4))), (not(equals(Equals_Param93, 2));not(equals(Equals_Param92, 4))), (not(equals(Equals_Param93, 2));not(equals(Equals_Param92, 3))), (not(equals(Equals_Param93, 1));not(equals(Equals_Param92, 4))), (not(equals(Equals_Param93, 1));not(equals(Equals_Param92, 3))), (not(equals(Equals_Param93, 1));not(equals(Equals_Param92, 2))), neighbor(Equals_Param93, Equals_Param92)),  (equals(Equals_Param94, 8):-((not(equals(Equals_Param95, 7));not(equals(Equals_Param94, 8))), (not(equals(Equals_Param94, 4));not(equals(Equals_Param95, 7))), (not(equals(Equals_Param95, 4));not(equals(Equals_Param94, 7)))), (not(equals(Equals_Param95, 6));not(equals(Equals_Param94, 7))), (not(equals(Equals_Param95, 5));not(equals(Equals_Param94, 8))), (not(equals(Equals_Param95, 5));not(equals(Equals_Param94, 7))), (not(equals(Equals_Param95, 5));not(equals(Equals_Param94, 6))), (not(equals(Equals_Param95, 3));not(equals(Equals_Param94, 4))), (not(equals(Equals_Param95, 2));not(equals(Equals_Param94, 4))), (not(equals(Equals_Param95, 2));not(equals(Equals_Param94, 3))), (not(equals(Equals_Param95, 1));not(equals(Equals_Param94, 4))), (not(equals(Equals_Param95, 1));not(equals(Equals_Param94, 3))), (not(equals(Equals_Param95, 1));not(equals(Equals_Param94, 2))), (not(equals(Equals_Param94, 7));not(equals(Equals_Param95, 8))), (not(equals(Equals_Param94, 6));not(equals(Equals_Param95, 8))), (not(equals(Equals_Param94, 6));not(equals(Equals_Param95, 7))), (not(equals(Equals_Param94, 5));not(equals(Equals_Param95, 8))), (not(equals(Equals_Param94, 5));not(equals(Equals_Param95, 7))), (not(equals(Equals_Param94, 5));not(equals(Equals_Param95, 6))), (not(equals(Equals_Param94, 3));not(equals(Equals_Param95, 4))), (not(equals(Equals_Param94, 2));not(equals(Equals_Param95, 4))), (not(equals(Equals_Param94, 2));not(equals(Equals_Param95, 3))), (not(equals(Equals_Param94, 1));not(equals(Equals_Param95, 4))), (not(equals(Equals_Param94, 1));not(equals(Equals_Param95, 3))), (not(equals(Equals_Param94, 1));not(equals(Equals_Param95, 2))), neighbor(Equals_Param94, Equals_Param95)),  (equals(Equals_Param96, 7):-((not(equals(Equals_Param97, 4));not(equals(Equals_Param96, 7))), (not(equals(Equals_Param96, 4));not(equals(Equals_Param97, 7)))), (not(equals(Equals_Param96, 6));not(equals(Equals_Param97, 8))), (not(equals(Equals_Param96, 6));not(equals(Equals_Param97, 7))), (not(equals(Equals_Param96, 5));not(equals(Equals_Param97, 8))), (not(equals(Equals_Param96, 5));not(equals(Equals_Param97, 7))), (not(equals(Equals_Param96, 5));not(equals(Equals_Param97, 6))), (not(equals(Equals_Param96, 3));not(equals(Equals_Param97, 4))), (not(equals(Equals_Param96, 2));not(equals(Equals_Param97, 4))), (not(equals(Equals_Param96, 2));not(equals(Equals_Param97, 3))), (not(equals(Equals_Param96, 1));not(equals(Equals_Param97, 4))), (not(equals(Equals_Param96, 1));not(equals(Equals_Param97, 3))), (not(equals(Equals_Param96, 1));not(equals(Equals_Param97, 2))), (not(equals(Equals_Param97, 7));not(equals(Equals_Param96, 8))), (not(equals(Equals_Param97, 6));not(equals(Equals_Param96, 8))), (not(equals(Equals_Param97, 6));not(equals(Equals_Param96, 7))), (not(equals(Equals_Param97, 5));not(equals(Equals_Param96, 8))), (not(equals(Equals_Param97, 5));not(equals(Equals_Param96, 7))), (not(equals(Equals_Param97, 5));not(equals(Equals_Param96, 6))), (not(equals(Equals_Param97, 3));not(equals(Equals_Param96, 4))), (not(equals(Equals_Param97, 2));not(equals(Equals_Param96, 4))), (not(equals(Equals_Param97, 2));not(equals(Equals_Param96, 3))), (not(equals(Equals_Param97, 1));not(equals(Equals_Param96, 4))), (not(equals(Equals_Param97, 1));not(equals(Equals_Param96, 3))), (not(equals(Equals_Param97, 1));not(equals(Equals_Param96, 2))), neighbor(Equals_Param97, Equals_Param96)),  (equals(Equals_Param98, 8):-((not(equals(Equals_Param98, 4));not(equals(Equals_Param99, 7))), (not(equals(Equals_Param99, 4));not(equals(Equals_Param98, 7)))), (not(equals(Equals_Param99, 6));not(equals(Equals_Param98, 8))), (not(equals(Equals_Param99, 6));not(equals(Equals_Param98, 7))), (not(equals(Equals_Param99, 5));not(equals(Equals_Param98, 8))), (not(equals(Equals_Param99, 5));not(equals(Equals_Param98, 7))), (not(equals(Equals_Param99, 5));not(equals(Equals_Param98, 6))), (not(equals(Equals_Param99, 3));not(equals(Equals_Param98, 4))), (not(equals(Equals_Param99, 2));not(equals(Equals_Param98, 4))), (not(equals(Equals_Param99, 2));not(equals(Equals_Param98, 3))), (not(equals(Equals_Param99, 1));not(equals(Equals_Param98, 4))), (not(equals(Equals_Param99, 1));not(equals(Equals_Param98, 3))), (not(equals(Equals_Param99, 1));not(equals(Equals_Param98, 2))), (not(equals(Equals_Param98, 7));not(equals(Equals_Param99, 8))), (not(equals(Equals_Param98, 6));not(equals(Equals_Param99, 8))), (not(equals(Equals_Param98, 6));not(equals(Equals_Param99, 7))), (not(equals(Equals_Param98, 5));not(equals(Equals_Param99, 8))), (not(equals(Equals_Param98, 5));not(equals(Equals_Param99, 7))), (not(equals(Equals_Param98, 5));not(equals(Equals_Param99, 6))), (not(equals(Equals_Param98, 3));not(equals(Equals_Param99, 4))), (not(equals(Equals_Param98, 2));not(equals(Equals_Param99, 4))), (not(equals(Equals_Param98, 2));not(equals(Equals_Param99, 3))), (not(equals(Equals_Param98, 1));not(equals(Equals_Param99, 4))), (not(equals(Equals_Param98, 1));not(equals(Equals_Param99, 3))), (not(equals(Equals_Param98, 1));not(equals(Equals_Param99, 2))), neighbor(Equals_Param98, Equals_Param99)),  (equals(Equals_Param100, 4):-(not(equals(Equals_Param101, 4));not(equals(Equals_Param100, 7))), (not(equals(Equals_Param101, 7));not(equals(Equals_Param100, 8))), (not(equals(Equals_Param101, 6));not(equals(Equals_Param100, 8))), (not(equals(Equals_Param101, 6));not(equals(Equals_Param100, 7))), (not(equals(Equals_Param101, 5));not(equals(Equals_Param100, 8))), (not(equals(Equals_Param101, 5));not(equals(Equals_Param100, 7))), (not(equals(Equals_Param101, 5));not(equals(Equals_Param100, 6))), (not(equals(Equals_Param101, 3));not(equals(Equals_Param100, 4))), (not(equals(Equals_Param101, 2));not(equals(Equals_Param100, 4))), (not(equals(Equals_Param101, 2));not(equals(Equals_Param100, 3))), (not(equals(Equals_Param101, 1));not(equals(Equals_Param100, 4))), (not(equals(Equals_Param101, 1));not(equals(Equals_Param100, 3))), (not(equals(Equals_Param101, 1));not(equals(Equals_Param100, 2))), (not(equals(Equals_Param100, 7));not(equals(Equals_Param101, 8))), (not(equals(Equals_Param100, 6));not(equals(Equals_Param101, 8))), (not(equals(Equals_Param100, 6));not(equals(Equals_Param101, 7))), (not(equals(Equals_Param100, 5));not(equals(Equals_Param101, 8))), (not(equals(Equals_Param100, 5));not(equals(Equals_Param101, 7))), (not(equals(Equals_Param100, 5));not(equals(Equals_Param101, 6))), (not(equals(Equals_Param100, 3));not(equals(Equals_Param101, 4))), (not(equals(Equals_Param100, 2));not(equals(Equals_Param101, 4))), (not(equals(Equals_Param100, 2));not(equals(Equals_Param101, 3))), (not(equals(Equals_Param100, 1));not(equals(Equals_Param101, 4))), (not(equals(Equals_Param100, 1));not(equals(Equals_Param101, 3))), (not(equals(Equals_Param100, 1));not(equals(Equals_Param101, 2))), neighbor(Equals_Param100, Equals_Param101)),  (equals(Equals_Param102, 7):-(not(equals(Equals_Param102, 4));not(equals(Equals_Param103, 7))), (not(equals(Equals_Param102, 7));not(equals(Equals_Param103, 8))), (not(equals(Equals_Param102, 6));not(equals(Equals_Param103, 8))), (not(equals(Equals_Param102, 6));not(equals(Equals_Param103, 7))), (not(equals(Equals_Param102, 5));not(equals(Equals_Param103, 8))), (not(equals(Equals_Param102, 5));not(equals(Equals_Param103, 7))), (not(equals(Equals_Param102, 5));not(equals(Equals_Param103, 6))), (not(equals(Equals_Param102, 3));not(equals(Equals_Param103, 4))), (not(equals(Equals_Param102, 2));not(equals(Equals_Param103, 4))), (not(equals(Equals_Param102, 2));not(equals(Equals_Param103, 3))), (not(equals(Equals_Param102, 1));not(equals(Equals_Param103, 4))), (not(equals(Equals_Param102, 1));not(equals(Equals_Param103, 3))), (not(equals(Equals_Param102, 1));not(equals(Equals_Param103, 2))), (not(equals(Equals_Param103, 7));not(equals(Equals_Param102, 8))), (not(equals(Equals_Param103, 6));not(equals(Equals_Param102, 8))), (not(equals(Equals_Param103, 6));not(equals(Equals_Param102, 7))), (not(equals(Equals_Param103, 5));not(equals(Equals_Param102, 8))), (not(equals(Equals_Param103, 5));not(equals(Equals_Param102, 7))), (not(equals(Equals_Param103, 5));not(equals(Equals_Param102, 6))), (not(equals(Equals_Param103, 3));not(equals(Equals_Param102, 4))), (not(equals(Equals_Param103, 2));not(equals(Equals_Param102, 4))), (not(equals(Equals_Param103, 2));not(equals(Equals_Param102, 3))), (not(equals(Equals_Param103, 1));not(equals(Equals_Param102, 4))), (not(equals(Equals_Param103, 1));not(equals(Equals_Param102, 3))), (not(equals(Equals_Param103, 1));not(equals(Equals_Param102, 2))), neighbor(Equals_Param103, Equals_Param102)),  (equals(Equals_Param104, 4):-(not(equals(Equals_Param105, 4));not(equals(Equals_Param104, 7))), (not(equals(Equals_Param104, 7));not(equals(Equals_Param105, 8))), (not(equals(Equals_Param104, 6));not(equals(Equals_Param105, 8))), (not(equals(Equals_Param104, 6));not(equals(Equals_Param105, 7))), (not(equals(Equals_Param104, 5));not(equals(Equals_Param105, 8))), (not(equals(Equals_Param104, 5));not(equals(Equals_Param105, 7))), (not(equals(Equals_Param104, 5));not(equals(Equals_Param105, 6))), (not(equals(Equals_Param104, 3));not(equals(Equals_Param105, 4))), (not(equals(Equals_Param104, 2));not(equals(Equals_Param105, 4))), (not(equals(Equals_Param104, 2));not(equals(Equals_Param105, 3))), (not(equals(Equals_Param104, 1));not(equals(Equals_Param105, 4))), (not(equals(Equals_Param104, 1));not(equals(Equals_Param105, 3))), (not(equals(Equals_Param104, 1));not(equals(Equals_Param105, 2))), (not(equals(Equals_Param105, 7));not(equals(Equals_Param104, 8))), (not(equals(Equals_Param105, 6));not(equals(Equals_Param104, 8))), (not(equals(Equals_Param105, 6));not(equals(Equals_Param104, 7))), (not(equals(Equals_Param105, 5));not(equals(Equals_Param104, 8))), (not(equals(Equals_Param105, 5));not(equals(Equals_Param104, 7))), (not(equals(Equals_Param105, 5));not(equals(Equals_Param104, 6))), (not(equals(Equals_Param105, 3));not(equals(Equals_Param104, 4))), (not(equals(Equals_Param105, 2));not(equals(Equals_Param104, 4))), (not(equals(Equals_Param105, 2));not(equals(Equals_Param104, 3))), (not(equals(Equals_Param105, 1));not(equals(Equals_Param104, 4))), (not(equals(Equals_Param105, 1));not(equals(Equals_Param104, 3))), (not(equals(Equals_Param105, 1));not(equals(Equals_Param104, 2))), neighbor(Equals_Param105, Equals_Param104)),  (equals(Equals_Param106, 7):-(not(equals(Equals_Param106, 4));not(equals(Equals_Param107, 7))), (not(equals(Equals_Param107, 7));not(equals(Equals_Param106, 8))), (not(equals(Equals_Param107, 6));not(equals(Equals_Param106, 8))), (not(equals(Equals_Param107, 6));not(equals(Equals_Param106, 7))), (not(equals(Equals_Param107, 5));not(equals(Equals_Param106, 8))), (not(equals(Equals_Param107, 5));not(equals(Equals_Param106, 7))), (not(equals(Equals_Param107, 5));not(equals(Equals_Param106, 6))), (not(equals(Equals_Param107, 3));not(equals(Equals_Param106, 4))), (not(equals(Equals_Param107, 2));not(equals(Equals_Param106, 4))), (not(equals(Equals_Param107, 2));not(equals(Equals_Param106, 3))), (not(equals(Equals_Param107, 1));not(equals(Equals_Param106, 4))), (not(equals(Equals_Param107, 1));not(equals(Equals_Param106, 3))), (not(equals(Equals_Param107, 1));not(equals(Equals_Param106, 2))), (not(equals(Equals_Param106, 7));not(equals(Equals_Param107, 8))), (not(equals(Equals_Param106, 6));not(equals(Equals_Param107, 8))), (not(equals(Equals_Param106, 6));not(equals(Equals_Param107, 7))), (not(equals(Equals_Param106, 5));not(equals(Equals_Param107, 8))), (not(equals(Equals_Param106, 5));not(equals(Equals_Param107, 7))), (not(equals(Equals_Param106, 5));not(equals(Equals_Param107, 6))), (not(equals(Equals_Param106, 3));not(equals(Equals_Param107, 4))), (not(equals(Equals_Param106, 2));not(equals(Equals_Param107, 4))), (not(equals(Equals_Param106, 2));not(equals(Equals_Param107, 3))), (not(equals(Equals_Param106, 1));not(equals(Equals_Param107, 4))), (not(equals(Equals_Param106, 1));not(equals(Equals_Param107, 3))), (not(equals(Equals_Param106, 1));not(equals(Equals_Param107, 2))), neighbor(Equals_Param106, Equals_Param107))], 53==53).
 2969
 2970
 2971% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:435
 2972% Side1(GateAO)=4.
 2973side1(gateAO,4).
 2974
 2975
 2976% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:436
 2977% Side2(GateAO)=7.
 2978side2(gateAO,7).
 2979
 2980
 2981% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:438
 2982%; End of file.
 2983
 2984% human Homer
 2985% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:27
 2986==> t(human,homer).
 2987
 2988% elephant Jumbo
 2989% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:28
 2990==> t(elephant,jumbo).
 2991
 2992
 2993% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:29
 2994% Species(Homer)=HumanSpecies.
 2995species(homer,humanSpecies).
 2996
 2997
 2998% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:30
 2999% Adult(Homer).
 3000adult(homer).
 3001
 3002
 3003% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:31
 3004% Species(Jumbo)=ElephantSpecies.
 3005species(jumbo,elephantSpecies).
 3006
 3007
 3008% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:32
 3009% Adult(Jumbo).
 3010adult(jumbo).
 3011
 3012
 3013% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:34
 3014% !HoldsAt(Opened(GateAO),0).
 3015 %  not(initially(opened(gateAO))).
 3016axiom(not(initially(opened(gateAO))),
 3017    []).
 3018
 3019
 3020% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:35
 3021% HoldsAt(Pos(Homer,6),0).
 3022axiom(initially(pos(homer, 6)),
 3023    []).
 3024
 3025
 3026% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:36
 3027% [time]
 3028 % HoldsAt(Pos(Jumbo,1),time).
 3029holds_at(pos(jumbo,1),Time).
 3030
 3031
 3032% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:38
 3033%; goal
 3034
 3035
 3036% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:39
 3037% HoldsAt(Mounted(Homer,Jumbo),4).
 3038holds_at(mounted(homer,jumbo),4).
 3039
 3040
 3041% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:41
 3042%;ABDUCE
 3043%;Happens(Move(Homer,7),0).
 3044%;Happens(Open(Homer,GateAO),1).
 3045%;Happens(Move(Homer,4),2).
 3046%;Happens(Mount(Homer,Jumbo),3).
 3047% [human]
 3048 
 3049% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:47
 3050% HoldsAt(PosDeterminingFluent(human,1),4).
 3051holds_at(posDeterminingFluent(Human,1),4).
 3052
 3053
 3054% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:48
 3055% [event,animal]
 3056 % !HoldsAt(DoneBy(event,animal),4).
 3057 %  not(holds_at(doneBy(Event,Animal),4)).
 3058axiom(not(holds_at(doneBy(DoneBy_Param, DoneBy_Ret), t4)),
 3059    [b(t, t4), ignore(t+4=t4)]).
 3060
 3061% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:50
 3062% range time 0 4
 3063% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:51
 3064==> range(time,0,4).
 3065
 3066% range position 1 8
 3067% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:52
 3068==> range(position,1,8).
 3069
 3070% range offset 0 0
 3071% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:53
 3072==> range(offset,0,0).
 3073
 3074% option timediff off
 3075% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:55
 3076:- set_ec_option(timediff, off). 3077
 3078% option modeldiff on
 3079% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:56
 3080:- set_ec_option(modeldiff, on). 3081%; End of file.