MarkovJunior is a probabilistic programming language and constraint propagation engine designed to generate sequences based on probabilistic rules. It utilizes a pattern matching rewrite system and a probabilistic inference tool to manage state and ensure that generated runs reach defined goal states.
The system distinguishes itself through the use of wave-based superposition to track possible value assignments and prune impossible states. It employs a pattern matching rewrite system to transform specific sequences of values within multi-dimensional grids into new states.
The framework supports the creation of multi-stage generation pipelines by chaining execution nodes together. These pipelines integrate rule-based sequence synthesis and probabilistic language generation to produce structured content that satisfies global constraints.