SWI Prolog

From Rosetta Code
SWI Prolog is an implementation of Prolog. Other implementations of Prolog.
SWI-Prolog offers a comprehensive Free Software Prolog environment, licensed under the Lesser GNU Public License.

SWI Prolog site