English Programmed Logic for Automatic Teaching Operations: translation to other languages