SWI-Prolog
johndoe