LoJiX is a framework for logic compilers, and a Prolog implementation.