En aquest tema, explorarem dos conceptes fonamentals en Prolog: les variables i la unificació. Aquests conceptes són essencials per comprendre com Prolog maneja les dades i resol les consultes.

En Prolog, les variables són elements que poden representar qualsevol valor. Les variables es diferencien dels àtoms perquè comencen amb una lletra majúscula o un guió baix (_).

Exemples de Variables:

1. Nomenclatura: Les variables han de començar amb una lletra majúscula o un guió baix.
2. Àmbit: Les variables són locals a la regla o consulta en què es defineixen.
3. Unificació: Les variables poden unificar-se amb altres variables, constants o estructures.

En aquest exemple, X és una variable que Prolog intentarà unificar amb els valors que satisfacin la consulta pare(john, X).

La unificació és el procés mitjançant el qual Prolog intenta fer coincidir dues expressions. Si Prolog pot trobar una manera de fer coincidir les expressions, es diu que han unificat.

1. Àtoms: Dos àtoms unifiquen si són exactament iguals.
2. Variables: Una variable pot unificar amb qualsevol àtom, variable o estructura.
3. Estructures: Dues estructures unifiquen si tenen el mateix functor i els mateixos arguments, i els arguments unifiquen recursivament.

Exemple 1: Unificació d'Àtoms

Exemple 2: Unificació de Variables

Exemple 3: Unificació d'Estructures

La unificació fallarà si les expressions no poden coincidir segons les regles de la unificació.

Exemple de Unificació Fallida

Consulta:

Quin serà el resultat?

Solució:

Consulta:

Quin serà el resultat?

Solució:

Consulta:

Quin serà el resultat?

Solució:

1. Confusió entre Àtoms i Variables: Recorda que les variables comencen amb una lletra majúscula o un guió baix, mentre que els àtoms comencen amb una lletra minúscula.
2. Unificació Incorrecta d'Estructures: Assegura't que les estructures tenen el mateix functor i nombre d'arguments per unificar correctament.
3. Variables No Unificades: Si una variable no es pot unificar amb cap valor, la consulta fallarà.

En aquesta secció, hem après sobre les variables i la unificació en Prolog. Les variables són elements que poden representar qualsevol valor, i la unificació és el procés mitjançant el qual Prolog intenta fer coincidir dues expressions. Aquests conceptes són fonamentals per comprendre com Prolog maneja les dades i resol les consultes. Hem vist exemples pràctics i hem practicat amb exercicis per reforçar els conceptes apresos.

En el següent tema, explorarem la retrocessió, un altre concepte clau en Prolog.