Skip to main content
Correción de etiquetas
Origen Enlace
Ruslan López
  • 11.8k
  • 14
  • 44
  • 88

Programacion logica (prolog) Lista de números naturales en orden descendente

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.

Programacion logica (prolog)

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, 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.

Lista de números naturales en orden descendente

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.

Origen Enlace
Fer
  • 11
  • 2

Programacion logica (prolog)

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, 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.