programación Lisp

 INTRODUCCIÓN
El lenguaje PROLOG juega un importante papel dentro de la Inteligencia
artificial, y se propuso como el lenguaje nativo de las máquinas de la quinta generación
("Fifth Generation Kernel Language", FGKL) que quería que fueran Sistemas de
Procesamiento de Conocimiento. La expansión y el uso de este lenguaje propicióla aparición de la normalización del lenguaje Prolog con la norma ISO (propuesta de junio
de 1993).

PROLOG es un lenguaje de programación para ordenadores que se basa en el
lenguaje de la Lógica de Primer Orden y que se utiliza para resolver problemas en los
que entran en juego objetos y relaciones entre ellos. Por ejemplo, cuando decimos
"Jorge tiene una moto", estamos expresando unarelación entre un objeto (Jorge) y otro
objeto en particular (una moto). Más aún, estas relaciones tienen un orden específico
(Jorge posee la moto y no al contrario). Por otra parte, cuando realizamos una pregunta
(¿Tiene Jorge una moto?) lo que estamos haciendo es indagando acerca de una relación.
Además, también solemos usar reglas para describir relaciones.

Lisp es un lenguaje deprogramación usado en el mundo de la inteligencia artificial.
A diferencia de otros lenguajes de programación, en Lisp, a pesar de
ser un lenguaje con una cierta antigüedad.



























NATURALEZA DE PROLOG.

La programación lógica es, por su naturaleza poco corriente, difícil de asimilar por
las personas que se han formado en el estilo de von Neumann.El lenguaje Prolog (programming in logic) representa un estilo relativamente nuevo de programación.
Diseñado principalmente para las aplicaciones de inteligencia artificial, el estilo del Prolog
se basa en la noción de definir objetos y relaciones de inferencia entre clases de objetos.

Tiene unos fuertes fundamentos teóricos en el cálculo de proposiciones. Gran parte de la
recienteatención al Prolog se debe a su papel prominente en el proyecto japonés de
computadoras de la quinta generación.


PARADIGMA DE PROLOG.

El lenguaje Prolog, principal representante del paradigma, se basa en un subconjunto de la lógica de primer orden (restricción de la forma clausal de la lógica denominada cláusulas de Horn). Philippe Roussel y Alain Colmerauer (Universidad de AixMarseille)lo crearon en 1972, y su base teórica se debe en gran parte Kowalski.

El Prolog fue desarrollado a principios de los años 1970 por Philippe Rousel, del
Grupo de inteligencia Artificial de la Universidad de Marsella. Su primer intérprete se
implementó en 1972. debido a que el uso del Prolog ha estado restringido a la comunidad
de inteligencia artificial –la cual tiene una consistenciarelativamente pequeña en
programación, comparada con la de, por ejemplo, la comunidad de procesamiento de datos el lenguaje no es aun ampliamente conocido. Además, por la misma razón, el Prolog no ha
cambiado dramáticamente desde su concepción, ni se ha hecho ningún esfuerzo por
estandarizarlo.

ESTRUCTURA DEL LENGUAJE Y ELEMENTOS MÁS IMPORTANTES.


Una estructura: es un único objeto quese compone de una colección de otros
objetos, llamados componentes, lo que facilita su tratamiento. Una estructura se escribe
en Prolog especificando su nombre, y sus componentes (argumentos). Las componentes
están encerradas entre paréntesis y separadas por comas; el nombre se escribe justo
antes de abrir el paréntesis:

nombre (comp1, comp2, ..., compn )

Por ejemplo, podemos teneruna estructura con el nombre libro, que tiene tres
componentes: titulo, autor y año de edición. A su vez el autor puede ser una estructura
con dos componentes: nombre y apellido.
libro(logica_informatica, autor(jose, cuena), 1985).

ELEMENTOS MÁS IMPORTANTES EN PROLOG.
Elementos de un programa PROLOG.
HECHOS.
Expresan relaciones entre objetos.  Supongamos que queremos expresar el...