The Yap Prolog System is a ISO-compatible high-performance Prolog compiler. Yap is widely considered one of the fastest available Prolog systems. Yap supports coroutining, CLP(QR), CHR, and depth-bound search. Tabling and parallelism are in development.
Does not work for Ubuntu 14 or Windows 8. No support or help to change this. I wish I felt differently, but even the email addresses given for help don't seem to be real addresses, as I get mail delivery notifications. :-(