SWI-Prolog
muckenhoupt