Tengo un problema en Prolog. Me han mandado un enunciado tal que "Definir un predicado nums(N,L)
tal que N
es un número natural y L
es la lista de números naturales en orden descendente de N
a 1." para hacer con programacion logica.
¿Alguien seria tan amable de ayudarme?
Yo tengo esto hecho
%Predicado principal
nums(N,L) :-
esUnNumero(N), esUnaLista(L),
rellenarLista(N, L, N).
%Predicados auxiliares
%esUnNumero
esUnNumero(0).
esUnNumero(s(X)) :- esUnNumero(X).
%esUnaLista
esUnaLista([]).
esUnaLista([_|Tail]) :- esUnaLista(Tail).
%rellenarLista
rellenarLista(0,_).
rellenarLista(s(numero),lista) :-
appendLista(numero,lista), rellenarLista(numero,lista).
¿Estaría bien resuelto? Muchas gracias.