meses.pro

meses([enero, febrero, marzo, abril, mayo, junio, julio, agosto, septiembre, octubre, noviembre, diciembre]).
dias([31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31]).

inicio:-
	write('Introduce un nombre de mes o fin para terminar: '),
	readln(Mes),
	encuentra(Mes, Dias),
	sformat(S, "El mes de ~w tiene ~w dias", [Mes, Dias]),
	writeln(S),
	!, inicio.

inicio:- write('hola'), !.

encuentra([Mes], D):-
	meses(ListaDeMeses),
	dias(ListaDeDias),
	obten(ListaDeMeses, ListaDeDias, Mes, D).

obten([], _, _, 0):-!, fail.
obten([Mes|_], [Dias|_], Mes, Dias):-!.
obten([_|LM], [_|LD], Mes, Dias):-
	obten(LM, LD, Mes, Dias).