SkillHub ClubShip Full StackFull Stack

datalog-fixpoint

Imported from https://github.com/plurigrid/asi.

Packaged view

This page reorganizes the original catalog entry around fit, installability, and workflow context first. The original raw source lives below.

Stars

Hot score

Updated

March 20, 2026

Overall rating

C3.4

Composite score

3.4

Best-practice grade

B84.0

Install command

npx @skill-hub/cli install plurigrid-asi-datalog-fixpoint

Repository

plurigrid/asi

Skill path: skills/datalog-fixpoint

Imported from https://github.com/plurigrid/asi.

Open repository

Best for

Primary workflow: Ship Full Stack.

Technical facets: Full Stack.

Target audience: everyone.

License: Unknown.

Original source

Catalog source: SkillHub Club.

Repository owner: plurigrid.

This is still a mirrored public skill entry. Review the repository before installing into production workflows.

What it helps with

Install datalog-fixpoint into Claude Code, Codex CLI, Gemini CLI, or OpenCode workflows
Review https://github.com/plurigrid/asi before adding datalog-fixpoint to shared team environments
Use datalog-fixpoint for development workflows

Works across

Claude CodeCodex CLIGemini CLIOpenCode

Favorites: 0.

Sub-skills: 0.

Aggregator: No.

Original source / Raw SKILL.md

---
name: datalog-fixpoint
description: Datalog bottom-up fixpoint iteration for recursive queries
version: 1.0.0
---


# 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