Prolog (Programming in Logic) és un llenguatge de programació declarat i de lògica, especialment adequat per a aplicacions que impliquen raonament simbòlic i manipulació de coneixements. Va ser desenvolupat a principis dels anys 70 per Alain Colmerauer i Philippe Roussel a la Universitat d'Aix-Marseille, França.

1. Llenguatge Declaratiu: A diferència dels llenguatges imperatius com C o Java, on es descriuen els passos per aconseguir un resultat, en Prolog es descriuen les relacions entre els fets i les regles, i el motor de Prolog s'encarrega de trobar la solució.
2. Basat en la Lògica de Predicats: Utilitza la lògica de primer ordre per expressar coneixements i raonaments.
3. Unificació i Retrocessió: Prolog utilitza un procés d'unificació per resoldre consultes i un mecanisme de retrocessió per explorar diferents possibilitats de solució.
4. No Determinisme: Permet la definició de múltiples solucions per a un problema donat, explorant-les de manera sistemàtica.

Prolog és utilitzat en una àmplia varietat d'aplicacions, incloent:

• Intel·ligència Artificial: Sistemes experts, processament del llenguatge natural, raonament automàtic.
• Bases de Dades: Consultes complexes i manipulació de dades.
• Resolució de Problemes: Jocs, trencaclosques, planificació i programació.

En aquest exemple, hem definit alguns fets sobre qui és pare i mare de qui, i una regla per determinar si dues persones són germans.

Aquesta consulta preguntarà a Prolog si Mary i Paul són germans. Prolog utilitzarà els fets i la regla definida per determinar la resposta.

• Expressivitat: Permet expressar problemes complexos de manera concisa.
• Raonament Automàtic: Pot resoldre problemes de manera automàtica utilitzant unificació i retrocessió.
• Flexibilitat: Pot ser utilitzat en una àmplia varietat d'aplicacions.

• Rendiment: Pot ser menys eficient que els llenguatges imperatius per a certs tipus de problemes.
• Corba d'Aprenentatge: Pot ser difícil d'aprendre per a programadors acostumats a llenguatges imperatius.

Prolog és un llenguatge potent i flexible, especialment adequat per a aplicacions que requereixen raonament simbòlic i manipulació de coneixements. Tot i que pot tenir una corba d'aprenentatge pronunciada, les seves capacitats per resoldre problemes complexos de manera automàtica el fan una eina valuosa en molts camps, especialment en la intel·ligència artificial.

En el proper tema, aprendrem com instal·lar Prolog al vostre sistema per començar a programar.