¿1 + 1 = 2?

Wow, ¡momento! ¿Yo vi mal, o Prolog no aprobó matemática básica?

? 4 + 0 \= 4 + 0.
no
? 4 \= 4 + 0.
yes
? 0 + 4 \= 4 + 0.
yes

La primera consulta tiene sentido: 4 + 0, que es 4, no es distinto a 4 + 0. ¿Pero las demás? ¿Que tendría Haskell para decir en este caso?

Probá las expresiones equivalentes a las consultas anteriores en la consola de Haskell:

  • 4 /= 4
  • 4 /= 5
  • 4 /= 4 + 0
  • 4 + 0 /= 4 + 0
  • 0 + 4 /= 4 + 0

Tenés que iniciar sesión antes de empezar a enviar tus soluciones