gprolog
est une implémentation GNU de prolog, le super langage de logique que personne n'utilise en pratique :o)
installé par le CRI