Prolog compiler
