Lenguaje prolog

Solo disponible en BuenasTareas
  • Páginas : 23 (5703 palabras )
  • Descarga(s) : 0
  • Publicado : 5 de diciembre de 2011
Leer documento completo
Vista previa del texto
Sistemas Inteligentes de Gestión

Tutorial de PROLOG

© Juan Carlos Cubero & Fernando Berzal

Sistemas Inteligentes de Gestión: PROLOG 1

Índice
Programación de sistemas expertos en PROLOG ............................................................ 3 El lenguaje PROLOG ....................................................................................................... 5 Símbolos delLenguaje ................................................................................................. 5 Hechos .......................................................................................................................... 6 Preguntas u objetivos .................................................................................................... 6 Especificación de hechos.............................................................................................. 9 Estrategia de control de PROLOG ................................................................................. 11 Operadores predefinidos ................................................................................................. 14 Reglas............................................................................................................................. 15 Representación de reglas ............................................................................................ 15 Formato de las Reglas ................................................................................................ 16 Backtracking en las reglas.......................................................................................... 18 Eficiencia en el uso de reglas ..................................................................................... 24 Uso de la variable anónima ........................................................................................ 25 Unificación (=) ............................................................................................................... 27Aritmética ....................................................................................................................... 29 Recursividad ................................................................................................................... 31 Listas............................................................................................................................... 34 Modificación de la memoria de trabajo .......................................................................... 38 El corte (!)....................................................................................................................... 39 El operador de negación (not) ........................................................................................ 44

SistemasInteligentes de Gestión: PROLOG 2

Programación de sistemas expertos en PROLOG
El PROLOG, cuyo nombre proviene del francés “PROgrammation en LOGique”, es un lenguaje de programación declarativa muy utilizado en Inteligencia Artificial, principalmente en Europa. El lenguaje fue a principios de los años 70 en la Universidad de Aix-Marseille (Marsella, Francia) por los profesores Alain Colmerauer yPhilippe Roussel, como resultado de un proyecto de procesamiento de lenguajes naturales. Alain Colmerauer y Robert Pasero trabajaban en la parte del procesamiento del lenguaje natural y Jean Trudel y Philippe Roussel en la parte de deducción e inferencia del sistema. Interesado por el método de resolución SL, Trudel persuadió a Robert Kowalski para que se uniera al proyecto, dando lugar a una versiónpreliminar del lenguaje PROLOG a finales de 1971, cuya versión definitiva apareció en 1972. La primera versión de PROLOG fue programada en ALGOL W e, inicialmente, se trataba de un lenguaje totalmente interpretado. En 1983, David H.D. Warren desarrolló un compilador capaz de traducir PROLOG en un conjunto de instrucciones de una máquina abstracta, denominada Warren Abstract Machine. Se popularizó...
tracking img