SWI-Prolog
DainTorson