¿Cuál es el operador -> en Prolog y cómo puedo usarlo?

Question

He leído sobre él en un libro pero no fue explicado en absoluto. Tampoco lo vi en un programa. Es parte de la sintaxis de Prolog? ¿Para qué es esto? ¿Lo usas?

Gracias

Answer 1

Representa implicación. El lado derecho solo se ejecuta si el lado izquierdo es verdadero. Por lo tanto, si usted tiene este código,

implication(X) :- 
    (X = a -> 
    write('Argument a received.'), nl 
    ; X = b -> 
    write('Argument b received.'), nl 
    ; 
    write('Received unknown argument.'), nl 
). 

entonces será escribir cosas diferentes en función de que el argumento: (. link to documentation)

?- implication(a). 
Argument a received. 
true. 

?- implication(b). 
Argument b received. 
true. 

?- implication(c). 
Received unknown argument. 
true. 

Answer 2

Es una versión local de la corte, ver por ejemplo, el section on control predicated en el manual de SWI.

Se usa principalmente para implementar if-then-else por (condición -> rama verdadera; rama falsa). Una vez que la condición tiene éxito, no hay retroceso desde la rama verdadera hacia la condición o hacia la rama falsa, pero seguir retrocediendo fuera del if-entonces-else todavía es posible. Por lo tanto, se llama corte local o corte suave.

Answer 3

Es posible evitar el uso de algo más prolijo. Si vuelvo a escribir Stephan's predicado:

implication(X) :- 
    (
    X = a, 
    write('Argument a received.'), nl 
    ; 
    X = b, 
    write('Argument b received.'), nl 
    ; 
    X \= a, 
    X \= b, 
    write('Received unknown argument.'), nl 
). 

(Sí. No creo que haya ningún problema con el uso, pero mi jefe estaba paranoico al respecto por alguna razón, por lo que siempre se usa el enfoque anterior)

En cualquiera de las versiones, debe tener cuidado de cubrir todos los casos que pretenda cubrir, especialmente si tiene muchas sucursales.

ETA: No estoy seguro si esto es completamente equivalente a Stephan's, debido a retroceder si tiene implication(X). Pero no tengo un intérprete Prolog ahora mismo para verificar.