SWI-Prolog
User1234