SWI-Prolog
mvolkmann