Native compilation of Prolog predicates with Cranelift [pdf]