Ayuda con Recurrencia BNF y PRolog

[Palina]

En Recurrencia

Debo realizar un BNF de recurrencia Sintáctico y Gráfico de:

- Todos los binarios tal que el número de “ceros” es par y el número de “unos” es impar.
- La sucesión de Fibonacci ( 1, 1, 2, 3, 5, 8…)


y en Prolog

Realizar un Algoritmo recurrente en Prolog para la serie de Fibonacci ( 1, 1, 2, 3, 5, 8…)

- Indicar características del Lenguaje.
- Formalidad BNF de las funciones recurrentes.
- Conclusiones.

Si alguien tiene información espero pueda ayudarme, he buscado en el google pero en las páginas que he encontrado es muy complicado entender.