SWI-Prolog offers a comprehensive free Prolog environment.