Dado el siguiente programa, ¿por qué no termina la ejecución de la siguiente consulta: "?- m(_M), _M = t(N,_), var(N)."? m(void).
m(t(a,R)) :- m(R).

Question

Dado el siguiente programa, ¿por qué no termina la ejecución de la siguiente consulta: "?- m(_M), _M = t(N,_), var(N)."?    m(void). 
    m(t(a,R)) :- m(R).

Answer

Porque se generan infinitas soluciones pero siempre fallan

Answer

La consulta termina pero es muy ineficiente

Answer

Porque el caso base es incorrecto

Answer

Porque no se está modificando ninguna variable en la cláusula recursiva y hay una recursión infinita

Crowdly

Dado el siguiente programa, ¿por qué no termina la ejecución de la siguiente con...

Want instant access to all verified answers on moodle.upm.es?