SWI-Prolog
jromme