Univesity of Amsterdam

Free
SWI-Prolog is an open source implementation of the Prolog programming language.