Enable autopair in prolog
Don't use obsolete symbols