SWI-Prolog
DarkBramble