SWI-Prolog
aldragon-git