2

Tengo unas dudas respecto al operador :-op en Prolog, debido a que no lo se manejar. Mi ejercicio está enfocada en crear un predicado que a partir de una lista atributo-valor, cuyo formato es [a1=>v1, a2=>v2,...,aN=>vN], obtenga el valor de un atributo que se le pida.

Ejemplo: ?- valor(forma, [color=>azul, forma=>esferica, peso=>ligero, material=>plastico], X). X=esferica.

Para ello, nos sugieren definir el operador => en la base lógica.

2 respuestas 2

1

La directiva op/3 te permite declarar átomos que serán tratados sintácticamente como operadores con una determinada clase (infijo, sufijo o prefijo), asociatividad y prioridad.

En tu caso, necesitas un operador =>/2 infijo que no sea asociativo:

:- op(300, xfx, '=>').

Ahora puedes manejar el átomo '=>'(x,y) como x => y (aunque internamente estas dos estructuras son equivalentes).

Finalmente, puedes escribir tu predicado valor/3 como:

valor(X, [X=>Y|_], Y).
valor(X, [_|T], Y) :- valor(X, T, Y).

Aquí tienes más información sobre los operadores en Prolog.

3
  • Gracias Jose, déjeme ver si intento y hago mi predicado y hago consultas. Muchas gracias por las respuestas!
    – Luiso Vega
    Commented el 1 sept. 2017 a las 15:04
  • De nada ;-) Recuerda marcar la respuesta como aceptada para dejar la pregunta resuelta. Commented el 2 sept. 2017 a las 9:35
  • Es así, sin problemas. Gracias por las sugerencias y la ayuda.!!!
    – Luiso Vega
    Commented el 2 sept. 2017 a las 16:37
0

Wao, sorprendente. Me funcionó sin problemas. Gracias por la colaboración.

?- valor(forma, [color=>azul, forma=>esferica, peso=>ligero, material=>plastico], X). 
X = esferica ; 
false. 

?- valor(peso, [color=>azul, forma=>esferica, peso=>ligero, material=>plastico], X). 
X = ligero ; 
false. 

?- valor(casa, [color=>azul, forma=>esferica, peso=>ligero, material=>plastico], X). 
false.

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.