ProLog sous OSX
Par Didier Pulicani - Publié le
Fonctionnant essentiellement sur le principe des prédicats et de la récursivité, il s'énonce suivant le symbolisme et non sur les calculs numériques comme d'autres language plus connus comme le C++, le pascal ou le Java. En clair, c'est un peu de la programmation
décaléequi permet toutefois de résoudre de nombreux problèmes courants.
Si je vous parle de cela, c'est tout simplement pour vous dire que la version Unix est disponible sur le site officiel. Il vous faut par contre, compiler le programme (Le read-me est assez simple et lisible) et la chose est à faire impérativement via la session de root.
Toutes les infos pour les (quelques ?) personnes intéressées :
http://www.swi-prolog.org/
Si vous avez des question précises, n'hésitez pas à me contacter... ;-)