paip-prolog1.el works.