1

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.

1 respuesta 1

0

Con algunas pequeñas modificaciones se puede jecutar en .

s(X) en swi-prolog se representa mediante succ/2, donde el primer parámetro es el antecesor y el segundo el sucesor1

Eso nos lleva a que el predicado esUnNumero/1 quede definido así:

%esUnNumero/1
esUnNumero(0).
esUnNumero(X) :-
    succ(Y,X)
    ,esUnNumero(Y).

el predicado esUnaLista/1 queda exactamente igual.

para rellenar lista tenías una llamada a un predicado que no incluiste, que obvié mediante una concatenación simple usando el pipe (|)

%rellenarLista/2
rellenarLista(0,[]).
rellenarLista(Numero,Lista) :-
    succ(Prev,Numero)
    , rellenarLista(Prev,Sublista),
    Lista=[Numero|Sublista].

El programa completo queda así:

%Predicados auxiliares
%esUnNumero/1
esUnNumero(0).
esUnNumero(X) :-
    succ(Y,X)
    ,esUnNumero(Y).
%esUnaLista/1
esUnaLista([]).
esUnaLista([_|Tail]) :-
    esUnaLista(Tail).

%rellenarLista/2
rellenarLista(0,[]).
rellenarLista(Numero,Lista) :-
    succ(Prev,Numero)
    , rellenarLista(Prev,Sublista),
    Lista=[Numero|Sublista].

%Predicado principal
nums(N,L) :-
    esUnNumero(N)
    , esUnaLista(L)
    , rellenarLista(N, L),!.

Como verás en nums le puse un corte para evitar que intente infinitas falacias pues solamente hay una solución válida a tu ejercicio.

1 Si usas otra implementación de prolog puedes averiguar como es el predicado particular acá.

Tu Respuesta

By clicking “Publica tu respuesta”, you agree to our terms of service and acknowledge you have read our privacy policy.

¿No es la respuesta que buscas? Examina otras preguntas con la etiqueta o formula tu propia pregunta.