We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Infinite terms (also known as "cyclic terms") cause a StackOverflowError.
StackOverflowError
Example:
X = p(X).
The text was updated successfully, but these errors were encountered:
test of infinite terms - #124
eb1749f
Added unit-test to confirm that a StackOverflowError is thrown when using infinite terms (also known as "cyclic terms").
Note that the unify_with_occurs_check/2 predicate can be used instead of =/2 to guard against the creation of cyclic terms during unification. #157
unify_with_occurs_check/2
=/2
Examples:
?- unify_with_occurs_check(X, p(Y)). X = p(Y) Y = Y yes ?- unify_with_occurs_check(X, p(X)). no
Sorry, something went wrong.
s-webber
No branches or pull requests
Infinite terms (also known as "cyclic terms") cause a
StackOverflowError
.Example:
The text was updated successfully, but these errors were encountered: