SWI-Prolog
mgu