Update post on Prolog