logic programming, programação lógica

Estilo de programação, melhor caracterizado pelo Prolog, no qual um programa se compõe de fatos e relações, das quais espera-se que a linguagem de programação consiga tirar conclusões. Ver também Prolog.