stellogen - Logic-Agnostic Programming Language
Logic-agnostic programming language based on term unification using interaction nets
Tags
Updated: 2026-03-20Capabilities
Typical Inputs
Typical Outputs
What this skill does
- define constellations
- create galaxies
- rewrite graphs
- execute processes
- unify terms
- compose operads
- prepare Bell states
- implement Turing machines
- verify interactions
- run stellogen files
Inputs
- Stellogen source file
- Process definition
- Constellation spec
- Galaxy structure
- Command arguments
Outputs
- Computation result
- Graph rewriting
- Process output
- Verification status
- Error messages
Requirements
- OCaml runtime
- Dune build system
- Nix environment