SWI-Prolog
dead20