Glen writes: < Well, it's not really the curation of triggers that you raise. You're raising the curation of possible actions/bins the trigger disambiguates. > Sure. And if the action gets you killed, the tail recursion is avoided! ( run(Env) :- trigger(Env), action(Env,NewEnv), run(newEnv). run(Env) :- \+trigger(Env), run(Env). Tiny holes!!!! Marcus