PAIP prolog compiler