SWI-Prolog
PrologAxel