l'addition de 2 entiers
naturels : add/3
la soustraction
entière : moins/3
la multiplication :
mult/3
les 2 procédures
du quotient et du reste de la division entière :
divi/3 et
modu/3
l'exponentiation :
expo/3
le prédicat
"strictement inférieur" : infe/2
la factorielle :
fact/2
le PGDC de deux nombres
entiers : pgdc/3
la racine carrée
à 1 près par défaut d'un entier N :
raci/2