SWI-Prolog
ann-zhukova