Programacion+logica

**__Que es la programacion logica?__**
La 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.

La Programación Lógica, junto con la funcional, forma parte de lo que se conoce como Programación Declarativa, es decir la programación consiste en indicar como resolver un problema mediante sentencias, en la Programación Lógica, se trabaja en una forma descriptiva, estableciendo relaciones entre entidades, indicando no como, sino que hacer.

**__Grandes personajes de la informatica__**
John Alan Robinson nacio en Inglaterra el 9 de marzo de 1930. Tras graduarse en la prestigiosa universidad de Cambridge se mudo a Estados Unidos, donde curso un master en la universidad de Oregon y un doctorado en universidad de Princeton. La mayor parte de su vida profecional la realizo en Estados unidos, en centros muy importantes, como lo de Argonne y Standford.La Universidad de Rice,donde estuvo desde 1961 a 1966, y,sobretodo, la Universidad de Syracuse fueron sus destinos principales, y n esta última ocupó una cátedra desde 1967. Hizo innumerables aportes para el mundo de la informatica, aunque el que mas nos interesa a nosotros fue la invención del principio de resolución, una parte fundamental para la demostracion automatica de propiedades, la automatizacion de deduccion logica, la pase de la **programacion logica** y el lenguaje Prolog.

Robert Kowalski nacio en 15 de mayo de 1941 en Connecticut,en lso estados unidos de america. Se graduo como cientifico de la ocmputacion en la universidad de Chicago, consiguio su titulo de matematico en la Universidad de Bridgeport, su maestria en matematica la finalizo en universidad de Standford. Sus doctorados en ciencia de la ocmputacion los obtuvo en dos universidades, en la de Varsovia y en la de Edimburgo. ha estado en el Imperial Collegue de Londes desde 1975, alcanzando una silla en Logica computacional en 1982 y convertirse en profesor emérito en 1999. Fue investido como miembro de la asociacion americana para la inteligencia artificial en 1991, del Parlamento Europeo y Comité de Coordinación para la Inteligencia Artificial en 1999, y la association for computing machinery en 2001. Kowalski es uno de los primeros desarrolladores de Abductivo de programacion logica. (esta informacion la sacamos por partes, tanto de la revista americana "Scientific American y de internet)