programación lógica

Un paradigma de programación que utiliza la lógica booleana para controlar cómo se representan o expresan los hechos y las reglas relacionados con los problemas del sistema.