Tengo un problema en Prolog. Me han mandado un enunciado tal que "Definir un predicado nums(N,L)nums(N,L)
tal que NN
es un número natural y LL
es la lista de números naturales en orden descendente de NN
a 1." para hacer con programacion logica, pero no entiendo como hacerlo.
¿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.