0

quería hacer comparaciones de dos predicados, ejemplo: A=s(s(s(0))) y B=s(s(s(s(s(0))) donde la condicion correcta es A <= B, no sé como tengo que realizar esto, pero si que tengo la mente clara de que se trata de una unify pero no se como representarlo en codigos.

mis codigos:

comparar_dimensiones(A,E):-
A=X,
E=Y,
X=Y.

Sé que esto está mal.

1 respuesta 1

1

En Prolog, los predicados (=)/2 y (\=)/2 representan respectivamente la unificación y la negación de la misma.

El estándar define un orden entre términos, que puedes comprobar mediante los siguientes predicados incorporados:

  • (==)/2 – Term identical.
  • (@<)/2 – Term less than.
  • (@=<)/2 – Term less than or equal to.
  • (@>)/2 – Term greater than.
  • (@>=)/2 – Term greater than or equal to.
  • compare/3 – Compare two terms according to order.
  • (\==)/2 – Term not identical.

Donde en tu caso, podrías comparar los dos términos como A @=< B.

1
  • Ya lo tengo, pero gracias. Commented el 3 abr. 2019 a las 17:28

Tu Respuesta

By clicking “Publica tu respuesta”, you agree to our terms of service and acknowledge you have read our privacy policy.

¿No es la respuesta que buscas? Examina otras preguntas con la etiqueta o formula tu propia pregunta.