SWI-Prolog
ralf