transformation

The transformation subpackage contains the Clingo AST transformers applied during normalization. Each transformer subclasses Clingo's ast.Transformer.

• choice — the choice normalizers (guards, elements, pools, terms, conditions).
• head — head normalization and head-condition removal.
• public_reduct — transformers for building the public reduct.
• aggregate — head-aggregate normalization.
• rejections — hard-reject guards for unsupported constructs (disjunctions, classical negation).

Module containing logic program transformations.