logic programming (programmation logique)

Paradigme de programmation utilisant la logique booléenne pour contrôler la représentation ou l'expression des faits et des règles concernant les problèmes dans le système.