Update prolog samples