programação lógica

Um paradigma de programação que usa lógica booleana para controlar como os fatos e as regras sobre os problemas dentro do sistema são representados ou expressos.