Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Programacin Lgica
La programacin lgica es todo un paradigma, que va a estar dentro de la
programacin declarativa, es decir que la programacin a realizar va a
consistir en indicar como resolver un problema mediante sentencias. Esta
programacin trabaja en una forma descriptiva, estableciendo relaciones
entre entidades, indicando no como, sino que hacer, entonces se dice que la
idea esencial de la programacin lgica es la lgica ms el control.
Prolog
Prolog es un lenguaje de programacin declarativo basado en la lgica de
primer orden, particularmente en una restriccin de la forma clausal de la
lgica. Fue desarrollado por Alain Colmerauer en 1972 en la Universidad de
Marseille, Francia. Usa como regla de inferencia el principio de resolucin
propuesto por Robinson en 1965. La representacin del dominio se realiza a
travs de hechos y reglas.
Decimos que es declarativo porque no es imperativo. Es decir, cada lnea
de programa Prolog es una declaracin, no una orden. Se tiene as un
conjunto de aseveraciones expresadas simblicamente, que expresan
conocimientos de una situacin real o ficticia. Para esto se usa la lgica de
predicados de primer orden que se expuso anteriormente.
Prolog es un lenguaje de programacin hecho para representar y utilizar el
conocimiento que se tiene sobre un determinado dominio. Ms
exactamente, el dominio es un conjunto de objetos y el conocimiento se
representa por un conjunto de relaciones que describen las propiedades de
los objetos y sus interrelaciones.
En Prolog, las reglas que definen las propiedades y relaciones entre los
objetos, est muy alejado del modelo Von Newman que posee la mquina
en la que tienen que ser interpretados. Debido a esto, la eficiencia en la
ejecucin no puede ser comparable con la de un programa equivalente
escrito en algn lenguaje imperativo o procedural. El beneficio es que aqu
ya no es necesario definir el algoritmo de solucin, como en la
programacin imperativa, sino que lo fundamental es expresar bien el
conocimiento que se tenga sobre el problema que se est enfrentando.
Prolog forma su lenguaje a partir de un alfabeto que contiene slo dos tipos
de smbolos:
Smbolos lgicos.- En donde encontramos a los smbolos de
constantes proposicionales true y false (verdadero y falso); los
smbolos para la negacin, la conjuncin, la disyuncin y la
implicacin, que en Prolog se denota con los caracteres,:, -, ); los
smbolos de cuantificadores; y los smbolos auxiliares de escritura
como corchetes [,], parntesis (,) y coma.
PHP
PHP es el acrnimo de Hipertext Preprocesor. Es un lenguaje de
programacin del lado del servidor gratuito e independiente de plataforma,
rpido, con una gran librera de funciones y mucha documentacin.
Fue creado originalmente en 1994 por Rasmus Lerdorf, pero como PHP est
desarrollado en poltica de cdigo abierto, a lo largo de su historia ha tenido
muchas contribuciones de otros desarrolladores. Actualmente PHP se
encuentra en su versin 4, que utiliza el motor Zend, desarrollado con
mayor meditacin para cubrir las necesidades de las aplicaciones web
actuales.
Este lenguaje de programacin est preparado para realizar muchos tipos
de aplicaciones web gracias a la extensa librera de funciones con la que
est dotado como mencionamos anteriormente. La librera de funciones
cubre desde clculos matemticos complejos hasta tratamiento de
conexiones de red.
Algunas de las ms importantes capacidades de PHP son: compatibilidad
con las bases de datos ms comunes, como MySQL, mSQL, Oracle, Informix,
y ODBC, por ejemplo. Incluye funciones para el envo de correo electrnico,
upload de archivos, crear dinmicamente en el servidor imgenes en
formato GIF, incluso animadas y una lista interminable de utilidades
adicionales.
Cuando mencionamos que es un lenguaje del lado del servidor significa
que este se va a ejecutar en el servidor web, justo antes de que se enve la
pgina a travs de Internet al cliente. Las pginas que se ejecutan en el