WAMCC is a WAM-based Prolog to C compiler. - View it on GitHub