SWI-Prolog
hartmut27