SWI-Prolog
nobleg