SWI-Prolog
MikkoT