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 a linguagem de programação consiga conclusões. Ver também Prolog.
+
..
../..