Answer set programming: Difference between revisions

Revision as of 05:00, 29 May 2021

Revision as of 13:36, 30 May 2021

Line 113:

</syntaxhighlight>

If the extension of q is {q(a1); q(a2); ... ; q(aN)}, the above condition is semantically equivalent to writing {p(a1), p(a2), ... , p(aN)} in the place of the condition. For example,

<syntaxhighlight lang="prolog">