Why developers like SWI-Prolog