SWI-Prolog
R99