Resultados de la búsqueda a petición "non-termination"
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 ...
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. ...