SWI-Prolog
PasiK