suma

% Definición del módulo
:- module main.

% Declaración de la interfaz
:- interface.

% Importar el módulo io en la interfaz
:- import_module io.
% Declaración del predicado suma
:- pred suma(int::in, int::in, int::out) is det.

% Declaración del predicado main
:- pred main(io::di, io::uo) is det.

% Sección de implementación
:- implementation.

% Importar los módulos necesarios
:- import_module int.
:- import_module string.
:- import_module list.

% Implementación del predicado suma/3
suma(X, Y, Resultado) :-
    Resultado = X + Y.

% Implementación del predicado main/2
main(!IO) :-
    io.read_line_as_string(Result1, !IO),
    (
        Result1 = ok(Line1),
        ( string.to_int(string.strip(Line1), X) ->
            io.read_line_as_string(Result2, !IO),
            (
                Result2 = ok(Line2),
                ( string.to_int(string.strip(Line2), Y) ->
                    suma(X, Y, Resultado),
                    io.format("La suma de %d y %d es %d\n", [i(X), i(Y), i(Resultado)], !IO)
                ;
                    io.write_string("Error: El segundo valor ingresado no es un número válido.\n", !IO)
                )
            ;
                Result2 = eof,
                io.write_string("Error: Fin de entrada inesperado al leer el segundo número.\n", !IO)
            ;
                Result2 = error(Error),
                io.format("Error al leer el segundo número: %s\n", [s(io.error_message(Error))], !IO)
            )
        ;
            io.write_string("Error: El primer valor ingresado no es un número válido.\n", !IO)
        )
    ;
        Result1 = eof,
        io.write_string("Error: Fin de entrada inesperado al leer el primer número.\n", !IO)
    ;
        Result1 = error(Error),
        io.format("Error al leer el primer número: %s\n", [s(io.error_message(Error))], !IO)
    ).