WIP: prolog compilers