SWI-Prolog
factoriel