Em uma linguagem lógica, a semântica de uma instrução de atribuição simples exige o exame das variáveis locais e o conhecimento das regras de escopo da linguagem.

A linguagem de programação funcional é um exemplo de linguagem baseada em regras.

Na linguagem imperativa, um algoritmo é especificado com grandes detalhes e com uma ordem de execução específica das instruções.

As linguagens orientadas a objetos são baseadas em funções matemáticas e sobre a arquitetura de Von Neumann.