Prolog compiler