-
Es un paradigma de programación que describe la programación en términos del estado del programa y sentencias que cambian dicho estado.
-
La programación lógica consiste en la aplicación del corpus de conocimiento sobre lógica para el diseño de lenguajes de programación; no debe confundirse con la disciplina de la lógica computacional.
-
Está basado en varias técnicas, incluyendo herencia, abstracción, polimorfismo y encapsulamiento.
Los lenjuages que utiliza son: smalltalk, Eiffel, java -
programacion logica
(1991)