SWI-Prolog
divyadk