SWI-Prolog
meg