Prolog

Prolog representa el paradigma de la programación lógica: en lugar de decir cómo resolver algo, declaras hechos y reglas, y el motor deduce las respuestas. Históricamente ligado a la IA simbólica, la lingüística y los sistemas expertos.

• Creado por Alain Colmerauer
• Año 1972
• Paradigma: Lógico / declarativo · interpretado
• Extensiones: .pl, .pro, .P

Para qué se usa

• Inteligencia artificial simbólica
• Sistemas expertos
• Procesamiento de lenguaje

A favor

• Paradigma único y potente
• Ideal para reglas
• Deducción automática

En contra

• Muy distinto a lo habitual
• Nicho académico
• Difícil de optimizar

Ecosistema

• SWI-Prolog
• GNU Prolog
• SICStus

Ejemplo

:- initialization(main).
main :- write('¡Hola, mundo!'), nl.