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

[http://www.swi-prolog.org/ SWI Prolog site]