SWI-Prolog
nitin5