SWI-Prolog
NHALX