🐼 Prolog

Initiation à la Programmation Logique avec le langage Prolog.

🔗 PDF pour l'accès aux vidéos de la rubrique : Prolog

• Premier programme sous Windows
  👉 Comment créer son premier programme en Prolog en environnement Windows
• Premier programme sous Debian
  👉 Comment créer son premier programme en Prolog en environnement Debian
• Mettre en relation avec un prédicat
  👉 Comment créer et utiliser un prédicat binaire pour mettre en relation deux atomes.

vache(ada).
vache(tara).
vache(sveiney).

taureau(gunnar).
taureau(erik).
taureau(olaf).

parent(ada,tara).
parent(gunnar,tara).
parent(sveiney,olaf).
parent(erik,olaf).

• Utiliser une conjonction
  👉 Comment utiliser une conjonction (ET logique) pour atteindre plusieurs sous buts dans un même but ?
• Utiliser une variable anonyme
  👉 Comment et pourquoi utiliser des variables anonymes ?
• Utiliser une disjonction
  👉 Comment utiliser une disjonction (OU logique) pour atteindre uniquement un des sous buts composant un même but ?
• Créer une première règle
  👉 Comment créer et utiliser une règle ?

% D est-il le double de N ?
double(D, N) :- D =:= N * 2.

• Créer une règle utilisant une disjonction
  👉 Comment créer, de deux manières différentes, une règle composée de plusieurs sous buts associés par une disjonction (OU logique) ?

vache(ada).
vache(tara).
vache(sveiney).

taureau(gunnar).
taureau(erik).
taureau(olaf).

parent(ada,tara).
parent(gunnar,tara).
parent(sveiney,olaf).
parent(erik,olaf).

bovin(B) :- vache(B) ; taureau(B). 

• Créer une règle utilisant une conjonction
  👉 Comment créer une règle composée de plusieurs sous buts associés par une conjonction (ET logique) ?

vache(ada).
vache(tara).
vache(sveiney).

taureau(gunnar).
taureau(erik).
taureau(olaf).

parent(ada,tara).
parent(gunnar,tara).
parent(sveiney,olaf).
parent(erik,olaf).

mere(M) :- vache(M) , parent(M, _).

• Unifier des termes
  👉 Qu'est-ce que l'unification de deux termes ? Comment utiliser l'unification pour savoir si deux termes sont équivalents.

• Prédicats var et nonvar
  👉 Comment savoir si un terme est une variable instanciée ou non en utilisant les prédicats var/1 ou nonvar/1

• Comment Prolog satisfait un but
  👉 Comment Prolog satisfait un but ? Quel algorithme met-il en œuvre ?

vache(ada).
vache(tara).
vache(ona).

taureau(gunnar).
taureau(bjork).
taureau(erik).
taureau(olaf).

parent(ada, tara).
parent(gunnar, tara).
parent(ona, olaf).
parent(erik, olaf).
parent(ona, bjork).

mere(M) :-
    vache(M),
    parent(M,_).

• Utiliser le mode trace de Prolog
  👉 Comment utiliser le debugger de Prolog ou comment tracer pas à pas chaque action entreprises pour satisfaire un but ?

vache(ada).
vache(tara).
vache(sveiney).

parent(ada,tara).
parent(gunnar,tara).
parent(sveiney,olaf).
parent(erik,olaf).
parent(ada, gustav).
parent(erik, gustav).

• Utiliser une liste
  👉 Comment utiliser une liste en Prolog ? Quelles sont les premières opérations à connaître ?

• Calculer la somme des éléments d'une liste
  👉 Comment calculer la somme des éléments d'une liste avec la récursivité

somme([E],E):-
    number(E).
somme([E|L],S):-
    number(E),
    somme(L,S1),
    S is E + S1.

• Site officiel de SWI Prolog
• Manuel de référence de SWI-Prolog
• Téléchargement de la dernière version stable de SWI-Prolog
• Nom du paquet Debian : swi-prolog