SWI-Prolog
karlixx79