¿Prolog todavía se usa en IA?

De acuerdo con Wikipedia ,

Prolog es un lenguaje de programación lógica de propósito general asociado con inteligencia artificial y lingüística computacional.

¿Todavía se usa para la IA?

_{Esto se basa en una pregunta sobre la versión beta cerrada de 2014. El autor tenía el UID de 330.}

Recordando que la inteligencia artificial ha sido un esfuerzo académico durante mucho tiempo, Prolog fue uno de los primeros idiomas utilizados como parte del estudio y la implementación del mismo. Rara vez se ha abierto camino en grandes aplicaciones comerciales, habiendo dicho eso, una implementación comercial famosa se encuentra en Watson, donde se usa el prólogo para PNL .

La Universidad de Edimburgo contribuyó al lenguaje y a veces se lo denominó "Prólogo de Edimburgo". Todavía se usa en las enseñanzas académicas allí como parte del curso de inteligencia artificial.

La razón por la cual Prolog se considera poderoso en la IA es porque el lenguaje permite una fácil administración de métodos recursivos y coincidencia de patrones.

Para citar a Adam Lally del Centro de Investigación IBM Thomas J. Watson , y Paul Fodor de la Universidad Stony Brook :

El lenguaje Prolog es muy expresivo y permite que las reglas recursivas representen la accesibilidad en los árboles de análisis y la operación de negación como falla para verificar la ausencia de condiciones.

Sí, como se menciona en otras respuestas, Prolog se usa realmente en IBM Watson. Prolog no recibe mucho "bombo" y "zumbido" en estos días, pero todavía se usa. Como siempre, tiene ciertas áreas específicas donde brilla y técnicas específicas que se asignan bien a su uso. Específicamente, las cosas como programación lógica inductiva , Programación con restricciones lógica , respuesta fije la programación y algunos de PNL aplicaciones pueden implicar un amplio uso de Prolog.