SWI-Prolog
Brain