SWI-Prolog
phlsphr