Ascent
1 program
Added 2026-03-04T10:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit ad0135362a · authored 2026-03-04T23:20:41+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
LLM-contributed programs
Transitive Closure
Provenance: commit ad0135362a · authored 2026-03-04T23:20:41+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
use ascent::ascent;
ascent! {
relation edge(i32, i32);
relation path(i32, i32);
path(x, y) <-- edge(x, y);
path(x, z) <-- edge(x, y), path(y, z);
}
fn main() {
let mut prog = AscentProgram::default();
prog.edge = vec![(1, 2), (2, 3), (3, 4)];
prog.run();
println!("path: {:?}", prog.path);
}