Prolog-to-C translator from Inria