📊 Capítulo 04: Paradigmas Declarativo, Lógico e Reativo

Módulo 10: Paradigmas de Programação & Padrões de Projeto

🗺️ Mapa Conceitual dos Paradigmas

flowchart LR
    DECL["Declarativo"] --> LOGIC["Lógico (Prolog/Regras)"] --> SQL["DSL / Consulta (SQL)"] --> REACT["Reativo (Push Streams)"]

    style DECL fill:#ede7f6,stroke:#673ab7,stroke-width:2px
    style LOGIC fill:#e8f5e9,stroke:#4caf50,stroke-width:2px
    style SQL fill:#e1f5fe,stroke:#03a9f4,stroke-width:2px
    style REACT fill:#fce4ec,stroke:#e91e63,stroke-width:2px

🎯 Slide 1: Paradigma Lógico e Unificação

• Base de Conhecimento: Composta exclusivamente por fatos e regras de inferência.

• Unificação: O motor associa variáveis livres aos fatos para encontrar soluções válidas.

• Backtracking Automático: Retrocesso sistemático na árvore de busca caso uma premissa falhe.

🎯 Slide 2: O Manifesto Reativo e Comunicação Push

• Orientação a Eventos: Produtores disparam eventos no momento exato em que ocorrem (Push).

• Assincronismo Total: Threads não ficam bloqueadas aguardando I/O.

• Observables e Canais: Transformações intermediárias através de pipelines (map, filter, debounce).

🎯 Slide 3: Contrapressão (Backpressure)

• O Desafio da Sobrecarga: Produtor rápido $\rightarrow$ Consumidor lento.

• Estratégias de Mitigação:
  1. Buffer: Armazenamento temporário em fila limitada.
  2. Drop Oldest / Latest: Descarte de amostras em excesso.
  3. Sampling: Processamento de amostras temporizadas.