Los lenguajes funcionales y lógicos son dos amplias categorías de lenguajes declarativos.