SWI-Prolog
jaycraig