SWI-Prolog
fabeulous