programación lógica

Un paradigma de programación que usa lógica booleana para controlar cómo se representan o expresan en el sistema los hechos y las reglas sobre los problemas.