Why do i get a stack limit exceeded error when defining a predicate that convert the relation of two atoms?

来源：https://stackoverflow.com/questions/55208901/why-do-i-get-a-stack-limit-exceeded-error-when-defining-a-predicate-that-convert