SWI-Prolog
MaxDorfer