ProFond est un outil de recherche de solutions inspiré de Prolog (PROgrammation LOGique).

ProFond (PROgrammation FONDamentale) part de sa plus simple expression et verra s'enrichir d'autres types d'informations supplémentaires (chaînes, nombres, listes, etc.) dans l'avenir au cours de son évolution.

Le principe est simple : un programme ProFond est une suite de règles logiques interdépendantes. Une fois ces règles analysées et comprises par l'ordinateur, on peut lui poser des questions afin de trouver des solutions.

Par exemple on donne les caractéristiques de plusieurs personnes (sexe ; couleur des cheveux, des yeux, etc) :
a_les_yeux(Isabelle,Bleus);
a_les_yeux(Pierre,Bleus);
a_les_yeux(Michel,Marrons);
a_les_yeux(Veronique,Verts);
a_les_yeux(Marc,Verts);

Ensuite on pose la question "Qui a les yeux bleus ?" :
a_les_yeux(X,Bleus)?

Et l'ordinateur répond :
Oui :
{ X=Isabelle }
{ X=Pierre }
2 solution(s) trouvée(s).