no-herd Build SWI Prolog interface