Also in applications with Prologue interpreters: you can express patch submitability predicates in Prolog for the Gerrit code review system. Lets you automate

Also in applications with Prologue interpreters: you can express patch submitability predicates in Prolog for the Gerrit code review system. Lets you automate arbitrary boring code submission prerequisite checks (e.g. "you must have a 'Verified' from a maintainer and a 'Code-Review +1' from 1 other person. If you are not the author and the author's email address doesn't end in @example.com you must have an 'IP-Reviewed' from a manager") https://gerrit-review.googlesource.com/Documentation/prolog-cookbook.html https://gerrit-review.googlesource.com/Documentation/prolog-...