Resultados de la búsqueda a petición "successor-arithmetics"

6 la respuesta

onvierta el número de peano s (N) a entero en Prolog

Me encontré con esta evaluación de números lógicos de números lógicos en un tutorial y me ha dado un poco de dolor de cabeza: natural_number(0). natural_number(s(N)) :- natural_number(N).La regla establece aproximadamente que: siN es0 es ...

1 la respuesta

Número natural en SWI-prolog y procedimiento recursivo

Tengo el siguiente procedimiento para el número natural es SWI-prolog: natural_number(0). natural_number(s(X)) :- natural_number(X). Ahora quiero hacer una llamada recursiva, que se detiene cuando llegamos a 0. Mi número natural está ...

2 la respuesta

Demasiado retroceso: ¿por qué hay un "rehacer" aquí?

4 la respuesta

Prólogo predicado - bucle infinito

Necesito crear un predicado Prolog para una potencia de 2, con los números naturales. Los números naturales son: 0, s (0), s (s (0)) y así sucesivamente .. Por ejemplo ?- pow2(s(0),P). P = s(s(0)); false. ?- pow2(P,s(s(0))). P = s(0); false. ...

2 la respuesta

La notación del sucesor de Prolog produce un resultado incompleto y un bucle infinito

Empiezo a aprender Prolog y primero aprendí sobre la notación del sucesor.Y aquí es donde descubro cómo escribir axiomas de Peano en Prolog.Vea la página 12 ...

2 la respuesta

Relación reversible de la longitud del árbol.