Is there a prolog implementation that JIT-compiles with LLVM? In particular, something that emits a subset of LLVM bytecode that corresponds to the WAM or BAM?