plc has been announced. It is a proof-of-concept Prolog compiler that emits native binaries, built as a front-end for the OCaml compiler.