SWI-Prolog
infradig