Ejercicio 7: Hora de hacer cuentas

Ahora que te convencimos de que Prolog, por ser un motor de inferencia, no puede hacer cuentas, te podemos decir la verdad completa: sí existen algunas formas de hacer reducciones, mediante algunos predicados especiales:

  • is/2: relaciona un número con una cuenta (en ese orden), cuando la cuenta reduce a ese número
  • >/2, </2, =</2, >=/2, relacionan dos expresiones (que pueden ser números o cuentas), cuando la primera reduce a un número mayor, menor, etc. que la segunda.

Probá las siguientes consultas (como verás, estos predicados se pueden usar de forma infija):

  • 10 > 5
  • 10 > 5+2
  • 10 + 5 > 6 + 23
  • 10 < 6 + 23
  • 10 is (2 + 0.5) * 4
  • 10.0 is (2 + 0.5) * 4

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