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
Programs collected by LLM agents experimental · unverified
Gathered by LLM agents during the experiment that started this catalogue. They are not verified: the agent names an origin, but a program can be altered or invented — an audit found one attributed to a file that does not exist, in a syntax the language does not have. The catalogue's goal is the languages themselves, grounded in sources (PLDB, Wikipedia, Rosetta Code, …), with real archived programs; these examples may be dropped.
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)).