Conquest slide-16

Computational Logic is a radical approach
to Enterprise Physics

Be as expressive as possible

Not Prolog, OPS, or usual Business Rules engines

All control is also an explicit policy

As close to FOL as feasible

Consistency and consequences easily tested.

Workflows are descriptive, not prescriptive

All processes emerge from the policies, dynamically

Subsumes all other approaches - limit expressiveness as appropriate for the class of user and application.

Enables the use case, as well as other possibilities.