New posts in Prolog Directive Dynamic