SWI-Prolog
Frank_Schwidom