In the end, that is not a real goal, but if it would be possible to clearly understand which parts of the rules are using side effects, the rest of the implementation should be able to run totally concurrently.These kinds of things should be possible to implement in any language with sane multi threading/multi processing.