SWI-Prolog
ltran1612