SWI-Prolog
bat