SWI-Prolog
two