AnsProlog
1 program
Added 2026-03-13T05:25:22Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: Answer Set Prolog, A-Prolog
Provenance: commit dee9d11861 · authored 2026-03-13T06:25:54+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
Graph 3-Coloring
Provenance: commit dee9d11861 · authored 2026-03-13T06:25:54+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
% 3-Graph Coloring in AnsProlog
% Based on the classic AnsProlog encoding by Gelfond and Leone
node(a). node(b). node(c). node(d). node(e).
edge(a,b). edge(b,c). edge(c,d). edge(d,e). edge(e,a). edge(a,c).
color(red). color(green). color(blue).
1 { assign(N,C) : color(C) } 1 :- node(N).
:- edge(N1,N2), assign(N1,C), assign(N2,C).
#show assign/2.