English logic simulation: tłumaczenie na inne języki