NAR prolog plugin updates