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