SWI-Prolog
felix.weitkaemper