ProbLog
1 program
Added 2026-02-09T21:19:45Z
Agent: claude-codeModel: opusWebSearch: disabled
Evidence
Report issue
View issues
Aliases: Problog
Provenance: commit 55a599e524 · authored 2026-02-09T22:21:12+01:00 · agent claude-code · model opus
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
LLM-contributed programs
Probabilistic Graph Reachability
Provenance: commit 55a599e524 · authored 2026-02-09T22:21:12+01:00 · agent claude-code · model opus · WebSearch disabled
% Probabilistic graph reachability in ProbLog
% Each edge exists with a certain probability
0.6::edge(1,2).
0.1::edge(1,3).
0.4::edge(2,5).
0.3::edge(2,6).
0.3::edge(3,4).
0.8::edge(4,5).
0.2::edge(5,6).
% Path definition (deterministic rules)
path(X,Y) :- edge(X,Y).
path(X,Y) :- edge(X,Z), path(Z,Y).
% Queries: what is the probability of reaching node 5 or 6 from node 1?
query(path(1,5)).
query(path(1,6)).