Native compilation of Prolog predicates with Cranelift [pdf] (adrianistan.eu)