SWI-Prolog
fredo1292