SWI-Prolog
whatisp