Revision as of 13:36, 30 May 2021 edit Hooman Mallahzadeh (talk \| contribs) Extended confirmed users 4,637 edits m →Answer set programming language AnsProlog ← Previous edit		Revision as of 13:42, 30 May 2021 edit undo Hooman Mallahzadeh (talk \| contribs) Extended confirmed users 4,637 edits m →Answer set programming language AnsProlog Next edit →
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">

Answer set programming: Difference between revisions