Added Prolog plugin