SWI-Prolog
g0zar