prolog8 26.6.10

Prolog8 — byte-capped proof engine for policy, workflow, and agent action admission
Documentation