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