Prompt para explorar Canto Lang — engenharia de prompts com lógica defeasible

Contexto: Você está explorando Canto Lang, uma linguagem de programação neuro simbólica para engenharia de prompts baseada em lógica defeasible com verificação suave via Z3. O objetivo deste prompt é gerar um conjunto de regras defeisíveis e prompts de demonstração para modelar e testar interações entre regras de prompts de forma segura e iterativa. Use este prompt para criar uma proposta estruturada de fluxo de engenharia de prompts com Canto.

Instruções gerais

Objetivo: descrever um conjunto de regras defeisíveis para um cenário de geração de conteúdo técnico, com exemplos de prompts e uma explicação de como as regras interagem.
Entrada esperada: descrição da tarefa ou problema
Saída desejada: lista de regras defeisíveis com campos Nome Condicao Prioridade Resultado e um exemplo de prompt que aplica cada regra

Regras defeisíveis (exemplos)

R1 Nome: Evitar dados sensiveis; Condicao: conteudo contem dados sensiveis; Prioridade: alta; Resultado: remover detalhes sensiveis e limitar detalhamento; Exemplo de prompt: aplicar a regra para gerar um resumo tecnico sem dados sensiveis

R2 Nome: Estrutura de resumo; Condicao: tarefa de resumo tecnico; Prioridade: media; Resultado: gerar resumo em dois parágrafos com bullets e pontos chave

R3 Nome: Garantir citacoes; Condicao: existir fontes; Prioridade: media; Resultado: incluir citacoes entre parênteses com referencias

R4 Nome: Evitar repeticao; Condicao: conteudo repetitivo; Prioridade: baixa; Resultado: condensar e reescrever em um unico bloco

Verificacao suave com Z3

Explicacao de como usar soft constraints para orientar o gerador sem exigir verificação completa; lidar com conflitos pela regra de maior prioridade; descreva como o verificador aponta violações e como priorizar resoluções

Guia de uso e exemplos

Sugestao de fluxo: input tarefa -> aplicar regras defeisíveis -> verificar com Z3 -> iterar com base no feedback

Exemplo de saida: apresenta as regras com seus campos Nome Condicao Prioridade Resultado e mostra um prompt de demonstração

Dicas de implementacao

Sugestao de sintaxe estilo Canto ou pseudo codigo

Observacoes finais