SWI-Prolog
MaxB