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