ReddRadar
Agent skill
datalog-fixpoint
Datalog bottom-up fixpoint iteration for recursive queries
Install this agent skill to your Project
npx add-skill https://github.com/majiayu000/claude-skill-registry/tree/main/skills/data/datalog-fixpoint
SKILL.md
Datalog Fixpoint Skill
Bottom-up fixpoint iteration for recursive Datalog queries without explicit recursion.
Core Concept
Datalog computes fixpoints via iterative saturation:
T^0(∅) → T^1 → T^2 → ... → T^ω (fixpoint)
Where T is the immediate consequence operator.
Scientific Skill Interleaving
This skill connects to the K-Dense-AI/claude-scientific-skills ecosystem:
Dataframes
- polars [○] via bicomodule
- High-performance dataframes
Bibliography References
algorithms: 19 citations in bib.duckdb
Cat# Integration
Fixpoint computation maps to Cat# via coalgebraic semantics:
Trit: 0 (ERGODIC - iterative bridge)
Home: Prof (profunctors/bimodules)
Poly Op: ⊗ (parallel saturation)
Kan Role: Adj (Kleisli adjunction)
GF(3) Naturality
Datalog fixpoint iteration is inherently ERGODIC:
- Each iteration step is a natural transformation
- Convergence = reaching the terminal coalgebra
- The fixpoint IS the bicomodule equilibrium
Recommended Agent Skills
Expand your agent's capabilities with these related and highly-rated skills.
majiayu000/claude-skill-registry
agent-ops-spec
Manage specification documents in .agent/specs/. Use when user provides requirements, acceptance criteria, or feature descriptions that need to be tracked and validated against implementation.
majiayu000/claude-skill-registry
agent-ops-state
Maintain .agent state files. Use at session start, after meaningful steps, and before concluding: read/update constitution/memory/focus/issues/baseline consistently.
majiayu000/claude-skill-registry
agent-ops-spec
Manage specification documents in .agent/specs/. Use when user provides requirements, acceptance criteria, or feature descriptions that need to be tracked and validated against implementation.
majiayu000/claude-skill-registry
agent-ops-testing
Test strategy, execution, and coverage analysis. Use when designing tests, running test suites, or analyzing test results beyond baseline checks.
majiayu000/claude-skill-registry
agent-ops-testing
Test strategy, execution, and coverage analysis. Use when designing tests, running test suites, or analyzing test results beyond baseline checks.
majiayu000/claude-skill-registry
agent-ops-state
Maintain .agent state files. Use at session start, after meaningful steps, and before concluding: read/update constitution/memory/focus/issues/baseline consistently.
Didn't find tool you were looking for?