SWI-Prolog
emacstheviking