SWI-Prolog
Drakken