Est-ca que gprolog est imposé ?
Avec SWI-Prlog aucun problème tu gère des nombres aussi grands que tu veux.