Objetivo y caractersticas

programacin logica
 Definicion
La programacin lgica es un enfoque particular de programacin. Otros
enfoques son la programacin imperativa y la funcional. Aunque la diferencia
entre estos paradigmas no siempre resulta clara un programa funcional puede
compartir algunos aspectos con los lenguajes imperativos- las diferencias entre
ellos, son las que determinan el diseo y esquemas de razonamiento en los
programas.
 la ventaja de la programacin lgica es que sus programas poseen una doble semntica: lgica y
operacional, las cuales pueden ser analizadas de manera separada. Si la lgica subyacente se escoge 106
apropiadamente, entonces, la lgica semntica es ms simple que la operacional. Sin embargo, la
programacin lgica no puede aplicarse en todos los modelos de computacin.
Un programa lgico consiste en sentencias lgicas basadas en una semntica operacional, es decir,
pueden ser ejecutadas en una computadora. Si la semntica operacional est bien diseada, la ejecucin
de un programa cumple con dos propiedades:
1) es correcto, es decir, respeta la semntica lgica (todas las consecuencias de la ejecucin son
consecuencias lgicas vlidas del programa, formado por un conjunto de axiomas)
2) eficiente, es decir, permite la escritura de programas que se ejecutan con la complejidad espacial y
temporal, esperadas [Roy y Seif, 2003].
 Gramtica
El trmino procesamiento del lenguaje natural se refiere a una forma restringida del lenguaje
humano. El lenguaje usado por los humanos en su totalidad es demasiado complicado y ambiguo
para ser tratado por un ordenador. En el caso de los humanos la ambigedad es resuelta por el
contexto y por muchos aos de experiencia. Como PROLOG tiene su origen en la lgica, es el
lenguaje de programacin ms apropiado para el tratamiento del lenguaje natural. De hecho,
PROLOG fue diseado originalmente para traducir lenguaje natural.
Bsicamente la tarea de procesar el lenguaje natural consiste en las siguientes tres fases:
1. Anlisis lxico.
2. Anlisis sintctico.
3. Anlisis semntico
 Los programas prolog son generalmente declarativos, aunque de manera inevitable integran elementos
procedurales. Los programas escritos en este lenguaje se basan en tcnicas desarrolladas por los lgicos
formando conclusiones vlidas a partir de la evidencia disponible. Se distinguen dos componentes en estos
lenguajes: hechos y reglas [Bramer, 2005]. El programador, almacena en la memoria de la computadora,
generalmente a travs de un programa, estos elementos. El usuario interacta con este programa, a travs
una sesin tpica consistente en una serie de preguntas (queries), el sistema Prolog responde usando las
reglas y los hechos disponibles en el programa. En las siguientes 5 lneas se muestran, 4 hechos y una regla:

perro (sultn).
perro (pinto).
gato (felix).
gato (henry).
animal (X) :- perro (X).
El lenguaje Prolog tiene una amplia variedad de aplicaciones, entre las cuales
figuran las siguientes:
o Procesamiento del lenguaje natural, traduccin de un lenguaje a otro.
o Aplicaciones para entrenamiento.
o Mantenimiento de bases de datos en proyectos del genoma humnao.
o Generacin automtica de narraciones.
o Anlisis y medicin de redes sociales.
o Sistemas de soporte electrnico para mdicos
Bibliografa
J.Iranzo y M.Alpuente.Programacin Lgica, teora y prctica.1edicin. Madrid: Pearson
Educacin, 2007. ISBN: 978-84-8322-368-0.