YAP offers a high-performance Free Software Prolog environment, highly-compatible with SWI Prolog licensed under the Artistic License.

[http://www.dcc.fc.up.pt/~vsc/Yap/ YAP site]