non-termination

5El calor

2Respuesta

Predicado Prólogo - bucle infinito

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

prolog exponentiation failure-slice successor-arithmetics non-termination 2012-03-16

---