patrick/anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Update graph coloring example with placeholders

Browse Source 
This replaces the former graph coloring example with a new formulation
that makes use of the newly supported placeholders.
This commit is contained in:
Patrick Lühne 2018-04-08 20:28:04 +02:00
parent c294a29cb2
commit a406cb43bd
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 8 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
examples/graph-coloring.lp
View File

@ -1,12 +1,9 @@
colored(V, red) :- vertex(V), not colored(V, green), not colored(V, blue). #external color(1).
colored(V, green) :- vertex(V), not colored(V, red), not colored(V, blue). #external edge(2).
colored(V, blue) :- vertex(V), not colored(V, red), not colored(V, green). #external vertex(1).
#show color/2.
:- edge(V1, V2), colored(V1, C), colored(V2, C). {color(V,C)} :- vertex(V), color(C).
covered(V) :- color(V, _).
vertex(a). :- vertex(V), not covered(V).
vertex(b). :- color(V1,C), color(V2,C), edge(V1,V2).
vertex(c).
edge(a, b).
edge(a, c).