YAP Prolog

Another Warren Abstract Machine-based implementation.