La programación lógica es una variedad de lo que conocemos con programación declarativa, un paradigma opuesto a prácticamente todos los lenguajes de programación populares, desde ensamblador a Python pasando por BASIC, C o Java, a los que agrupamos en la categoría de la programación imperativa.
https://www.genbeta.com/desarrollo/lenguaje-prolog-ejemplo-paradigma-programacion-logica