Answer set programming: Difference between revisions

Content deleted Content added
m Examples of ASP programs: Line numbering.
Line 166:
This can be accomplished using the following Lparse program:
 
<syntaxhighlight lang="prolog" line="1">
c(1..n).
1 {color(X,I) : c(I)} 1 :- v(X).