SWI-Prolog
Victor