SWI-Prolog
rajashekar