a.
1. Inf. Linguagem de programação declarativa que se utiliza de um conjunto de fatos e relações lógicas entre objetos da base de dados, ao invés de relações matemáticas, para chegar a uma solução de forma interativa
[F.: Acrônimo do fr. Pro grammation en log ique 'programação em lógica #####]