WAMCC is a WAM-based Prolog to C compiler.