SWI-Prolog
kpanic