El lenguaje Prolog: un ejemplo del paradigma de programación lógica
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 .
