Resultados de la búsqueda a petición "instantiation-error"
Programa de prólogo simple. Obteniendo error:> / 2: Los argumentos no están suficientemente instanciados
Hice un predicado PrologposAt(List1,P,List2) que prueba si el elemento en la posiciónP deList1 yList2 son iguales posAt([X|Z], 1, [Y|W]) :- X = Y. posAt([Z|X], K, [W|Y]) :- K > 1, Kr is K - 1, posAt(X, Kr, Y). Al probar: ?- posAt([1,2,3], X, ...
Prolog - Los argumentos no están suficientemente instanciados
Estoy escribiendo un pequeño programa que cuenta cuántos elementos de una lista no son números. Aquí está mi código: not_number([],0). not_number([X|T],R):- not(number(X)), R1 is R+1, not_number(T,R1). not_number([_|Tail],Result):- ...