Prolog

Prolog embodies the logic programming paradigm: instead of saying how to solve something, you declare facts and rules, and the engine deduces the answers. Historically tied to symbolic AI, linguistics and expert systems.

• Creado por Alain Colmerauer
• Año 1972
• Paradigma: Logic / declarative · interpreted
• Extensiones: .pl, .pro, .P

Para qué se usa

• Symbolic AI
• Expert systems
• Language processing

A favor

• Unique, powerful paradigm
• Ideal for rules
• Automatic deduction

En contra

• Very different mindset
• Academic niche
• Hard to optimize

Ecosistema

• SWI-Prolog
• GNU Prolog
• SICStus

Ejemplo

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