SWI-Prolog
andreypozolotin