PROGRAMACIÓN LÓGICA
Historia
Todo comienza con Aristóteles y su teoría silogística como precursor de la lógica matemática y por lo
tanto de la programación lógica, pero después de Aristóteles y algunos de sus contemporáneos fue
hasta el siglo XVII que Descartes y Leibnitz lograron hacer aportaciones importantes, más tarde, Boole
relaciono la lógica con el álgebra dando un gran paso para dicho sistema, después este razonamiento
fue ampliado por Jevon, Pierce, Scroeder, Hutington y varios más. Tendríamos que esperar hasta
mediados del siglo XIX y principios del XX cuando Frege, Cantor, Peano, Rusell y Whintehead
marcarían el periodo de mayor actividad en la historia de la lógica matemática, ya para mediados del
siglo XX, de forma paralela se produjo un avance muy importante en las llamadas “máquinas de
calcular” dando pauta para que el mismísimo A, Turing publicara un artículo a manera de reflexión
titulado “¿Pueden pensar las maquinas?” estableciendo como punto de partida a lo que después
conoceríamos como Inteligencia Artificial.
Fue en los años 60´s con Kowalski y Colmarauer como principales protagonistas, que nace la
Programación Lógica.
Programación Lógica
Estudia el uso de la lógica para el planteamiento de problemas y el control sobre las reglas de
inferencia para alcanzar la solución automática.
Forma parte de lo que se conoce como programación declarativa, en la programación lógica se trabaja
estableciendo relaciones entre entidades indicando no como, sino que hacer.
La idea esencial de la programación lógica es:
Programa = lógica + control
Donde:
Lógica (programador): hechos y reglas para representar conocimiento
Control (interprete): deducción lógica para dar respuestas o soluciones.
La programación lógica construye base de conocimientos mediante reglas y hechos.
En programación lógica una regla es la implicación o inferencia lógica que deduce nuevo conocimiento,
la regla permite definir nuevas relaciones a partir de otras ya existentes. Un Hecho es una declaración,
cláusula o proposición cierta o falsa, establece una relación entre objetos y es la forma más sencilla
de sentencia. En la consulta se especifica el problema, la proposición a demostrar o el objetivo.
La programación Lógica comprende dos paradigmas de programación; la Programación Declarativa y
la Programación funcional.
Conceptos básicos de la programación orientada a objetos
Existen varios lenguajes de programación para este paradigma, pero sin lugar a dudas el lenguaje de
programación lógica por excelencia es PROLOG, este lenguaje está diseñado para representar y
utilizar el conocimiento que se tiene sobre determinado dominio,
Algunos de los campos de aplicación de la Programación Lógica son:
Sistemas Expertos
Demostración automática de teoremas
Reconocimiento de lenguaje natural
Inteligencia artificial
Sistemas de información
Referencias
Programación. (22 de abril de 2009) Programación Lógica Obtenido de Programación Lógica:
https://programacion-programacionlogica.blogspot.com/
2
Conceptos básicos de la programación orientada a objetos
Entornos de desarrollo integrado (IDE) para JAVA
NetBeans
Eclipse
BluJ
Programas hechos con JAVA
Minecraft
Android
4Shared
Eclipse
Netbeans
Referencias
Ramírez r. (16 de octubre de 2014) Entornos de desarrollo integrado (IDE) para Java Obtenido de Aprende Java con
ejemplos:
https://programandoj.blogspot.com/2014/10/entornos-de-desarrollo-integrado-ide.html
Liliana (febrero, 2016 ) Algo mas de 20 años de Java: Los mejores programas hechos en Java Obtenido de
JAVAHEROS:
https://javaheros.blogspot.com/2016/02/algo-mas-de-20-anos-de-java-los-mejores.html
3
0
