Answer set programming: Difference between revisions

Revision as of 17:51, 20 April 2023

Revision as of 17:52, 20 April 2023

Line 84:

<syntaxhighlight lang="prolog">

p(a). p(b). p(c).

{q(a), q(b), q(c)}2.

</syntaxhighlight>

Line 111:

</syntaxhighlight>

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

<syntaxhighlight lang="prolog">