"""
pl — Propagation Logic
======================

The mechanism: P / G → Q

Public API:
    from pl.core    import Pattern, Context, Gradient, seed
    from pl.core    import G_neg, G_id, G_and, G_or, G_custom
    from pl.numbers import demonstrate_full_tower
    from pl.calculus import G_derivative, G_integral, verify_derivative_fixed_point
    from pl.grammar  import CoherenceChecker, G_number_agree
"""

from pl.core import (
    Pattern, Context, Gradient, PropagationChain,
    seed,
    G_neg, G_id, G_and, G_or,
    G_fuzzy_neg, G_lukasiewicz_and,
    G_succ, G_pred, G_double, G_halve, G_sqrt, G_neg_sqrt,
    G_mod, G_custom,
    KNOWN_SYSTEMS,
)

__all__ = [
    "Pattern", "Context", "Gradient", "PropagationChain",
    "seed",
    "G_neg", "G_id", "G_and", "G_or",
    "G_fuzzy_neg", "G_lukasiewicz_and",
    "G_succ", "G_pred", "G_double", "G_halve", "G_sqrt", "G_neg_sqrt",
    "G_mod", "G_custom",
    "KNOWN_SYSTEMS",
]