Content deleted Content added
m Open access bot: doi added to citation with #oabot. |
m Add inline code styling. |
||
Line 91:
(start..end)
</syntaxhighlight>
where start and end are constant valued arithmetic expressions. A range is a notational shortcut that is mainly used to define numerical domains in a compatible way. For example, the fact
<syntaxhighlight lang="prolog">
Line 112 ⟶ 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">
| |||