En aquest tema, aprendrem sobre la sintaxi i l'estructura bàsiques de Prolog. Aquest és un pas fonamental per comprendre com escriure programes en aquest llenguatge de programació lògica.

Prolog és un llenguatge de programació declarat, on la programació es basa en la definició de fets i regles. La sintaxi de Prolog és diferent de la dels llenguatges de programació imperatius com C o Python. A continuació, es presenten els elements bàsics de la sintaxi de Prolog:

Els fets són afirmacions que es consideren veritables. Es defineixen utilitzant predicats i arguments. Un fet acaba amb un punt (.).

Exemple:

Aquest fet indica que "Tom és un gat".

Les regles defineixen relacions entre fets. Una regla té una capçalera i un cos, separats per :-. La capçalera és el que es vol demostrar, i el cos són les condicions que han de complir-se perquè la capçalera sigui certa.

Exemple:

Aquesta regla indica que X i Y són amics si X agrada a Y i Y agrada a X.

Les consultes es fan per preguntar si un fet o una regla és certa. Es defineixen utilitzant predicats i arguments, i acaben amb un punt (.).

Exemple:

Aquesta consulta pregunta si "Tom és un gat".

Un programa Prolog està format per una sèrie de fets, regles i consultes. A continuació, es mostra l'estructura bàsica d'un programa Prolog:

Els comentaris són importants per documentar el codi. En Prolog, els comentaris es poden escriure de dues maneres:

• Comentaris de línia única: comencen amb %.
• Comentaris de múltiples línies: comencen amb /* i acaben amb */.

Exemple:

Defineix els fets següents en Prolog:

• Maria és la mare de Joan.
• Pere és el pare de Joan.

Solució:

Defineix una regla avi(X, Y) que indiqui que X és l'avi de Y si X és el pare d'un dels pares de Y.

Solució:

Realitza les següents consultes:

• És Maria la mare de Joan?
• Qui és l'avi de Joan?

Solució:

En aquest tema, hem après sobre la sintaxi i l'estructura bàsiques de Prolog. Hem vist com definir fets, regles i consultes, així com la importància dels comentaris. També hem treballat amb exemples pràctics i exercicis per reforçar els conceptes apresos. En el proper tema, aprofundirem en la definició de fets en Prolog.