SWI-Prolog
hyperswine