Dos amplias categorías de lenguajes declarativos son los lenguajes funcionales y los lenguajes lógicos.