SWI-Prolog
32bitmicro