¿Qué significa \ + en Prolog?

He visto algunas respuestas aquí que lo usan y no sé lo que significa ni cómo usarlo. También es difícil buscarlo a través de un motor de búsqueda :)¿Qué significa + en Prolog?

Fuente

2009-11-10 Juanjo Conti

El diccionario Prolog podría ser útil en el futuro: http://www.cse.unsw.edu.au/~billw/prologdict.html – outis

W.r.t. la forma del operador, en lógica "comprobable", generalmente se escribe como un torniquete: | -. Por lo tanto, en "no demostrable", \ + la \ representa la barra vertical larga y la barra vertical en la + representa una barra diagonal que hace la negación. – starblue

@starblue Eso está bastante lejos jajaja. ¿Por qué no podrían usar '| +'? O simplemente '~' o '!' Como el resto del mundo. – Alexander

Es el operador 'not provable'. Tiene éxito si su argumento no es comprobable (y falla si su argumento es comprobable).

Fuente

2009-11-10 23:44:04

so \ + (cat (X)) es lo mismo que no (cat (X))? –

Sí, es solo un detalle de su implementación. Este enlace menciona algunos ejemplos: http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/2_5.html –

SWI también usa 'no'. Creo que es una sintaxis más clara. –

Hace con la negación. \+ Goal tendrá éxito si no se puede probar Goal.

Fuente

2009-11-10 23:45:14

Parece que se comió tu barra invertida. Lo volví a meter allí. –

so \ + (cat (X)) es lo mismo que no (cat (X))? –

Sí, es como dice Carl. –

Respuesta

Cuestiones relacionadas