En la versión final contará con el apoyo de el paradigma lógico.