Prolog

Bases de Prolog

Faits: Déclarations simples, par exemple :
```
parent(anne, bob).
```
Règles: Formules logiques pour définir des relations, ex :
```
grandparent(X, Z) :- parent(X, Y), parent(Y, Z).
```
Requêtes: Pour interroger la base, ex :
```
?- grandparent(anne, Who).
```
Variables: Elles commencent par une majuscule (ex : X, Y).

Récursion en Prolog

Concept: Une règle récursive s'appelle elle-même pour traiter des cas répétés.

Exemple classique: Calcul de la longueur d'une liste.

% Cas de base
longueur([], 0).

% Cas récursif
longueur([_|T], N) :-
    longueur(T, N1),
    N is N1 + 1.

Récursion terminale: Si le dernier appel d'une fonction est la récursion, ce qui peut optimiser l'exécution.
La coupe (!):
- C'est un opérateur qui "coupe" l'exploration de solutions alternatives.
- En gros, c'est comme dire "ok, on arrête de chercher d'autres réponses ici".
- Exemple simple :
```
membre(X, [X|_]) :- !.
membre(X, [_|T]) :- membre(X, T).
```

Manipulation de matrices

Pour manipuler des matrices (représentées comme des listes de listes), voici quelques astuces :

Une matrice est [[Ligne1], [Ligne2], ...].
Pour accéder à un élément, on peut définir des prédicats de parcours.

Exemple pour récupérer la première ligne et la première colonne :

% Récupère la première ligne d'une matrice
premiere_ligne([L|_], L).

% Récupère le premier élément d'une liste
premier_element([E|_], E).

% Récupère l'élément en position (0,0) dans une matrice
element_00(Mat, E) :-
    premiere_ligne(Mat, L),
    premier_element(L, E).