A estreita ligação entre Lógica e Computação está principalmente relacionada ao desenvolvimento de linguagens para modelar situações e problemas, com vistas às suas soluções.