Algorithme d'unification Martelli-Montanari Requis Compilateur SWIPL-Prolog (apt install swi-prolog sous linux apt) Compilation Terminal :swipl -l martelli.pl -- {arg1} {arg2} ... ?- main.