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

YAP site