paip-prolog.el is working but still a bit buggy.