SWI-Prolog
srydn