gprolog

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

installé par le CRI