SWI-Prolog
tothp