You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
(once ...) would cut off all solutions after the first one (if any). This is applicable for situations in which only a truth value is required, for example >=:
(<- (>= ?a ?b)
(or (> ?a ?b)
(= ?a ?b)))
When resolving this, it yields two solutions if both, > and = are met, instead of only one expected. The final predicate would be used like this:
(<- (>= ?a ?b)
(once (or (> ?a ?b)
(= ?a ?b)))
The text was updated successfully, but these errors were encountered:
The problem fomulated above (about (>= ...) yielding multiple solutions) is just plain wrong. Either > OR = holds, not both. That's what >= is for. Late night oddness.
Anyway, the once predicate has its designated spot for cutting off solutions after the first one. So I implemented it in c324edd. This closes this issue.
(once ...)
would cut off all solutions after the first one (if any). This is applicable for situations in which only a truth value is required, for example>=
:When resolving this, it yields two solutions if both,
>
and=
are met, instead of only one expected. The final predicate would be used like this:The text was updated successfully, but these errors were encountered: