SWI-Prolog
gman002