SWI-Prolog
aminemarref