Concebido a principios de la década de 1970, Prolog, 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 considerablemente y se ha desarrollado en muchas variantes porque es particularmente adecuado para procesar el lenguaje. Estos dos atributos principales del programa proporcionan el procesamiento para aplicaciones como la inteligencia artificial y las telecomunicaciones automatizadas.
Prolog utiliza lógica formal de primer orden. Las instrucciones cargadas a una computadora son firmes; no tienen una ponderación computacional difusa. 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, listas y cadenas múltiples, o por un rango como secuencias numéricas.
Junto con una codificación más conocida, como el lenguaje de marcado de hipertexto (HTML), Prolog pertenece a una clase de software comúnmente denominada lenguajes de programación declarativos, que característicamente utilizan la declaración simple «X es igual a Y», definida como un «término». A una computadora se le dice qué hacer; no se le indica que calcule por sí solo cómo llegar allí. A la computadora se le da 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 obtiene una respuesta simple sumando y restando, o negando, de su conjunto conocido de definiciones. La informática en Prolog se utiliza para probar y probar teorías y sus supuestos subyacentes, desde matemáticas avanzadas hasta biología y filosofía.
Una de las teorías cognitivas de la inteligencia es que existe un almacén léxico grande pero finito de información en el cerebro que se recupera, procesa y retroalimenta, lo que resulta en una mayor complejidad o simplicidad de la información. Con una capacidad de memoria cada vez mayor y un 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, según 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 iniciada por Apple®, simplemente definiendo símbolos visuales. También se puede utilizar 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 líneas telefónicas de soporte técnico de reconocimiento de voz computarizado, la programación de Prolog se utiliza con cierto grado de eficacia. También se puede integrar en software lógico de orden superior (lenguajes de cuantificación como C + o java), pero la compresión y la portabilidad siguen siendo problemas que perduran para este lenguaje de programación con uso intensivo de datos.