Gerrit's prolog rules may be worth a look: https://gerrit-documentation.storage.googleapis.com/Documentation/3.4.0/prolog-cookbook.html#_prolog_language https:/

Gerrit's prolog rules may be worth a look: https://gerrit-documentation.storage.googleapis.com/Documentation/3.4.0/prolog-cookbook.html#_prolog_language https://gerrit-documentation.storage.googleapis.com/Document... .