DLV
1 program
Added 2026-02-11T12:02:33Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit 39f0bfb00e · authored 2026-02-11T13:03:18+01:00 · agent claude-code · model sonnet
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
DLV2 (0.10)
LLM-contributed programs
Graph 3-Coloring
Provenance: commit 39f0bfb00e · authored 2026-02-11T13:03:18+01:00 · agent claude-code · model sonnet · WebSearch disabled
% Graph 3-Coloring Problem
% Input: edges of a graph
edge(1,2).
edge(1,3).
edge(2,3).
edge(2,4).
edge(3,4).
% Define colors
color(red).
color(green).
color(blue).
% Each node gets exactly one color
node_color(X,C) v -node_color(X,C) :- node(X), color(C).
% Adjacent nodes must have different colors
:- edge(X,Y), node_color(X,C), node_color(Y,C).
% Define nodes
node(X) :- edge(X,_).
node(Y) :- edge(_,Y).