¿Qué es el prólogo?
Concebido a principios de la década de 1970, Prolog, muy probablemente una combinación de las palabras programa y lógica, es uno de los primeros lenguajes de programación de computadoras. En parte porque es un código muy simple, que usa lógica de primer orden y poca computación, todavía es de uso popular. El conjunto de instrucciones original se ha ampliado y desarrollado considerablemente en muchas variantes porque es particularmente adecuado para procesar lenguaje. Estos dos atributos principales del programa proporcionan el procesamiento para aplicaciones tales como inteligencia artificial y telecomunicaciones automatizadas.
Prolog utiliza lógica formal de primer orden. Las instrucciones cargadas en una computadora son firmes; no tienen una ponderación difusa y computacional. En expresión, la sintaxis del lenguaje es un conjunto finito de reglas y la semántica se define, generalmente por conjuntos como descriptores únicos, múltiples listas y cadenas, o por un rango como secuencias numéricas.
Junto con algunas codificaciones más conocidas, como el lenguaje de marcado de hipertexto (HTML), Prolog se encuentra en una clase de software comúnmente llamada lenguajes de programación declarativos, que utilizan de manera característica la simple declaración "X es igual a Y", definida como un "término". dijo qué hacer; no se le indica que calcule por sí mismo cómo llegar allí. La computadora recibe un conjunto de hechos con un "predicado" y relaciones, definidas como una "cláusula", a partir de las cuales una consulta de entrada debe arrojar una conclusión de salida verdadera versus falsa. No ejecuta un algoritmo, sino que deriva una respuesta simple al sumar y restar, o negar, de su conjunto conocido de definiciones. Computing in Prolog se utiliza para probar y probar teorías y sus supuestos subyacentes, desde las matemáticas avanzadas hasta la biología y la filosofía.
Una de las teorías cognitivas de la inteligencia es que hay una gran cantidad de información léxica en el cerebro que se recupera, procesa y retroalimenta, lo que resulta en una mayor complejidad o simplicidad de la información. Con el aumento de la capacidad de memoria y el acceso rápido, este es el paradigma dominante que ha impulsado el santo grial de la informática: la inteligencia artificial. Lo que es clave para muchos en el campo es la interfaz y el idioma. La programación de Prolog se puede utilizar para crear GUI, la interfaz gráfica de usuario desarrollada por Apple®, simplemente definiendo símbolos visuales. También se puede usar para leer, traducir y crear expresiones faciales.
La lingüística computacional es sustancialmente más difícil, y si bien Prolog ha avanzado a lo largo de los años para incorporar, por ejemplo, los principios gramaticales únicos de algunas lenguas extranjeras, muchos investigadores se preguntan si representa efectivamente el lenguaje. Para sistemas expertos limitados, como las líneas telefónicas de soporte técnico computarizado de reconocimiento de voz, la programación de Prolog se utiliza con cierto grado de efectividad. También se puede integrar en un software lógico de orden superior, cuantificando lenguajes como C + o Java, pero la compresión y la portabilidad siguen siendo problemas que resisten para este lenguaje de programación intensivo en datos.