SWI-Prolog offers a comprehensive Free Software Prolog environment, licensed under the Lesser GNU Public License