Yap Prolog

Yap Prolog is a high performance Prolog compiler with distributions for Linux, MacOS and Windows.