en gratuité de téléchargement ProFond, Programmation pour Windows

๏Permet de résoudre des problèmes de logique grâce à un langage par unification inspiré de Prolog.

Contient :
- Un éditeur de règles de logique (programme),
- Une vue arborescence de la structure du code,
- Un champ de saisie des questions à poser
- Une vue des résultats
- Une trace de la résolution du problème.

Dans la version 0.3, il n'y a qu'un type de données : des éléments déterminés par des identificateurs.

Attention : La 2ème archive (plus petite) n'inclut pas les sources. Nécessite C++Builder pour recompiler sous Windows et Kylix sous Linux.