Fixed .prolog extension