SWI-Prolog
user1829