SWI-Prolog
AmrSol