Proyecto de programación lógica y funcional