English logic simulation: תרגום לשפות אחרות