Resultados da pesquisa a pedido "non-termination"
A notação do sucessor do Prolog produz um resultado incompleto e um loop infinito
Eu começo a aprender Prolog e primeiro aprendi sobre a notação sucessora.E é aqui que descubro a escrita dos axiomas de Peano no Prolog.Veja a página 12 doPDF:
Prolog predicate - loop infinito
Preciso criar um predicado Prolog para potência de 2, com os números naturais. Os números naturais são: 0, s (0), s (s (0)) e assim por diante .. Por exemplo ?- pow2(s(0),P). P = s(s(0)); false. ?- pow2(P,s(s(0))). P = s(0); false.Este é o meu ...