SWI-Prolog
dstrohmaier