Merge "Write a Cookbook for Prolog submit rules" into stable-2.5