He estado tratando de aprender Prolog, y estoy totalmente perplejo sobre lo que hace el predicado s(). Lo veo a menudo y hay tan pocos recursos en Internet sobre Prolog que no puedo encontrar una respuesta.¿Qué hace el predicado s() en Prolog?
Ej.
/* sum(Is,S) is true if S is the sum of the list of integers Is. */
sum([],0).
sum([0|Is],S):-sum(Is,S).
sum([s(I)|Is], s(Z)):-sum([I|Is],Z).
s/1 no hace nada en sí mismo, y no es realmente un predicado. Son solo términos, una representación del sucesor de su argumento. Por lo tanto, s(0) se utiliza para representar al sucesor de 0 (es decir, 1), s(s(0)) se utiliza para representar al sucesor de s(0) (es decir, 2), etc., etc. Están tan extendidos en Prolog porque Prolog es un lenguaje bastante bueno para realizar cálculos simbólicos, mientras que incluso las operaciones aritméticas simples parecen torpes, lo que significa que no están perfectamente integradas con el paradigma de programación.
muy bien dicho, + s (0) XD –
Esto explica, muy bien, por qué la salida de mis programas usando s/1 era tan extraña. Muchas gracias, gran explicación! – okin33
s/1 significa sucesora. Se usa para representar números de una manera lógicamente accesible.
¡Eso tiene sentido, muchas gracias! Sin embargo, cuando intento ejecutar un recuento de programa que usa s/1 obtengo un resultado extraño en la forma de: ? - mycount (a, [a, a], N). N = s (s (0)); N = s (0); N = s (0); N = 0; falso. – okin33
¿Qué versión de intérprete de prólogo usas? –
Uso: SWI-Prolog versión 5.10.1 para amd64 – okin33