>"Cedar falls somewhere between OPA with its datalog (prolog) based search approach and a Zanzibar based approach."
I understand the OPA from your description of it as a "datalog(prolog) based search approach" but you didn't characterize what the "Zanzibar based approach" is. Is there a similar short descriptive summary of its approach?