SWI-Prolog
AlexeyKosarchuk