Edit the properties that are privately represented in prolog terms