surgiram naturalmente como uma extensão do paradigma funcional e dos conceitos de transparência referencial.

surgiram naturalmente como uma extensão do paradigma lógico e das técnicas de dedução.

emergiram como uma evolução natural de linguagens declarativas e mecanismos de concorrência.

surgiram a partir de linguagens de consulta a banco de dados e noções sobre restrição de integridade.

surgiram a partir de linguagens imperativas e conceitos de tipos abstratos de dados.