SWI-Prolog
Alvin-Seville