En aquest tema, aprendrem com realitzar consultes simples en Prolog. Les consultes són una part fonamental de Prolog, ja que permeten interrogar la base de coneixement per obtenir informació.

1. Consultes: Preguntes que fem a la base de coneixement per obtenir informació.
2. Fets: Declaracions que defineixen informació certa en la base de coneixement.
3. Regles: Declaracions que defineixen relacions entre fets.
4. Unificació: Procés de fer coincidir termes en una consulta amb termes en la base de coneixement.

Una consulta en Prolog es fa utilitzant la sintaxi següent:

On consulta és una expressió que volem verificar o obtenir informació.

Primer, definim alguns fets en la nostra base de coneixement:

Aquests fets indiquen que Josep és el pare de Maria i Joan, i Anna és la mare de Maria i Joan.

Ara, podem fer consultes per obtenir informació de la base de coneixement.

Consulta Simple

Aquesta consulta pregunta si Josep és el pare de Maria. Prolog respondrà true si el fet és cert, o false si no ho és.

Consulta amb Variables

Podem utilitzar variables per fer consultes més generals. Les variables en Prolog comencen amb una lletra majúscula.

Aquesta consulta pregunta per tots els fills de Josep. Prolog respondrà amb totes les possibles unificacions de X:

Consulta amb Múltiples Condicions

Podem combinar múltiples condicions en una consulta utilitzant la coma , que actua com un operador "i".

Aquesta consulta pregunta per tots els fills de Josep i Anna. Prolog respondrà:

Defineix els següents fets en la teva base de coneixement:

Fes una consulta per verificar si Maria i Joan són germans.

Solució

Defineix els següents fets:

Fes una consulta per trobar tots els néts de Pere.

Solució

Defineix els següents fets:

Fes una consulta per trobar tots els amics de Joan.

Solució

1. No oblidar el punt al final de les consultes: Cada consulta ha de finalitzar amb un punt (.). Si oblides el punt, Prolog no processarà la consulta correctament.
2. Confusió entre variables i constants: Recorda que les variables comencen amb una lletra majúscula i les constants amb una lletra minúscula.
3. Unificació incorrecta: Assegura't que les variables i els termes en la consulta coincideixin correctament amb els fets i regles definits.

En aquesta secció, hem après com realitzar consultes simples en Prolog. Hem vist com definir fets, fer consultes simples, utilitzar variables en consultes i combinar múltiples condicions. També hem practicat amb alguns exercicis per reforçar els conceptes apresos. En el següent tema, explorarem les variables i la unificació en més detall.